| appearance as argument number 1 |
|
| (documentation FoodDistributionOperation EnglishLanguage "Military operations conducted to distribute food to the friendly force. (from FM 100-40)") | Military.kif 46-47 | |
| (subclass FoodDistributionOperation MilitaryOperation) | Military.kif 49-49 | Food distribution operation is a subclass of military operation |
| (subclass FoodDistributionOperation Giving) | Military.kif 50-50 | Food distribution operation is a subclass of giving |
| (subclass FoodDistributionOperation Getting) | Military.kif 51-51 | Food distribution operation is a subclass of getting |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?FD FoodDistributionOperation) (exists (?GI ?GE) (and (instance ?GI Giving) (instance ?GI Getting) (subProcess ?GI ?FD) (subProcess ?GE ?FD)))) |
Military.kif 53-60 | If X is an instance of food distribution operation, then there exist Y, Z such that Y is an instance of giving, Y is an instance of getting, Y is a subprocess of X, and Z is a subprocess of X |
| (=> (instance ?FD FoodDistributionOperation) (exists (?FOOD ?CA) (and (instance ?FOOD (FoodForFn Animal)) (instance ?CA CognitiveAgent) (patient ?FD ?FOOD) (destination ?FD ?CA) (holdsDuring (ImmediateFutureFn (WhenFn ?FD)) (possesses ?CA ?FOOD))))) |
Military.kif 62-71 | If X is an instance of food distribution operation, then there exist Y, Z such that Y is an instance of food for animal, Z is an instance of cognitive agent, Y is a patient of X, X ends up at Z, and Z possesses Y holds during immediately after the time of existence of X |
|
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