| 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 31165-31168 | |
| (domain shortage 1 AutonomousAgent) | Mid-level-ontology.kif 31173-31173 | |
| (domain shortage 3 CurrencyMeasure) | Mid-level-ontology.kif 31175-31175 | |
| (domain shortage 4 TimeInterval) | Mid-level-ontology.kif 31176-31176 | |
| (domain shortage 5 Quantity) | Mid-level-ontology.kif 31177-31177 | |
| (domainSubclass shortage 2 Object) | Mid-level-ontology.kif 31174-31174 | |
| (instance shortage QuintaryPredicate) | Mid-level-ontology.kif 31171-31171 |
| 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 31170-31170 | |
| (termFormat EnglishLanguage shortage "shortage") | Mid-level-ontology.kif 31169-31169 |
| 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 31245-31260 | |
| (=> (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 31187-31197 | |
| (=> (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 31212-31227 | |
| (=> (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 31262-31276 | |
| (=> (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 31201-31210 | |
| (=> (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 31229-31243 | |
| (=> (shortage ?A ?O ?C ?T ?Q) (desires ?A (exists (?I) (and (instance ?I ?O) (possesses ?A ?I))))) |
Mid-level-ontology.kif 31179-31185 |
|
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