(subclass Getting ChangeOfPossession) | Merge.kif 11775-11775 | Getting is a subclass of change of possession |
(subclass FoodDistributionOperation Getting) | Military.kif 51-51 | Food distribution operation is a subclass of getting |
(subclass UnilateralGetting Getting) | Merge.kif 11787-11787 | Unilateral getting is a subclass of getting |
(subclass Borrowing Getting) | Merge.kif 11803-11803 | Borrowing is a subclass of getting |