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

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


(instance AirPollutionConvention Agreement) Geography.kif 3296-3296
(instance AirPollution_NitrogenOxidesProtocol Agreement) Geography.kif 3302-3302
(instance AirPollution_PeristentOrganicPollutantsProtocol Agreement) Geography.kif 3308-3308
(instance AirPollution_Sulphur85Protocol Agreement) Geography.kif 3313-3313
(instance AirPollution_Sulphur94Protocol Agreement) Geography.kif 3319-3319
(instance AirPollution_VolatileOrganicCompoundsProtocol Agreement) Geography.kif 3324-3324
(instance AntarcticSealsConvention Agreement) Geography.kif 3342-3342
(instance AntarcticTreaty Agreement) Geography.kif 3348-3348
(instance Antarctic_EnvironmentalProtocol Agreement) Geography.kif 3330-3330
(instance Antarctic_MarineLivingResourcesConvention Agreement) Geography.kif 3335-3335
(instance BiodiversityConvention Agreement) Geography.kif 3362-3362
(instance ClimateChangeConvention Agreement) Geography.kif 3366-3366
(instance ClimateChange_KyotoProtocol Agreement) Geography.kif 3372-3372
(instance DesertificationConvention Agreement) Geography.kif 3380-3380
(instance EndangeredSpeciesConvention Agreement) Geography.kif 3387-3387
(instance EnvironmentalModificationConvention Agreement) Geography.kif 3395-3395
(instance HazardousWastesConvention Agreement) Geography.kif 3402-3402
(instance LawOfTheSeaConvention Agreement) Geography.kif 3410-3410
(instance MarineDumpingConvention Agreement) Geography.kif 3417-3417
(instance MarineLifeConservationConvention Agreement) Geography.kif 3425-3425
(instance NuclearTestBanTreaty Agreement) Geography.kif 3432-3432
(instance OzoneLayerProtectionProtocol Agreement) Geography.kif 3439-3439
(instance ShipPollutionProtocol Agreement) Geography.kif 3447-3447
(instance TropicalTimber83Agreement Agreement) Geography.kif 3455-3455
(instance TropicalTimber94Agreement Agreement) Geography.kif 3461-3461

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 3214-3214
(domain agreementClause 3 Agreement) Mid-level-ontology.kif 15440-15440
(domain agreementEffectiveDate 1 Agreement) Mid-level-ontology.kif 15395-15395
(domain agreementExpirationDate 1 Agreement) Mid-level-ontology.kif 15420-15420
(domain agreementPeriod 1 Agreement) Mid-level-ontology.kif 15381-15381
(domain contractedRentalPrice 3 Agreement) Catalog.kif 503-503
(domain negotiatedPrice 3 Agreement) Catalog.kif 271-271
(domain optionHolder 1 Agreement) FinancialOntology.kif 2603-2603
(domain optionSeller 1 Agreement) FinancialOntology.kif 2616-2616
(domain partyToAgreement 2 Agreement) Mid-level-ontology.kif 15370-15370
(domain premium 1 Agreement) FinancialOntology.kif 2738-2738
(domain recordForAgreement 2 Agreement) Law.kif 508-508
(domain underlier 1 Agreement) FinancialOntology.kif 2756-2756
(domain unratifiedSignatoryToAgreement 2 Agreement) Geography.kif 3263-3263

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 3283-3290
(=>
    (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