| 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 32571-32574 | |
| (domain shortage 1 AutonomousAgent) | Mid-level-ontology.kif 32579-32579 | |
| (domain shortage 3 CurrencyMeasure) | Mid-level-ontology.kif 32581-32581 | |
| (domain shortage 4 TimeInterval) | Mid-level-ontology.kif 32582-32582 | |
| (domain shortage 5 Quantity) | Mid-level-ontology.kif 32583-32583 | |
| (domainSubclass shortage 2 Object) | Mid-level-ontology.kif 32580-32580 | |
| (instance shortage QuintaryPredicate) | Mid-level-ontology.kif 32577-32577 |
| 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 32576-32576 | |
| (termFormat EnglishLanguage shortage "shortage") | Mid-level-ontology.kif 32575-32575 |
| 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 32651-32666 | |
| (=> (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 32593-32603 | |
| (=> (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 32618-32633 | |
| (=> (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 32668-32682 | |
| (=> (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 32607-32616 | |
| (=> (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 32635-32649 | |
| (=> (shortage ?A ?O ?C ?T ?Q) (desires ?A (exists (?I) (and (instance ?I ?O) (possesses ?A ?I))))) |
Mid-level-ontology.kif 32585-32591 |
|
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