Committing(committing) | Hippocratic_oath, Missouri_Compromise, abandon, acceptance, accession, accommodation, accord_and_satisfaction, acquiescence, adscript, adscripted, affirmation, agreement, appease, apprenticed, arrangement, article, articled, assent, assenting, assurance, assure, bail, bargain_down, bayat, beat_down, betrothal, bid, bidding, bind, bound, cahoot, certify, check, clean_bill_of_health, clinch, collateralize, collusion, commination, commit, commitment, compromise, conceding, concession, conclusion, confide, confirmation, connivance, contract, contract_in, covenant... |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3274-3275 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13222-13224 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13221-13221 | Committing is a subclass of linguistic communication |
appearance as argument number 2 |
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. | Dining.kif 756-756 | Reserving 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. | Mid-level-ontology.kif 855-855 | Threatening is a subclass of committing |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1203-1203 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1623-1623 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 881-881 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 414-414 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 417-417 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2565-2565 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 833-833 | |
No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 419-419 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 453-453 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 902-902 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 418-418 |
appearance as argument number 5 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13036-13036 | Communication is exhaustively partitioned into stating, supposing, directing, committing, expressing, and declaring |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3001-3009 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13226-13231 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 706-713 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13965-13970 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19714-19720 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3039-3049 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14001-14007 |
|