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 13376-13378 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13375-13375 | 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 23125-23125 | Closing contract is a subclass of committing |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13387-13387 | 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 3275-3275 | Signing an agreement is a subclass of committing |
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. | chinese_format.kif 1203-1203 | Threatening is a subclass of committing |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1623-1623 | Threatening is a subclass of committing |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 881-881 | Threatening is a subclass of committing |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 414-414 | Threatening is a subclass of committing |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 417-417 | Threatening is a subclass of committing |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2565-2565 | Threatening is a subclass of committing |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 833-833 | Threatening is a subclass of committing |
No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 419-419 | Threatening is a subclass of committing |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 453-453 | Threatening is a subclass of committing |
No TPTP formula. May not be expressible in strict first order. | terms-de.txt 712-712 | Threatening is a subclass of committing |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 902-902 | Threatening is a subclass of committing |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 418-418 | Threatening is a subclass of committing |
appearance as argument number 5 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13190-13190 | 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 3159-3167 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13380-13385 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Government.kif 669-676 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15336-15341 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21285-21291 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3197-3207 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15372-15378 |
|
![]() |
![]() |