shortage - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - shortage

shortage

appearance as argument number 1

(documentation shortage EnglishLanguage "A relation between an AutonomousAgent and a number of instances or a quantity of a class of Object at a particular price or cost. The cost should include transport from the origin to the agent.")	Mid-level-ontology.kif 30864-30867
(domain shortage 1 AutonomousAgent)	Mid-level-ontology.kif 30872-30872	The number 1 argument of shortage is an instance of agent
(domain shortage 3 CurrencyMeasure)	Mid-level-ontology.kif 30874-30874	The number 3 argument of shortage is an instance of currency measure
(domain shortage 4 TimeInterval)	Mid-level-ontology.kif 30875-30875	The number 4 argument of shortage is an instance of time interval
(domain shortage 5 Quantity)	Mid-level-ontology.kif 30876-30876	The number 5 argument of shortage is an instance of quantity
(domainSubclass shortage 2 Object)	Mid-level-ontology.kif 30873-30873	The number 2 argument of shortage is a subclass of object
(instance shortage QuintaryPredicate)	Mid-level-ontology.kif 30870-30870	shortage is an instance of quintary predicate

appearance as argument number 2

(format EnglishLanguage shortage "there is a shortage of %5 of %2 for %1 at %3 during %4")	Mid-level-ontology.kif 30869-30869
(termFormat EnglishLanguage shortage "shortage")	Mid-level-ontology.kif 30868-30868

antecedent

(=> (and (shortage ?A ?O ?C ?T ?N) (instance ?N Integer)) (desires ?A (exists (?B ?G) (and (instance ?B Buying) (during (WhenFn ?B) ?T) (objectTransferred ?B ?G) (transactionAmount ?B ?C) (agent ?B ?A) (instance ?G Collection) (memberType ?G ?O) (memberCount ?G ?N) (possesses ?A ?G)))))	Mid-level-ontology.kif 30944-30959	If there is a shortage of a quantity of a kind of object for a cognitive agent at a currency measure during a time interval and the quantity is an instance of integer, then the cognitive agent desires there exist an entity and another entity such that the entity is an instance of buying and the time of existence of the entity takes place during the time interval and the object transferred in the entity is the other entity and the currency measure is a transaction amount of the entity and the cognitive agent is an agent of the entity and the other entity is an instance of collection and a kind of object is a member type of the other entity and the quantity is a member count of the other entity and the cognitive agent possesses the other entity
(=> (and (shortage ?A ?O ?C ?T ?N) (instance ?N Integer)) (desires ?A (exists (?G) (and (instance ?G Collection) (memberType ?G ?O) (memberCount ?G ?N) (possesses ?A ?G)))))	Mid-level-ontology.kif 30886-30896	If there is a shortage of a quantity of a kind of object for a cognitive agent at a currency measure during a time interval and the quantity is an instance of integer, then the cognitive agent desires there exists an entity such that the entity is an instance of collection and a kind of object is a member type of the entity and the quantity is a member count of the entity and the cognitive agent possesses the entity
(=> (and (shortage ?A ?O ?C ?T ?N) (instance ?N Integer)) (not (exists (?B ?G) (and (instance ?B Buying) (during (WhenFn ?B) ?T) (objectTransferred ?B ?G) (transactionAmount ?B ?C) (agent ?B ?A) (instance ?G Collection) (memberType ?G ?O) (memberCount ?G ?N) (possesses ?A ?G)))))	Mid-level-ontology.kif 30911-30926	If there is a shortage of an integer of a kind of object for an agent at a currency measure during a time interval and the integer is an instance of integer, then there don't exist a transfer and a collection such that the transfer is an instance of buying and the time of existence of the transfer takes place during the time interval and the object transferred in the transfer is the collection and the currency measure is a transaction amount of the transfer and the agent is an agent of the transfer and the collection is an instance of collection and a kind of object is a member type of the collection and the integer is a member count of the collection and the agent possesses the collection
(=> (and (shortage ?A ?O ?C ?T ?N) (instance ?N PhysicalQuantity)) (desires ?A (exists (?B ?G) (and (instance ?B Buying) (during (WhenFn ?B) ?T) (objectTransferred ?B ?G) (transactionAmount ?B ?C) (agent ?B ?A) (instance ?G ?O) (measure ?G ?N) (possesses ?A ?G)))))	Mid-level-ontology.kif 30961-30975	If there is a shortage of a quantity of a kind of object for a cognitive agent at a currency measure during a time interval and the quantity is an instance of physical quantity, then the cognitive agent desires there exist an entity and another entity such that the entity is an instance of buying and the time of existence of the entity takes place during the time interval and the object transferred in the entity is the other entity and the currency measure is a transaction amount of the entity and the cognitive agent is an agent of the entity and the other entity is an instance of a kind of object and the measure of the other entity is the quantity and the cognitive agent possesses the other entity
(=> (and (shortage ?A ?O ?C ?T ?N) (instance ?N PhysicalQuantity)) (desires ?A (exists (?G) (and (instance ?G ?O) (measure ?G ?N) (possesses ?A ?G)))))	Mid-level-ontology.kif 30900-30909	If there is a shortage of a quantity of a kind of object for a cognitive agent at a currency measure during a time interval and the quantity is an instance of physical quantity, then the cognitive agent desires there exists an entity such that the entity is an instance of a kind of object and the measure of the entity is the quantity and the cognitive agent possesses the entity
(=> (and (shortage ?A ?O ?C ?T ?N) (instance ?N PhysicalQuantity)) (not (exists (?B ?G) (and (instance ?B Buying) (during (WhenFn ?B) ?T) (objectTransferred ?B ?G) (transactionAmount ?B ?C) (agent ?B ?A) (instance ?G ?O) (measure ?G ?N) (possesses ?A ?G)))))	Mid-level-ontology.kif 30928-30942	If there is a shortage of a physical quantity of a kind of object for an agent at a currency measure during a time interval and the physical quantity is an instance of physical quantity, then there don't exist a transfer and another object such that the transfer is an instance of buying and the time of existence of the transfer takes place during the time interval and the object transferred in the transfer is the other object and the currency measure is a transaction amount of the transfer and the agent is an agent of the transfer and the other object is an instance of a kind of object and the measure of the other object is the physical quantity and the agent possesses the other object
(=> (shortage ?A ?O ?C ?T ?Q) (desires ?A (exists (?I) (and (instance ?I ?O) (possesses ?A ?I)))))	Mid-level-ontology.kif 30878-30884	If there is a shortage of a quantity of a kind of object for a cognitive agent at a currency measure during a time interval, then the cognitive agent desires there exists an entity such that the entity is an instance of a kind of object and the cognitive agent possesses the entity

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