| 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 12707-12711 | |
| (subclass Agreement Proposition) | Mid-level-ontology.kif 12706-12706 |
| 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 12818-12818 | |
| (domain agreementEffectiveDate 1 Agreement) | Mid-level-ontology.kif 12773-12773 | |
| (domain agreementExpirationDate 1 Agreement) | Mid-level-ontology.kif 12798-12798 | |
| (domain agreementPeriod 1 Agreement) | Mid-level-ontology.kif 12759-12759 | |
| (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 12748-12748 | |
| (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 12721-12727 | |
| (=> (instance ?COMPACT Agreement) (exists (?COMM) (and (instance ?COMM Committing) (represents ?COMM ?COMPACT)))) |
Mid-level-ontology.kif 12714-12719 |
| 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 12862-12864 |
|
|
|