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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30876-30879
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30884-30884	The number 1 argument of shortage is an instance of agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30886-30886	The number 3 argument of shortage is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30887-30887	The number 4 argument of shortage is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30888-30888	The number 5 argument of shortage is an instance of quantity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30885-30885	The number 2 argument of shortage is a subclass of object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30882-30882	shortage is an instance of quintary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30881-30881
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30880-30880

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30956-30971	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30898-30908	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30923-30938	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30973-30987	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30912-30921	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30940-30954	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30890-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, 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