| 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 31133-31136 | |
| (domain shortage 1 AutonomousAgent) | Mid-level-ontology.kif 31141-31141 | |
| (domain shortage 3 CurrencyMeasure) | Mid-level-ontology.kif 31143-31143 | |
| (domain shortage 4 TimeInterval) | Mid-level-ontology.kif 31144-31144 | |
| (domain shortage 5 Quantity) | Mid-level-ontology.kif 31145-31145 | |
| (domainSubclass shortage 2 Object) | Mid-level-ontology.kif 31142-31142 | |
| (instance shortage QuintaryPredicate) | Mid-level-ontology.kif 31139-31139 |
| 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 31138-31138 | |
| (termFormat EnglishLanguage shortage "shortage") | Mid-level-ontology.kif 31137-31137 |
| 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 31213-31228 | |
| (=> (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 31155-31165 | |
| (=> (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 31180-31195 | |
| (=> (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 31230-31244 | |
| (=> (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 31169-31178 | |
| (=> (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 31197-31211 | |
| (=> (shortage ?A ?O ?C ?T ?Q) (desires ?A (exists (?I) (and (instance ?I ?O) (possesses ?A ?I))))) |
Mid-level-ontology.kif 31147-31153 |
|
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