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命題subclass では

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


(instance AirPollutionConvention Agreement) Geography.kif 3263-3263 AirPollutionConventionAgreementinstance では
(instance AirPollution_NitrogenOxidesProtocol Agreement) Geography.kif 3269-3269 AirPollution_NitrogenOxidesProtocolAgreementinstance では
(instance AirPollution_PeristentOrganicPollutantsProtocol Agreement) Geography.kif 3275-3275 AirPollution_PeristentOrganicPollutantsProtocolAgreementinstance では
(instance AirPollution_Sulphur85Protocol Agreement) Geography.kif 3280-3280 AirPollution_Sulphur85ProtocolAgreementinstance では
(instance AirPollution_Sulphur94Protocol Agreement) Geography.kif 3286-3286 AirPollution_Sulphur94ProtocolAgreementinstance では
(instance AirPollution_VolatileOrganicCompoundsProtocol Agreement) Geography.kif 3291-3291 AirPollution_VolatileOrganicCompoundsProtocolAgreementinstance では
(instance AntarcticSealsConvention Agreement) Geography.kif 3309-3309 AntarcticSealsConventionAgreementinstance では
(instance AntarcticTreaty Agreement) Geography.kif 3315-3315 AntarcticTreatyAgreementinstance では
(instance Antarctic_EnvironmentalProtocol Agreement) Geography.kif 3297-3297 Antarctic_EnvironmentalProtocolAgreementinstance では
(instance Antarctic_MarineLivingResourcesConvention Agreement) Geography.kif 3302-3302 Antarctic_MarineLivingResourcesConventionAgreementinstance では
(instance BiodiversityConvention Agreement) Geography.kif 3329-3329 BiodiversityConventionAgreementinstance では
(instance ClimateChangeConvention Agreement) Geography.kif 3333-3333 ClimateChangeConventionAgreementinstance では
(instance ClimateChange_KyotoProtocol Agreement) Geography.kif 3339-3339 ClimateChange_KyotoProtocolAgreementinstance では
(instance DesertificationConvention Agreement) Geography.kif 3347-3347 DesertificationConventionAgreementinstance では
(instance EndangeredSpeciesConvention Agreement) Geography.kif 3354-3354 EndangeredSpeciesConventionAgreementinstance では
(instance EnvironmentalModificationConvention Agreement) Geography.kif 3362-3362 EnvironmentalModificationConventionAgreementinstance では
(instance HazardousWastesConvention Agreement) Geography.kif 3369-3369 HazardousWastesConventionAgreementinstance では
(instance LawOfTheSeaConvention Agreement) Geography.kif 3377-3377 LawOfTheSeaConventionAgreementinstance では
(instance MarineDumpingConvention Agreement) Geography.kif 3384-3384 MarineDumpingConventionAgreementinstance では
(instance MarineLifeConservationConvention Agreement) Geography.kif 3392-3392 MarineLifeConservationConventionAgreementinstance では
(instance NuclearTestBanTreaty Agreement) Geography.kif 3399-3399 NuclearTestBanTreatyAgreementinstance では
(instance OzoneLayerProtectionProtocol Agreement) Geography.kif 3406-3406 OzoneLayerProtectionProtocolAgreementinstance では
(instance ShipPollutionProtocol Agreement) Geography.kif 3414-3414 ShipPollutionProtocolAgreementinstance では
(instance TropicalTimber83Agreement Agreement) Geography.kif 3422-3422 TropicalTimber83AgreementAgreementinstance では
(instance TropicalTimber94Agreement Agreement) Geography.kif 3428-3428 TropicalTimber94AgreementAgreementinstance では

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

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