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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 13958-13962
(subclass Agreement Proposition) Mid-level-ontology.kif 13957-13957 子類 協議 and Proposition

appearance as argument number 2

(instance AirPollution-NitrogenOxidesProtocol Agreement) Geography.kif 3144-3144 空氣污染 - 氮氧化物協議 and 協議
(instance AirPollution-PeristentOrganicPollutantsProtocol Agreement) Geography.kif 3150-3150 空氣污染 - 持久性有機污染物協議 and 協議
(instance AirPollution-Sulphur85Protocol Agreement) Geography.kif 3155-3155 空氣污染 - sulphur85協議 and 協議
(instance AirPollution-Sulphur94Protocol Agreement) Geography.kif 3161-3161 空氣污染- sulphur94協議 and 協議
(instance AirPollution-VolatileOrganicCompoundsProtocol Agreement) Geography.kif 3166-3166 空氣污染 - 揮發性有機化合物協議 and 協議
(instance AirPollutionConvention Agreement) Geography.kif 3138-3138 空氣污染公約 and 協議
(instance Antarctic-EnvironmentalProtocol Agreement) Geography.kif 3172-3172 南極洲 - 環境協議 and 協議
(instance Antarctic-MarineLivingResourcesConvention Agreement) Geography.kif 3177-3177 南極洲 - 海洋生物資源公約 and 協議
(instance AntarcticSealsConvention Agreement) Geography.kif 3184-3184 南極海豹公約 and 協議
(instance AntarcticTreaty Agreement) Geography.kif 3190-3190 南極條約 and 協議
(instance BiodiversityConvention Agreement) Geography.kif 3204-3204 生物多樣性公約 and 協議
(instance ClimateChange-KyotoProtocol Agreement) Geography.kif 3214-3214 氣候變化- 京都協議 and 協議
(instance ClimateChangeConvention Agreement) Geography.kif 3208-3208 氣候變化公約 and 協議
(instance DesertificationConvention Agreement) Geography.kif 3222-3222 荒漠化公約 and 協議
(instance EndangeredSpeciesConvention Agreement) Geography.kif 3229-3229 瀕危物種公約 and 協議
(instance EnvironmentalModificationConvention Agreement) Geography.kif 3237-3237 環境修改公約 and 協議
(instance HazardousWastesConvention Agreement) Geography.kif 3244-3244 危險廢物公約 and 協議
(instance LawOfTheSeaConvention Agreement) Geography.kif 3252-3252 海洋法公約 and 協議
(instance MarineDumpingConvention Agreement) Geography.kif 3259-3259 海洋傾倒公約 and 協議
(instance MarineLifeConservationConvention Agreement) Geography.kif 3267-3267 海洋生物保護公約 and 協議
(instance NuclearTestBanTreaty Agreement) Geography.kif 3274-3274 核試驗禁令條約 and 協議
(instance OzoneLayerProtectionProtocol Agreement) Geography.kif 3281-3281 臭氧層保護協議 and 協議
(instance ShipPollutionProtocol Agreement) Geography.kif 3289-3289 船舶污染協議 and 協議
(instance TropicalTimber83Agreement Agreement) Geography.kif 3297-3297 熱帶木材83協議 and 協議
(instance TropicalTimber94Agreement Agreement) Geography.kif 3303-3303 熱帶木材94協議 and 協議

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 3056-3056 協議組織, 1 and 協議
(domain agreementClause 3 Agreement) Mid-level-ontology.kif 14069-14069 agreementClause, 3 and 協議
(domain agreementEffectiveDate 1 Agreement) Mid-level-ontology.kif 14024-14024 協議生效日期, 1 and 協議
(domain agreementExpirationDate 1 Agreement) Mid-level-ontology.kif 14049-14049 截止日期, 1 and 協議
(domain agreementPeriod 1 Agreement) Mid-level-ontology.kif 14010-14010 協議期限, 1 and 協議
(domain contractedRentalPrice 3 Agreement) Catalog.kif 503-503 contractedRentalPrice, 3 and 協議
(domain negotiatedPrice 3 Agreement) Catalog.kif 271-271 negotiatedPrice, 3 and 協議
(domain optionHolder 1 Agreement) FinancialOntology.kif 2586-2586 期權持有人, 1 and 協議
(domain optionSeller 1 Agreement) FinancialOntology.kif 2599-2599 期權賣方, 1 and 協議
(domain partyToAgreement 2 Agreement) Mid-level-ontology.kif 13999-13999 協議的一方, 2 and 協議
(domain premium 1 Agreement) FinancialOntology.kif 2721-2721 額外費用, 1 and 協議
(domain recordForAgreement 2 Agreement) Law.kif 502-502 recordForAgreement, 2 and 協議
(domain underlier 1 Agreement) FinancialOntology.kif 2739-2739 底層證券, 1 and 協議
(domain unratifiedSignatoryToAgreement 2 Agreement) Geography.kif 3105-3105 未經批准的簽署協議, 2 and 協議


        (instance ?RA ReachingAgreement)
        (agent ?RA ?AGENT)
        (result ?RA ?PROP)
        (instance ?PROP Agreement))
            (WhenFn ?RA))
        (partyToAgreement ?AGENT ?PROP)))
Media.kif 153-160
    (instance ?AGREEMENT Agreement)
    (exists (?AGENT1 ?AGENT2)
            (partyToAgreement ?AGENT1 ?AGREEMENT)
            (partyToAgreement ?AGENT2 ?AGREEMENT)
                (equal ?AGENT1 ?AGENT2)))))
Mid-level-ontology.kif 13972-13978
    (instance ?COMPACT Agreement)
    (exists (?COMM)
            (instance ?COMM Committing)
            (represents ?COMM ?COMPACT))))
Mid-level-ontology.kif 13965-13970


    (instance ?RA ReachingAgreement)
    (exists (?PROP)
            (instance ?PROP Agreement)
            (result ?RA ?PROP))))
Media.kif 146-151
    (instance ?SIGNING SigningAnAgreement)
    (exists (?DOC ?TERMS)
            (instance ?DOC LinguisticExpression)
            (instance ?TERMS Agreement)
            (containsInformation ?DOC ?TERMS)
            (patient ?SIGNING ?DOC))))
Geography.kif 3125-3132
    (property ?AGREEMENT ActiveAgreement)
    (instance ?AGREEMENT Agreement))
Mid-level-ontology.kif 14113-14115

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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