| (subclass Committing LinguisticCommunication) | Merge.kif 13267-13267 | Committing is a subclass of linguistic communication |
| (subclass Threatening Committing) | Mid-level-ontology.kif 848-848 | Threatening is a subclass of committing |
| (subclass ClosingContract Committing) | Mid-level-ontology.kif 21535-21535 | Closing contract is a subclass of committing |
| (subclass Offering Committing) | Merge.kif 13279-13279 | Offering is a subclass of committing |
| (subclass SigningAnAgreement Committing) | Geography.kif 3117-3117 | Signing an agreement is a subclass of committing |
| (subclass Reserving Committing) | Dining.kif 756-756 | Reserving is a subclass of committing |
|
|