| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11641-11641 | Change of possession is a subclass of social interaction |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18560-18560 | Sharing is a subclass of change of possession |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11668-11668 | Giving is a subclass of change of possession |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11775-11775 | Getting is a subclass of change of possession |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11809-11809 | Transaction is a subclass of change of possession |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2394-2394 | Exporting is a subclass of change of possession |
|
|