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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - holdsObligation
holdsObligation

appearance as argument number 1
-------------------------


(documentation holdsObligation ChineseLanguage "这是用来表达 Formula 和 CognitiveAgent 两者之间的一种关系，那就是 CognitiveAgent 有义务去实现 Formula 所指的。") chinese_format.kif 3898-3899
(documentation holdsObligation EnglishLanguage "Expresses a relationship between a Formula and a CognitiveAgent whereby the CognitiveAgent has the obligation to bring it about that the Formula is true.") Merge.kif 17189-17191
(domain holdsObligation 1 Formula) Merge.kif 17186-17186 The number 1 argument of holds obligation is an instance of formula
(domain holdsObligation 2 CognitiveAgent) Merge.kif 17187-17187 The number 2 argument of holds obligation is an instance of cognitive agent
(instance holdsObligation AsymmetricRelation) Merge.kif 17185-17185 holds obligation is an instance of asymmetric relation
(instance holdsObligation BinaryPredicate) Merge.kif 17184-17184 holds obligation is an instance of binary predicate
(relatedInternalConcept holdsObligation holdsRight) Merge.kif 17188-17188 holds obligation is internally related to holds right

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


(format ChineseLanguage holdsObligation "%2 %n 有义务执行 %1 的任务") chinese_format.kif 213-213
(format EnglishLanguage holdsObligation "%2 is %n obliged to perform tasks of type %1") english_format.kif 214-214
(termFormat ChineseLanguage holdsObligation "持有义务") domainEnglishFormat.kif 28350-28350
(termFormat ChineseLanguage holdsObligation "有执行义务") chinese_format.kif 214-214
(termFormat ChineseTraditionalLanguage holdsObligation "持有義務") domainEnglishFormat.kif 28349-28349
(termFormat EnglishLanguage holdsObligation "holds obligation") domainEnglishFormat.kif 28348-28348

consequent
-------------------------


(=>
    (and
        (agreementEffectiveDate ?AGR ?DATE)
        (confersObligation ?FORMULA ?AGR ?AGENT)
        (instance ?TIME ?DATE))
    (holdsDuring
        (ImmediateFutureFn ?TIME)
        (holdsObligation ?FORMULA ?AGENT)))		 Government.kif 700-705
(=>
    (and
        (instance ?CONST
            (ConstitutionFn ?COUNTRY))
        (instance ?COUNTRY Nation)
        (equal ?GOV
            (GovernmentFn ?COUNTRY))
        (agreementEffectiveDuring ?CONST
            (WhenFn ?GOV))
        (subProposition ?PART ?CONST)
        (containsInformation ?FORMULA ?PART))
    (holdsObligation ?FORMULA ?GOV))		 Government.kif 760-768
(=>
    (and
        (instance ?UNIT SecurityUnit)
        (subOrganization ?UNIT ?ORG))
    (holdsObligation
        (exists (?MAINTAIN)
            (and
                (instance ?MAINTAIN Maintaining)
                (agent ?MAINTAIN ?UNIT)
                (patient ?MAINTAIN ?ORG))) ?UNIT))		 Mid-level-ontology.kif 8129-8139
(=>
    (confersObligation ?FORMULA ?AGENT1 ?AGENT2)
    (holdsObligation ?FORMULA ?AGENT2))		 Merge.kif 17203-17205


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