| 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 12311-12315 | |
| (subclass Agreement Proposition) | Mid-level-ontology.kif 12310-12310 |
| 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 12422-12422 | |
| (domain agreementEffectiveDate 1 Agreement) | Mid-level-ontology.kif 12377-12377 | |
| (domain agreementExpirationDate 1 Agreement) | Mid-level-ontology.kif 12402-12402 | |
| (domain agreementPeriod 1 Agreement) | Mid-level-ontology.kif 12363-12363 | |
| (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 12352-12352 | |
| (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 12325-12331 | |
| (=> (instance ?COMPACT Agreement) (exists (?COMM) (and (instance ?COMM Committing) (represents ?COMM ?COMPACT)))) |
Mid-level-ontology.kif 12318-12323 |
| 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 12466-12468 |
|
|
|