Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| 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 |
|
|
| (subclass Committing LinguisticCommunication) | Merge.kif 13524-13524 | Committing is a subclass of linguistic communication |
| (documentation Committing EnglishLanguage "Instances of this Class commit the agent to some future course of action. For example, Bob promised Susan that he would be home by 11pm.") | Merge.kif 13525-13527 | Committing is a subclass of linguistic communication |
| appearance as argument number 2 |
|
|
| appearance as argument number 5 |
|
|
| antecedent |
|
|
| (=> (and (instance ?COMMIT Committing) (containsFormula ?COMMIT ?FORMULA) (instance ?FORMULA Formula)) (modalAttribute ?FORMULA Promise)) |
Merge.kif 13529-13534 | If X is an instance of committing, X contains the formula Y, and Y is an instance of formula, then the statement Y has the modal force of promise |
| (=> (and (instance ?AGREEMENT InternationalAgreement) (instance ?COMMITTING Committing) (represents ?COMMITTING ?AGREEMENT)) (exists (?AGENT) (and (agent ?COMMITTING ?AGENT) (instance ?AGENT Nation)))) |
Geography.kif 4433-4441 | If X is an instance of international agreement, Y is an instance of committing, and Y expresses X, then there exists Z such that Z is an agent of Y and Z is an instance of nation |
| consequent |
|
|
| (=> (instance ?COMPACT Agreement) (exists (?COMM) (and (instance ?COMM Committing) (represents ?COMM ?COMPACT)))) |
Mid-level-ontology.kif 15566-15571 | If X is an instance of agreement, then there exists Y such that Y is an instance of committing and Y expresses X |
| (=> (partyToAgreement ?AGENT ?CONTENT) (exists (?C) (and (instance ?C Committing) (agent ?C ?AGENT) (patient ?C ?CONTENT)))) |
Mid-level-ontology.kif 15602-15608 | If X is a party to agreement of Y, then there exists Z such that Z is an instance of committing, Y is an agent of Z, and X is a patient of Z |
| (=> (instance ?NEGOTIATE Negotiating) (hasPurpose ?NEGOTIATE (exists (?COMMIT) (and (instance ?COMMIT Committing) (subProcess ?COMMIT ?NEGOTIATE) (finishes (WhenFn ?COMMIT) (WhenFn ?NEGOTIATE)))))) |
Mid-level-ontology.kif 21613-21622 | If X is an instance of negotiating, then X has the purpose there exists Y such that Y is an instance of committing, Y is a subprocess of X, and the time of existence of Y finishes the time of existence of X |
| (=> (instance ?TREATY TreatyDocument) (exists (?COMM ?COUNTRY1 ?COUNTRY2) (and (instance ?COMM Committing) (patient ?COMM ?TREATY) (instance ?COUNTRY1 GeopoliticalArea) (agent ?COMM ?COUNTRY1) (instance ?COUNTRY2 GeopoliticalArea) (agent ?COMM ?COUNTRY2) (not (equal ?COUNTRY1 ?COUNTRY2))))) |
Geography.kif 4471-4481 | If X is an instance of treaty document, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of committing (3) X is a patient of Y (4) Z is an instance of geopolitical area (5) Z is an agent of Y (6) W is an instance of geopolitical area (7) W is an agent of Y (8) equal Z (9) W |
| (=> (agreementAdoptionDate ?AGR ?DATE) (exists (?PROCESS ?DAY) (and (instance ?PROCESS Committing) (instance ?DAY ?DATE) (patient ?PROCESS ?AGR) (time ?PROCESS ?DAY)))) |
Government.kif 669-676 | If X is an agreement adoption date of Y, then there exist Z, W such that Z is an instance of committing, W is an instance of X, Y is a patient of Z, and Z exists during W |
|