Agreement - Sigma Knowledge base Browser

appearance as argument number 3

(domain AgreementOrganizationFn 1 Agreement)	Geography.kif 4524-4524	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 4573-4573	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 4593-4600	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 4606-4606	Air pollution convention is an instance of agreement
(instance AirPollution_NitrogenOxidesProtocol Agreement)	Geography.kif 4612-4612	Air pollution- nitrogen oxides protocol is an instance of agreement
(instance AirPollution_PeristentOrganicPollutantsProtocol Agreement)	Geography.kif 4618-4618	Air pollution- peristent organic pollutants protocol is an instance of agreement
(instance AirPollution_Sulphur85Protocol Agreement)	Geography.kif 4623-4623	Air pollution- sulphur85 protocol is an instance of agreement
(instance AirPollution_Sulphur94Protocol Agreement)	Geography.kif 4629-4629	Air pollution- sulphur94 protocol is an instance of agreement
(instance AirPollution_VolatileOrganicCompoundsProtocol Agreement)	Geography.kif 4634-4634	Air pollution- volatile organic compounds protocol is an instance of agreement
(instance AntarcticSealsConvention Agreement)	Geography.kif 4652-4652	Antarctic seals convention is an instance of agreement
(instance AntarcticTreaty Agreement)	Geography.kif 4658-4658	Antarctic treaty is an instance of agreement
(instance Antarctic_EnvironmentalProtocol Agreement)	Geography.kif 4640-4640	Antarctic environmental protocol is an instance of agreement
(instance Antarctic_MarineLivingResourcesConvention Agreement)	Geography.kif 4645-4645	Antarctic marine living resources convention is an instance of agreement
(instance BiodiversityConvention Agreement)	Geography.kif 4672-4672	Biodiversity convention is an instance of agreement
(instance ClimateChangeConvention Agreement)	Geography.kif 4676-4676	Climate change convention is an instance of agreement
(instance ClimateChange_KyotoProtocol Agreement)	Geography.kif 4682-4682	Climate change- kyoto protocol is an instance of agreement
(instance DesertificationConvention Agreement)	Geography.kif 4690-4690	Desertification convention is an instance of agreement
(instance EndangeredSpeciesConvention Agreement)	Geography.kif 4697-4697	Endangered species convention is an instance of agreement
(instance EnvironmentalModificationConvention Agreement)	Geography.kif 4705-4705	Environmental modification convention is an instance of agreement
(instance HazardousWastesConvention Agreement)	Geography.kif 4712-4712	Hazardous wastes convention is an instance of agreement
(instance LawOfTheSeaConvention Agreement)	Geography.kif 4720-4720	Law of the sea convention is an instance of agreement
(instance MarineDumpingConvention Agreement)	Geography.kif 4727-4727	Marine dumping convention is an instance of agreement
(instance MarineLifeConservationConvention Agreement)	Geography.kif 4735-4735	Marine life conservation convention is an instance of agreement
(instance NuclearTestBanTreaty Agreement)	Geography.kif 4742-4742	Nuclear test ban treaty is an instance of agreement
(instance OzoneLayerProtectionProtocol Agreement)	Geography.kif 4749-4749	Ozone layer protection protocol is an instance of agreement
(instance ShipPollutionProtocol Agreement)	Geography.kif 4757-4757	Ship pollution protocol is an instance of agreement
(instance TropicalTimber83Agreement Agreement)	Geography.kif 4765-4765	Tropical timber83 agreement is an instance of agreement
(instance TropicalTimber94Agreement Agreement)	Geography.kif 4771-4771	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: