| (subclass Getting ChangeOfPossession) | Merge.kif 11925-11925 | 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 11937-11937 | Unilateral getting is a subclass of getting |
| (subclass Borrowing Getting) | Merge.kif 11953-11953 | Borrowing is a subclass of getting |
|
|