(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 |
![]() |