No TPTP formula. May not be expressible in strict first order. | Merge.kif 13267-13267 | Committing is a subclass of linguistic communication |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 848-848 | Threatening is a subclass of committing |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21535-21535 | Closing contract is a subclass of committing |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13279-13279 | Offering is a subclass of committing |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3117-3117 | Signing an agreement is a subclass of committing |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 756-756 | Reserving is a subclass of committing |