No TPTP formula. May not be expressible in strict first order. | Merge.kif 13221-13221 | Committing is a subclass of linguistic communication |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 855-855 | Threatening is a subclass of committing |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21508-21508 | Closing contract is a subclass of committing |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13233-13233 | 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 |