(subclass FoodDistributionOperation MilitaryOperation) | Military.kif 49-49 | FoodDistributionOperation est une sous-classe de MilitaryOperation |
(subclass FoodDistributionOperation Giving) | Military.kif 50-50 | FoodDistributionOperation est une sous-classe de donner |
(subclass FoodDistributionOperation Getting) | Military.kif 51-51 | FoodDistributionOperation est une sous-classe de obtenir |