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 3263-3263 AirPollutionConvention est une instance de Agreement
(instance AirPollution_NitrogenOxidesProtocol Agreement) Geography.kif 3269-3269 AirPollution_NitrogenOxidesProtocol est une instance de Agreement
(instance AirPollution_PeristentOrganicPollutantsProtocol Agreement) Geography.kif 3275-3275 AirPollution_PeristentOrganicPollutantsProtocol est une instance de Agreement
(instance AirPollution_Sulphur85Protocol Agreement) Geography.kif 3280-3280 AirPollution_Sulphur85Protocol est une instance de Agreement
(instance AirPollution_Sulphur94Protocol Agreement) Geography.kif 3286-3286 AirPollution_Sulphur94Protocol est une instance de Agreement
(instance AirPollution_VolatileOrganicCompoundsProtocol Agreement) Geography.kif 3291-3291 AirPollution_VolatileOrganicCompoundsProtocol est une instance de Agreement
(instance AntarcticSealsConvention Agreement) Geography.kif 3309-3309 AntarcticSealsConvention est une instance de Agreement
(instance AntarcticTreaty Agreement) Geography.kif 3315-3315 AntarcticTreaty est une instance de Agreement
(instance Antarctic_EnvironmentalProtocol Agreement) Geography.kif 3297-3297 Antarctic_EnvironmentalProtocol est une instance de Agreement
(instance Antarctic_MarineLivingResourcesConvention Agreement) Geography.kif 3302-3302 Antarctic_MarineLivingResourcesConvention est une instance de Agreement
(instance BiodiversityConvention Agreement) Geography.kif 3329-3329 BiodiversityConvention est une instance de Agreement
(instance ClimateChangeConvention Agreement) Geography.kif 3333-3333 ClimateChangeConvention est une instance de Agreement
(instance ClimateChange_KyotoProtocol Agreement) Geography.kif 3339-3339 ClimateChange_KyotoProtocol est une instance de Agreement
(instance DesertificationConvention Agreement) Geography.kif 3347-3347 DesertificationConvention est une instance de Agreement
(instance EndangeredSpeciesConvention Agreement) Geography.kif 3354-3354 EndangeredSpeciesConvention est une instance de Agreement
(instance EnvironmentalModificationConvention Agreement) Geography.kif 3362-3362 EnvironmentalModificationConvention est une instance de Agreement
(instance HazardousWastesConvention Agreement) Geography.kif 3369-3369 HazardousWastesConvention est une instance de Agreement
(instance LawOfTheSeaConvention Agreement) Geography.kif 3377-3377 LawOfTheSeaConvention est une instance de Agreement
(instance MarineDumpingConvention Agreement) Geography.kif 3384-3384 MarineDumpingConvention est une instance de Agreement
(instance MarineLifeConservationConvention Agreement) Geography.kif 3392-3392 MarineLifeConservationConvention est une instance de Agreement
(instance NuclearTestBanTreaty Agreement) Geography.kif 3399-3399 NuclearTestBanTreaty est une instance de Agreement
(instance OzoneLayerProtectionProtocol Agreement) Geography.kif 3406-3406 OzoneLayerProtectionProtocol est une instance de Agreement
(instance ShipPollutionProtocol Agreement) Geography.kif 3414-3414 ShipPollutionProtocol est une instance de Agreement
(instance TropicalTimber83Agreement Agreement) Geography.kif 3422-3422 TropicalTimber83Agreement est une instance de Agreement
(instance TropicalTimber94Agreement Agreement) Geography.kif 3428-3428 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 3181-3181 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 3230-3230 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 3250-3257
(=>
    (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