| Agreement | |
| appearance as argument number 1 |
|
|
| (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 12323-12327 | |
| (subclass Agreement Proposition) | Mid-level-ontology.kif 12322-12322 |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain AgreementOrganizationFn 1 Agreement) | Geography.kif 2937-2937 | |
| (domain agreementClause 3 Agreement) | Mid-level-ontology.kif 12434-12434 | |
| (domain agreementEffectiveDate 1 Agreement) | Mid-level-ontology.kif 12389-12389 | |
| (domain agreementExpirationDate 1 Agreement) | Mid-level-ontology.kif 12414-12414 | |
| (domain agreementPeriod 1 Agreement) | Mid-level-ontology.kif 12375-12375 | |
| (domain contractedRentalPrice 3 Agreement) | Catalog.kif 494-494 | |
| (domain negotiatedPrice 3 Agreement) | Catalog.kif 266-266 | |
| (domain optionHolder 1 Agreement) | FinancialOntology.kif 2527-2527 | |
| (domain optionSeller 1 Agreement) | FinancialOntology.kif 2540-2540 | |
| (domain partyToAgreement 2 Agreement) | Mid-level-ontology.kif 12364-12364 | |
| (domain premium 1 Agreement) | FinancialOntology.kif 2662-2662 | |
| (domain recordForAgreement 2 Agreement) | Law.kif 550-550 | |
| (domain underlier 1 Agreement) | FinancialOntology.kif 2679-2679 | |
| (domain unratifiedSignatoryToAgreement 2 Agreement) | Geography.kif 2986-2986 |
| antecedent |
|
|
| (=> (and (instance ?RA ReachingAgreement) (agent ?RA ?AGENT) (result ?RA ?PROP) (instance ?PROP Agreement)) (holdsDuring (FutureFn (WhenFn ?RA)) (partyToAgreement ?AGENT ?PROP))) |
Media.kif 153-160 | |
| (=> (instance ?AGREEMENT Agreement) (exists (?AGENT1 ?AGENT2) (and (partyToAgreement ?AGENT1 ?AGREEMENT) (partyToAgreement ?AGENT2 ?AGREEMENT) (not (equal ?AGENT1 ?AGENT2))))) |
Mid-level-ontology.kif 12337-12343 | |
| (=> (instance ?COMPACT Agreement) (exists (?COMM) (and (instance ?COMM Committing) (represents ?COMM ?COMPACT)))) |
Mid-level-ontology.kif 12330-12335 |
| consequent |
|
|
| (=> (instance ?RA ReachingAgreement) (exists (?PROP) (and (instance ?PROP Agreement) (result ?RA ?PROP)))) |
Media.kif 146-151 | |
| (=> (instance ?SIGNING SigningAnAgreement) (exists (?DOC ?TERMS) (and (instance ?DOC LinguisticExpression) (instance ?TERMS Agreement) (containsInformation ?DOC ?TERMS) (patient ?SIGNING ?DOC)))) |
Geography.kif 3006-3013 | |
| (=> (property ?AGREEMENT ActiveAgreement) (instance ?AGREEMENT Agreement)) |
Mid-level-ontology.kif 12478-12480 |
|
|
|