Agreement - Sigma Knowledge base Browser

appearance as argument number 3

(domain AgreementOrganizationFn 1 Agreement)	Geography.kif 4524-4524	The number 1 argument of AgreementOrganizationFn is an instance of Agreement
(domain agreementClause 3 Agreement)	Mid-level-ontology.kif 15430-15430	The number 3 argument of agreementClause is an instance of Agreement
(domain agreementEffectiveDate 1 Agreement)	Mid-level-ontology.kif 15385-15385	The number 1 argument of agreementEffectiveDate is an instance of Agreement
(domain agreementExpirationDate 1 Agreement)	Mid-level-ontology.kif 15410-15410	The number 1 argument of agreementExpirationDate is an instance of Agreement
(domain agreementPeriod 1 Agreement)	Mid-level-ontology.kif 15371-15371	The number 1 argument of agreementPeriod is an instance of Agreement
(domain contractedRentalPrice 3 Agreement)	Catalog.kif 503-503	The number 3 argument of contractedRentalPrice is an instance of Agreement
(domain negotiatedPrice 3 Agreement)	Catalog.kif 271-271	The number 3 argument of negotiatedPrice is an instance of Agreement
(domain optionHolder 1 Agreement)	FinancialOntology.kif 2603-2603	The number 1 argument of optionHolder is an instance of Agreement
(domain optionSeller 1 Agreement)	FinancialOntology.kif 2616-2616	The number 1 argument of optionSeller is an instance of Agreement
(domain partyToAgreement 2 Agreement)	Mid-level-ontology.kif 15360-15360	The number 2 argument of partyToAgreement 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 recordForAgreement 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 unratifiedSignatoryToAgreement 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 ReachingAgreement 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 partyToAgreement the agent and the entity 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 partyToAgreement the cognitive agent and the Agreement and partyToAgreement the other cognitive agent and the Agreement 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 ReachingAgreement, 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 SigningAnAgreement, then there exist a ContentBearingPhysical and a proposition such that the ContentBearingPhysical is an instance of linguistic expression and the proposition is an instance of Agreement and the ContentBearingPhysical contains information the proposition and the ContentBearingPhysical is a patient of the process
(=> (property ?AGREEMENT ActiveAgreement) (instance ?AGREEMENT Agreement))	Mid-level-ontology.kif 15474-15476	If an entity the attribute ActiveAgreement, 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	AirPollutionConvention is an instance of Agreement
(instance AirPollution_NitrogenOxidesProtocol Agreement)	Geography.kif 4612-4612	AirPollution_NitrogenOxidesProtocol is an instance of Agreement
(instance AirPollution_PeristentOrganicPollutantsProtocol Agreement)	Geography.kif 4618-4618	AirPollution_PeristentOrganicPollutantsProtocol is an instance of Agreement
(instance AirPollution_Sulphur85Protocol Agreement)	Geography.kif 4623-4623	AirPollution_Sulphur85Protocol is an instance of Agreement
(instance AirPollution_Sulphur94Protocol Agreement)	Geography.kif 4629-4629	AirPollution_Sulphur94Protocol is an instance of Agreement
(instance AirPollution_VolatileOrganicCompoundsProtocol Agreement)	Geography.kif 4634-4634	AirPollution_VolatileOrganicCompoundsProtocol is an instance of Agreement
(instance AntarcticSealsConvention Agreement)	Geography.kif 4652-4652	AntarcticSealsConvention is an instance of Agreement
(instance AntarcticTreaty Agreement)	Geography.kif 4658-4658	AntarcticTreaty is an instance of Agreement
(instance Antarctic_EnvironmentalProtocol Agreement)	Geography.kif 4640-4640	Antarctic_EnvironmentalProtocol is an instance of Agreement
(instance Antarctic_MarineLivingResourcesConvention Agreement)	Geography.kif 4645-4645	Antarctic_MarineLivingResourcesConvention is an instance of Agreement
(instance BiodiversityConvention Agreement)	Geography.kif 4672-4672	BiodiversityConvention is an instance of Agreement
(instance ClimateChangeConvention Agreement)	Geography.kif 4676-4676	ClimateChangeConvention is an instance of Agreement
(instance ClimateChange_KyotoProtocol Agreement)	Geography.kif 4682-4682	ClimateChange_KyotoProtocol is an instance of Agreement
(instance DesertificationConvention Agreement)	Geography.kif 4690-4690	DesertificationConvention is an instance of Agreement
(instance EndangeredSpeciesConvention Agreement)	Geography.kif 4697-4697	EndangeredSpeciesConvention is an instance of Agreement
(instance EnvironmentalModificationConvention Agreement)	Geography.kif 4705-4705	EnvironmentalModificationConvention is an instance of Agreement
(instance HazardousWastesConvention Agreement)	Geography.kif 4712-4712	HazardousWastesConvention is an instance of Agreement
(instance LawOfTheSeaConvention Agreement)	Geography.kif 4720-4720	LawOfTheSeaConvention is an instance of Agreement
(instance MarineDumpingConvention Agreement)	Geography.kif 4727-4727	MarineDumpingConvention is an instance of Agreement
(instance MarineLifeConservationConvention Agreement)	Geography.kif 4735-4735	MarineLifeConservationConvention is an instance of Agreement
(instance NuclearTestBanTreaty Agreement)	Geography.kif 4742-4742	NuclearTestBanTreaty is an instance of Agreement
(instance OzoneLayerProtectionProtocol Agreement)	Geography.kif 4749-4749	OzoneLayerProtectionProtocol is an instance of Agreement
(instance ShipPollutionProtocol Agreement)	Geography.kif 4757-4757	ShipPollutionProtocol is an instance of Agreement
(instance TropicalTimber83Agreement Agreement)	Geography.kif 4765-4765	TropicalTimber83Agreement is an instance of Agreement
(instance TropicalTimber94Agreement Agreement)	Geography.kif 4771-4771	TropicalTimber94Agreement 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: