| appearance as argument number 1 |
|
|
| (subclass Agreement Proposition) | Mid-level-ontology.kif 15456-15456 | Agreement is a subclass of proposition |
| (documentation Agreement EnglishLanguage "Agreement is the class of Propositions that express the contents of agreements entered into by CognitiveAgents. Agreement includes treaties, contracts, purchase orders, pledges, marriage vows, etc. An Agreement may be written down in a document or other ContentBearingObject, it can be verbal Communication, it can even be an implied agreement.") | Mid-level-ontology.kif 15457-15461 | Agreement is a subclass of proposition |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| antecedent |
|
|
| (=> (instance ?COMPACT Agreement) (exists (?COMM) (and (instance ?COMM Committing) (represents ?COMM ?COMPACT)))) |
Mid-level-ontology.kif 15464-15469 | If X is an instance of agreement, then there exists Y such that Y is an instance of committing and Y expresses X |
| (=> (instance ?AGREEMENT Agreement) (exists (?AGENT1 ?AGENT2) (and (partyToAgreement ?AGENT1 ?AGREEMENT) (partyToAgreement ?AGENT2 ?AGREEMENT) (not (equal ?AGENT1 ?AGENT2))))) |
Mid-level-ontology.kif 15471-15477 | If X is an instance of agreement, then there exist Y, Z such that X is a party to agreement of Y, X is a party to agreement of Z, equal Y, and Z |
| (=> (and (instance ?RA ReachingAgreement) (agent ?RA ?AGENT) (result ?RA ?PROP) (instance ?PROP Agreement)) (holdsDuring (FutureFn (WhenFn ?RA)) (partyToAgreement ?AGENT ?PROP))) |
Media.kif 153-160 | If X is an instance of reaching agreement, Y is an agent of X, Z is a result of X, and Z is an instance of agreement, then Z is a party to agreement of Y holds during after the time of existence of X |
| consequent |
|
|
|
|
|