Agreement - Sigma Knowledge base Browser

appearance as argument number 1

s__documentation(s__Agreement,s__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 12323-12327

s__instance(s__Proposition,s__SetOrClass)

s__instance(s__Agreement,s__SetOrClass)

s__subclass(s__Agreement,s__Proposition)

Mid-level-ontology.kif 12322-12322

Agreement is a subclass of proposition

appearance as argument number 2

s__instance(s__Agreement,s__SetOrClass) s__instance(s__AirPollution_NitrogenOxidesProtocol,s__Agreement)	Geography.kif 3025-3025	Air pollution- nitrogen oxides protocol is an instance of agreement
s__instance(s__AirPollution_PeristentOrganicPollutantsProtocol,s__Agreement) s__instance(s__Agreement,s__SetOrClass)	Geography.kif 3031-3031	Air pollution- peristent organic pollutants protocol is an instance of agreement
s__instance(s__Agreement,s__SetOrClass) s__instance(s__AirPollution_Sulphur85Protocol,s__Agreement)	Geography.kif 3036-3036	Air pollution- sulphur85 protocol is an instance of agreement
s__instance(s__AirPollution_Sulphur94Protocol,s__Agreement) s__instance(s__Agreement,s__SetOrClass)	Geography.kif 3042-3042	Air pollution- sulphur94 protocol is an instance of agreement
s__instance(s__Agreement,s__SetOrClass) s__instance(s__AirPollution_VolatileOrganicCompoundsProtocol,s__Agreement)	Geography.kif 3047-3047	Air pollution- volatile organic compounds protocol is an instance of agreement
s__instance(s__AirPollutionConvention,s__Agreement) s__instance(s__Agreement,s__SetOrClass)	Geography.kif 3019-3019	Air pollution convention is an instance of agreement
s__instance(s__Antarctic_EnvironmentalProtocol,s__Agreement) s__instance(s__Agreement,s__SetOrClass)	Geography.kif 3053-3053	Antarctic- environmental protocol is an instance of agreement
s__instance(s__Agreement,s__SetOrClass) s__instance(s__Antarctic_MarineLivingResourcesConvention,s__Agreement)	Geography.kif 3058-3058	Antarctic- marine living resources convention is an instance of agreement
s__instance(s__Agreement,s__SetOrClass) s__instance(s__AntarcticSealsConvention,s__Agreement)	Geography.kif 3065-3065	Antarctic seals convention is an instance of agreement
s__instance(s__AntarcticTreaty,s__Agreement) s__instance(s__Agreement,s__SetOrClass)	Geography.kif 3071-3071	Antarctic treaty is an instance of agreement
s__instance(s__Agreement,s__SetOrClass) s__instance(s__BiodiversityConvention,s__Agreement)	Geography.kif 3085-3085	Biodiversity convention is an instance of agreement
s__instance(s__Agreement,s__SetOrClass) s__instance(s__ClimateChange_KyotoProtocol,s__Agreement)	Geography.kif 3095-3095	Climate change- kyoto protocol is an instance of agreement
s__instance(s__Agreement,s__SetOrClass) s__instance(s__ClimateChangeConvention,s__Agreement)	Geography.kif 3089-3089	Climate change convention is an instance of agreement
s__instance(s__DesertificationConvention,s__Agreement) s__instance(s__Agreement,s__SetOrClass)	Geography.kif 3103-3103	Desertification convention is an instance of agreement
s__instance(s__Agreement,s__SetOrClass) s__instance(s__EndangeredSpeciesConvention,s__Agreement)	Geography.kif 3110-3110	Endangered species convention is an instance of agreement
s__instance(s__EnvironmentalModificationConvention,s__Agreement) s__instance(s__Agreement,s__SetOrClass)	Geography.kif 3118-3118	Environmental modification convention is an instance of agreement
s__instance(s__Agreement,s__SetOrClass) s__instance(s__HazardousWastesConvention,s__Agreement)	Geography.kif 3125-3125	Hazardous wastes convention is an instance of agreement
s__instance(s__LawOfTheSeaConvention,s__Agreement) s__instance(s__Agreement,s__SetOrClass)	Geography.kif 3133-3133	Law of the sea convention is an instance of agreement
s__instance(s__MarineDumpingConvention,s__Agreement) s__instance(s__Agreement,s__SetOrClass)	Geography.kif 3140-3140	Marine dumping convention is an instance of agreement
s__instance(s__MarineLifeConservationConvention,s__Agreement) s__instance(s__Agreement,s__SetOrClass)	Geography.kif 3148-3148	Marine life conservation convention is an instance of agreement
s__instance(s__NuclearTestBanTreaty,s__Agreement) s__instance(s__Agreement,s__SetOrClass)	Geography.kif 3155-3155	Nuclear test ban treaty is an instance of agreement
s__instance(s__OzoneLayerProtectionProtocol,s__Agreement) s__instance(s__Agreement,s__SetOrClass)	Geography.kif 3162-3162	Ozone layer protection protocol is an instance of agreement
s__instance(s__ShipPollutionProtocol,s__Agreement) s__instance(s__Agreement,s__SetOrClass)	Geography.kif 3170-3170	Ship pollution protocol is an instance of agreement
s__instance(s__Agreement,s__SetOrClass) s__instance(s__TropicalTimber83Agreement,s__Agreement)	Geography.kif 3178-3178	Tropical timber83 agreement is an instance of agreement
s__instance(s__Agreement,s__SetOrClass) s__instance(s__TropicalTimber94Agreement,s__Agreement)	Geography.kif 3184-3184	Tropical timber94 agreement is an instance of agreement

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

s__domain(s__AgreementOrganizationFn__m,n__1,s__Agreement)	Geography.kif 2937-2937	The number 1 argument of agreement organization is an instance of agreement
s__domain(s__agreementClause__m,n__3,s__Agreement)	Mid-level-ontology.kif 12434-12434	The number 3 argument of agreement clause is an instance of agreement
s__domain(s__agreementEffectiveDate__m,n__1,s__Agreement)	Mid-level-ontology.kif 12389-12389	The number 1 argument of agreement effective date is an instance of agreement
s__domain(s__agreementExpirationDate__m,n__1,s__Agreement)	Mid-level-ontology.kif 12414-12414	The number 1 argument of expiration date is an instance of agreement
s__domain(s__agreementPeriod__m,n__1,s__Agreement)	Mid-level-ontology.kif 12375-12375	The number 1 argument of agreement period is an instance of agreement
s__domain(s__contractedRentalPrice__m,n__3,s__Agreement)	Catalog.kif 494-494	The number 3 argument of contracted rental price is an instance of agreement
s__domain(s__negotiatedPrice__m,n__3,s__Agreement)	Catalog.kif 266-266	The number 3 argument of negotiatedPrice is an instance of agreement
s__domain(s__optionHolder__m,n__1,s__Agreement)	FinancialOntology.kif 2527-2527	The number 1 argument of option holder is an instance of agreement
s__domain(s__optionSeller__m,n__1,s__Agreement)	FinancialOntology.kif 2540-2540	The number 1 argument of option seller is an instance of agreement
s__domain(s__partyToAgreement__m,n__2,s__Agreement)	Mid-level-ontology.kif 12364-12364	The number 2 argument of party to agreement is an instance of agreement
s__domain(s__premium__m,n__1,s__Agreement)	FinancialOntology.kif 2662-2662	The number 1 argument of premium is an instance of agreement
s__domain(s__recordForAgreement__m,n__2,s__Agreement)	Law.kif 550-550	The number 2 argument of recordForAgreement is an instance of agreement
s__domain(s__underlier__m,n__1,s__Agreement)	FinancialOntology.kif 2679-2679	The number 1 argument of underlier is an instance of agreement
s__domain(s__unratifiedSignatoryToAgreement__m,n__2,s__Agreement)	Geography.kif 2986-2986	The number 2 argument of unratified signatory to agreement is an instance of agreement

antecedent

No TPTP formula. May not be expressible in strict first order.	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 the entity is a party to agreement of the agent holds during after the time of existence of the process
( ! [V__AGREEMENT] : ((s__instance(V__AGREEMENT,s__Agreement) => (( ? [V__AGENT1, V__AGENT2] : ((s__instance(V__AGENT1,s__CognitiveAgent) & s__instance(V__AGENT2,s__CognitiveAgent) & (s__partyToAgreement(V__AGENT1,V__AGREEMENT) & s__partyToAgreement(V__AGENT2,V__AGREEMENT) & ~((V__AGENT1 = V__AGENT2)))))))) ) )	Mid-level-ontology.kif 12337-12343	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 the cognitive agent is not equal to the other cognitive agent
( ! [V__COMPACT] : ((s__instance(V__COMPACT,s__Agreement) => (( ? [V__COMM] : ((s__instance(V__COMM,s__Committing) & s__represents(V__COMM,V__COMPACT)))))) ) )	Mid-level-ontology.kif 12330-12335	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

( ! [V__RA] : ((s__instance(V__RA,s__ReachingAgreement) => (( ? [V__PROP] : ((s__instance(V__PROP,s__Agreement) & s__result(V__RA,V__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
( ! [V__SIGNING] : ((s__instance(V__SIGNING,s__SigningAnAgreement) => (( ? [V__DOC, V__TERMS] : ((s__instance(V__DOC,s__LinguisticExpression) & s__instance(V__TERMS,s__Agreement) & s__containsInformation(V__DOC,V__TERMS) & s__patient(V__SIGNING,V__DOC)))))) ) )	Geography.kif 3006-3013	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
( ! [V__AGREEMENT] : ((s__property(V__AGREEMENT,s__ActiveAgreement) => (s__instance(V__AGREEMENT,s__Agreement))) ) )	Mid-level-ontology.kif 12478-12480	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

KB Term:			Term intersection

English Word: