offersAtTime - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | LogLearn | ] KB: Language: Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - offersAtTime

offersAtTime

appearance as argument number 1

(documentation offersAtTime EnglishLanguage "(%&offersAtTime ?AGENT ?CATALOG ?TIMEINT) means that ?AGENT offers items of ?CATALOG to its customer only during the specified ?TIMEINT")	Catalog.kif 122-124
(domain offersAtTime 1 AutonomousAgent)	Catalog.kif 126-126	The number 1 argument of offers at time is an instance of agent
(domain offersAtTime 2 Entity)	Catalog.kif 127-127	The number 2 argument of offers at time is an instance of entity
(domain offersAtTime 3 TimeInterval)	Catalog.kif 128-128	The number 3 argument of offers at time is an instance of time interval
(instance offersAtTime TernaryPredicate)	Catalog.kif 125-125	offers at time is an instance of ternary predicate

appearance as argument number 2

(format ChineseLanguage offersAtTime "%1 offers 拍卖样品在 %2 在其间 %3 ")	domainEnglishFormat.kif 4022-4022
(format ChineseTraditionalLanguage offersAtTime "%1 offers 拍賣樣品在 %2 在其間 %3 ")	domainEnglishFormat.kif 4021-4021
(format EnglishLanguage offersAtTime "%1 offers items for sale in %2 during %3")	domainEnglishFormat.kif 4020-4020
(termFormat EnglishLanguage offersAtTime "offers at time")	domainEnglishFormat.kif 65900-65900

antecedent

(=> (and (offersAtTime ?AGENT ?ATTR ?TIMEINT) (instance ?ATTR Attribute)) (holdsDuring ?TIMEINT (offers ?AGENT ?ATTR)))	Catalog.kif 152-157	If an agent offers items for sale in an entity during a time interval and the entity is an instance of attribute, then the agent offers items for sale in the entity holds during the time interval
(=> (and (offersAtTime ?AGENT ?CATALOG ?TIMEINT) (catalogItem ?CLASS ?CATALOG) (subclass ?CLASS Object) (instance ?PROCESSINSTANCE ?PROCESS) (subclass ?PROCESS Process) (instance ?OBJ ?CLASS) (patient ?PROCESSINSTANCE ?OBJ) (instance ?TIMEINT ?TIME) (subclass ?TIME TimeInterval)) (capabilityDuring ?PROCESS agent ?AGENT ?TIME))	Catalog.kif 139-150	If an agent offers items for sale in a catalog during a time interval and a kind of entity is in the catalog and a kind of entity is a subclass of object and a process is an instance of another kind of process and another kind of process is a subclass of process and another entity is an instance of the kind of entity and the other entity is a patient of the process and the time interval is an instance of another kind of time interval and another kind of time interval is a subclass of time interval, then the agent is capable of being a agent in the other kind of process during the other kind of time interval
(=> (and (offersAtTime ?AGENT ?CATALOG ?TIMEINT) (catalogItem ?CLASS ?CATALOG) (subclass ?CLASS Process) (instance ?TIMEINT ?TIME) (subclass ?TIME TimeInterval)) (capabilityDuring ?CLASS agent ?AGENT ?TIME))	Catalog.kif 130-137	If an agent offers items for sale in a catalog during a time interval and a kind of entity is in the catalog and a kind of entity is a subclass of process and the time interval is an instance of another kind of time interval and another kind of time interval is a subclass of time interval, then the agent is capable of being a agent in the kind of entity during the other kind of time interval

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners