FoodDistributionOperation
|
|
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 Getting) | Military.kif 51-51 | |
(subclass FoodDistributionOperation Giving) | Military.kif 50-50 | |
(subclass FoodDistributionOperation MilitaryOperation) | Military.kif 49-49 |
appearance as argument number 2 |
(termFormat ChineseLanguage FoodDistributionOperation "食品配送业务") | domainEnglishFormat.kif 24518-24518 | |
(termFormat ChineseTraditionalLanguage FoodDistributionOperation "食品配送業務") | domainEnglishFormat.kif 24517-24517 | |
(termFormat EnglishLanguage FoodDistributionOperation "food distribution operation") | domainEnglishFormat.kif 24516-24516 |
antecedent |
(=> (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 | |
(=> (instance ?FD FoodDistributionOperation) (exists (?GI ?GE) (and (instance ?GI Giving) (instance ?GI Getting) (subProcess ?GI ?FD) (subProcess ?GE ?FD)))) |
Military.kif 53-60 |