Agreement - Sigma Knowledge base Browser

appearance as argument number 3

(domain AgreementOrganizationFn 1 Agreement)	Geography.kif 4448-4448	The number 1 argument of agreement organization is an instance of agreement
(domain agreementClause 3 Agreement)	Mid-level-ontology.kif 15430-15430	The number 3 argument of agreement clause is an instance of agreement
(domain agreementEffectiveDate 1 Agreement)	Mid-level-ontology.kif 15385-15385	The number 1 argument of agreement effective date is an instance of agreement
(domain agreementExpirationDate 1 Agreement)	Mid-level-ontology.kif 15410-15410	The number 1 argument of expiration date is an instance of agreement
(domain agreementPeriod 1 Agreement)	Mid-level-ontology.kif 15371-15371	The number 1 argument of agreement period is an instance of agreement
(domain contractedRentalPrice 3 Agreement)	Catalog.kif 503-503	The number 3 argument of contracted rental price is an instance of agreement
(domain negotiatedPrice 3 Agreement)	Catalog.kif 271-271	The number 3 argument of negotiated price is an instance of agreement
(domain optionHolder 1 Agreement)	FinancialOntology.kif 2603-2603	The number 1 argument of option holder is an instance of agreement
(domain optionSeller 1 Agreement)	FinancialOntology.kif 2616-2616	The number 1 argument of option seller is an instance of agreement
(domain partyToAgreement 2 Agreement)	Mid-level-ontology.kif 15360-15360	The number 2 argument of party to agreement is an instance of agreement
(domain premium 1 Agreement)	FinancialOntology.kif 2738-2738	The number 1 argument of premium is an instance of agreement
(domain recordForAgreement 2 Agreement)	Law.kif 508-508	The number 2 argument of record for agreement is an instance of agreement
(domain underlier 1 Agreement)	FinancialOntology.kif 2756-2756	The number 1 argument of underlier is an instance of agreement
(domain unratifiedSignatoryToAgreement 2 Agreement)	Geography.kif 4497-4497	The number 2 argument of unratified signatory to agreement is an instance of agreement

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	If a process is an instance of reaching agreement and an agent is an agent of the process and an entity is a result of the process and the entity is an instance of agreement, then the entity is a party to agreement of the agent holds during after the time of existence of the process
(=> (instance ?AGREEMENT Agreement) (exists (?AGENT1 ?AGENT2) (and (partyToAgreement ?AGENT1 ?AGREEMENT) (partyToAgreement ?AGENT2 ?AGREEMENT) (not (equal ?AGENT1 ?AGENT2)))))	Mid-level-ontology.kif 15333-15339	If an agreement is an instance of agreement, then there exist a cognitive agent and another cognitive agent such that the agreement is a party to agreement of the cognitive agent and the agreement is a party to agreement of the other cognitive agent and equal the cognitive agent and the other cognitive agent
(=> (instance ?COMPACT Agreement) (exists (?COMM) (and (instance ?COMM Committing) (represents ?COMM ?COMPACT))))	Mid-level-ontology.kif 15326-15331	If an entity is an instance of agreement, then there exists another entity such that the other entity is an instance of committing and the other entity expresses the entity

consequent

(=> (instance ?RA ReachingAgreement) (exists (?PROP) (and (instance ?PROP Agreement) (result ?RA ?PROP))))	Media.kif 146-151	If a process is an instance of reaching agreement, then there exists an entity such that the entity is an instance of agreement and the entity is a result of the process
(=> (instance ?SIGNING SigningAnAgreement) (exists (?DOC ?TERMS) (and (instance ?DOC LinguisticExpression) (instance ?TERMS Agreement) (containsInformation ?DOC ?TERMS) (patient ?SIGNING ?DOC))))	Geography.kif 4517-4524	If a process is an instance of signing an agreement, then there exist a content bearing physical and a proposition such that the content bearing physical is an instance of linguistic expression and the proposition is an instance of agreement and the content bearing physical contains information the proposition and the content bearing physical is a patient of the process
(=> (property ?AGREEMENT ActiveAgreement) (instance ?AGREEMENT Agreement))	Mid-level-ontology.kif 15474-15476	If an entity the attribute active agreement, then the entity is an instance of agreement

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

(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 15319-15323
(subclass Agreement Proposition)	Mid-level-ontology.kif 15318-15318	Agreement is a subclass of proposition

(instance AirPollutionConvention Agreement)	Geography.kif 4530-4530	Air pollution convention is an instance of agreement
(instance AirPollution_NitrogenOxidesProtocol Agreement)	Geography.kif 4536-4536	Air pollution- nitrogen oxides protocol is an instance of agreement
(instance AirPollution_PeristentOrganicPollutantsProtocol Agreement)	Geography.kif 4542-4542	Air pollution- peristent organic pollutants protocol is an instance of agreement
(instance AirPollution_Sulphur85Protocol Agreement)	Geography.kif 4547-4547	Air pollution- sulphur85 protocol is an instance of agreement
(instance AirPollution_Sulphur94Protocol Agreement)	Geography.kif 4553-4553	Air pollution- sulphur94 protocol is an instance of agreement
(instance AirPollution_VolatileOrganicCompoundsProtocol Agreement)	Geography.kif 4558-4558	Air pollution- volatile organic compounds protocol is an instance of agreement
(instance AntarcticSealsConvention Agreement)	Geography.kif 4576-4576	Antarctic seals convention is an instance of agreement
(instance AntarcticTreaty Agreement)	Geography.kif 4582-4582	Antarctic treaty is an instance of agreement
(instance Antarctic_EnvironmentalProtocol Agreement)	Geography.kif 4564-4564	Antarctic environmental protocol is an instance of agreement
(instance Antarctic_MarineLivingResourcesConvention Agreement)	Geography.kif 4569-4569	Antarctic marine living resources convention is an instance of agreement
(instance BiodiversityConvention Agreement)	Geography.kif 4596-4596	Biodiversity convention is an instance of agreement
(instance ClimateChangeConvention Agreement)	Geography.kif 4600-4600	Climate change convention is an instance of agreement
(instance ClimateChange_KyotoProtocol Agreement)	Geography.kif 4606-4606	Climate change- kyoto protocol is an instance of agreement
(instance DesertificationConvention Agreement)	Geography.kif 4614-4614	Desertification convention is an instance of agreement
(instance EndangeredSpeciesConvention Agreement)	Geography.kif 4621-4621	Endangered species convention is an instance of agreement
(instance EnvironmentalModificationConvention Agreement)	Geography.kif 4629-4629	Environmental modification convention is an instance of agreement
(instance HazardousWastesConvention Agreement)	Geography.kif 4636-4636	Hazardous wastes convention is an instance of agreement
(instance LawOfTheSeaConvention Agreement)	Geography.kif 4644-4644	Law of the sea convention is an instance of agreement
(instance MarineDumpingConvention Agreement)	Geography.kif 4651-4651	Marine dumping convention is an instance of agreement
(instance MarineLifeConservationConvention Agreement)	Geography.kif 4659-4659	Marine life conservation convention is an instance of agreement
(instance NuclearTestBanTreaty Agreement)	Geography.kif 4666-4666	Nuclear test ban treaty is an instance of agreement
(instance OzoneLayerProtectionProtocol Agreement)	Geography.kif 4673-4673	Ozone layer protection protocol is an instance of agreement
(instance ShipPollutionProtocol Agreement)	Geography.kif 4681-4681	Ship pollution protocol is an instance of agreement
(instance TropicalTimber83Agreement Agreement)	Geography.kif 4689-4689	Tropical timber83 agreement is an instance of agreement
(instance TropicalTimber94Agreement Agreement)	Geography.kif 4695-4695	Tropical timber94 agreement is an instance of agreement

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

KB Term:			Term intersection

English Word: