TreeView Knowledge Base Browser - shortage

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 30254-30257
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30262-30262	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 30264-30264	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 30265-30265	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 30266-30266	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 30263-30263	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 30260-30260	shortage is an instance of quintary relation

appearance as argument number 2

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

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30332-30347	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 30276-30286	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 30299-30314	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 30349-30363	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 30288-30297	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 kind of object 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 30316-30330	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 30268-30274	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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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