Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Agreement
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 15329-15333
(subclass Agreement Proposition) Mid-level-ontology.kif 15328-15328 Agreement est une sous-classe de proposition

appearance as argument number 2
-------------------------


(instance AirPollutionConvention Agreement) Geography.kif 3126-3126 AirPollutionConvention est une instance de Agreement
(instance AirPollution_NitrogenOxidesProtocol Agreement) Geography.kif 3132-3132 AirPollution_NitrogenOxidesProtocol est une instance de Agreement
(instance AirPollution_PeristentOrganicPollutantsProtocol Agreement) Geography.kif 3138-3138 AirPollution_PeristentOrganicPollutantsProtocol est une instance de Agreement
(instance AirPollution_Sulphur85Protocol Agreement) Geography.kif 3143-3143 AirPollution_Sulphur85Protocol est une instance de Agreement
(instance AirPollution_Sulphur94Protocol Agreement) Geography.kif 3149-3149 AirPollution_Sulphur94Protocol est une instance de Agreement
(instance AirPollution_VolatileOrganicCompoundsProtocol Agreement) Geography.kif 3154-3154 AirPollution_VolatileOrganicCompoundsProtocol est une instance de Agreement
(instance AntarcticSealsConvention Agreement) Geography.kif 3172-3172 AntarcticSealsConvention est une instance de Agreement
(instance AntarcticTreaty Agreement) Geography.kif 3178-3178 AntarcticTreaty est une instance de Agreement
(instance Antarctic_EnvironmentalProtocol Agreement) Geography.kif 3160-3160 Antarctic_EnvironmentalProtocol est une instance de Agreement
(instance Antarctic_MarineLivingResourcesConvention Agreement) Geography.kif 3165-3165 Antarctic_MarineLivingResourcesConvention est une instance de Agreement
(instance BiodiversityConvention Agreement) Geography.kif 3192-3192 BiodiversityConvention est une instance de Agreement
(instance ClimateChangeConvention Agreement) Geography.kif 3196-3196 ClimateChangeConvention est une instance de Agreement
(instance ClimateChange_KyotoProtocol Agreement) Geography.kif 3202-3202 ClimateChange_KyotoProtocol est une instance de Agreement
(instance DesertificationConvention Agreement) Geography.kif 3210-3210 DesertificationConvention est une instance de Agreement
(instance EndangeredSpeciesConvention Agreement) Geography.kif 3217-3217 EndangeredSpeciesConvention est une instance de Agreement
(instance EnvironmentalModificationConvention Agreement) Geography.kif 3225-3225 EnvironmentalModificationConvention est une instance de Agreement
(instance HazardousWastesConvention Agreement) Geography.kif 3232-3232 HazardousWastesConvention est une instance de Agreement
(instance LawOfTheSeaConvention Agreement) Geography.kif 3240-3240 LawOfTheSeaConvention est une instance de Agreement
(instance MarineDumpingConvention Agreement) Geography.kif 3247-3247 MarineDumpingConvention est une instance de Agreement
(instance MarineLifeConservationConvention Agreement) Geography.kif 3255-3255 MarineLifeConservationConvention est une instance de Agreement
(instance NuclearTestBanTreaty Agreement) Geography.kif 3262-3262 NuclearTestBanTreaty est une instance de Agreement
(instance OzoneLayerProtectionProtocol Agreement) Geography.kif 3269-3269 OzoneLayerProtectionProtocol est une instance de Agreement
(instance ShipPollutionProtocol Agreement) Geography.kif 3277-3277 ShipPollutionProtocol est une instance de Agreement
(instance TropicalTimber83Agreement Agreement) Geography.kif 3285-3285 TropicalTimber83Agreement est une instance de Agreement
(instance TropicalTimber94Agreement Agreement) Geography.kif 3291-3291 TropicalTimber94Agreement est une instance de Agreement

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


(domain AgreementOrganizationFn 1 Agreement) Geography.kif 3044-3044 Le nombre 1 argument de AgreementOrganizationFn est une instance de Agreement
(domain agreementClause 3 Agreement) Mid-level-ontology.kif 15440-15440 Le nombre 3 argument de agreementClause est une instance de Agreement
(domain agreementEffectiveDate 1 Agreement) Mid-level-ontology.kif 15395-15395 Le nombre 1 argument de agreementEffectiveDate est une instance de Agreement
(domain agreementExpirationDate 1 Agreement) Mid-level-ontology.kif 15420-15420 Le nombre 1 argument de agreementExpirationDate est une instance de Agreement
(domain agreementPeriod 1 Agreement) Mid-level-ontology.kif 15381-15381 Le nombre 1 argument de agreementPeriod est une instance de Agreement
(domain contractedRentalPrice 3 Agreement) Catalog.kif 503-503 Le nombre 3 argument de contractedRentalPrice est une instance de Agreement
(domain negotiatedPrice 3 Agreement) Catalog.kif 271-271 Le nombre 3 argument de negotiatedPrice est une instance de Agreement
(domain optionHolder 1 Agreement) FinancialOntology.kif 2603-2603 Le nombre 1 argument de optionHolder est une instance de Agreement
(domain optionSeller 1 Agreement) FinancialOntology.kif 2616-2616 Le nombre 1 argument de optionSeller est une instance de Agreement
(domain partyToAgreement 2 Agreement) Mid-level-ontology.kif 15370-15370 Le nombre 2 argument de partyToAgreement est une instance de Agreement
(domain premium 1 Agreement) FinancialOntology.kif 2738-2738 Le nombre 1 argument de premium est une instance de Agreement
(domain recordForAgreement 2 Agreement) Law.kif 508-508 Le nombre 2 argument de recordForAgreement est une instance de Agreement
(domain underlier 1 Agreement) FinancialOntology.kif 2756-2756 Le nombre 1 argument de underlier est une instance de Agreement
(domain unratifiedSignatoryToAgreement 2 Agreement) Geography.kif 3093-3093 Le nombre 2 argument de unratifiedSignatoryToAgreement est une instance de 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
(=>
    (instance ?AGREEMENT Agreement)
    (exists (?AGENT1 ?AGENT2)
        (and
            (partyToAgreement ?AGENT1 ?AGREEMENT)
            (partyToAgreement ?AGENT2 ?AGREEMENT)
            (not
                (equal ?AGENT1 ?AGENT2)))))
Mid-level-ontology.kif 15343-15349
(=>
    (instance ?COMPACT Agreement)
    (exists (?COMM)
        (and
            (instance ?COMM Committing)
            (represents ?COMM ?COMPACT))))
Mid-level-ontology.kif 15336-15341

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 3113-3120
(=>
    (property ?AGREEMENT ActiveAgreement)
    (instance ?AGREEMENT Agreement))
Mid-level-ontology.kif 15484-15486


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