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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Obligation
Obligation

VerbNet: appoint-29.1|adopt, appoint-29.1|adopt, withdraw-82|back_off, withdraw-82|back_off, withdraw-82|back_off, withdraw-82|back_off, enforce-63|impose, enforce-63|impose, keep-15.2|keep, keep-15.2|keep, future_having-13.3|owe, withdraw-82|back_off, appoint-29.1|adopt, appoint-29.1|adopt,


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


(documentation Obligation ChineseLanguage "这个 Attribute 是用来表示某种权威要求 Agent 去 实现 Proposition。") chinese_format.kif 3907-3908
(documentation Obligation EnglishLanguage "Attribute that applies to Propositions that an Agent is required, by some authority, to make true.") Merge.kif 16147-16148
(instance Obligation DeonticAttribute) Merge.kif 16146-16146 instance Obligation and DeonticAttribute

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


(subAttribute Law Obligation) Merge.kif 16158-16158 subAttribute Law and Obligation
(subAttribute Promise Obligation) Merge.kif 16165-16165 subAttribute Promise and Obligation
(termFormat ChineseLanguage Obligation "义务") domainEnglishFormat.kif 41467-41467 termFormat ChineseLanguage, Obligation and "义务"
(termFormat ChineseTraditionalLanguage Obligation "義務") domainEnglishFormat.kif 41466-41466 termFormat ChineseTraditionalLanguage, Obligation and "義務"
(termFormat EnglishLanguage Obligation "obligation") domainEnglishFormat.kif 41465-41465 termFormat EnglishLanguage, Obligation and "obligation"

antecedent
-------------------------


(<=>
    (modalAttribute ?FORMULA Obligation)
    (not
        (modalAttribute
            (not ?FORMULA) Permission)))		 Merge.kif 16150-16152 modalAttribute Formula and Obligation modalAttribute Formula and Permission
(=>
    (and
        (agreementClause ?PROP ?ATTR ?AGREEMENT ?AGENT)
        (or
            (equal ?ATTR Obligation)
            (equal ?ATTR Promise)))
    (modalAttribute
        (exists (?PROC)
            (and
                (realization ?PROC ?PROP)
                (agent ?PROC ?AGENT))) Likely))		 Mid-level-ontology.kif 11687-11697
(=>
    (confersNorm ?E ?F Obligation)
    (confersNorm ?E ?F Permission))		 Law.kif 380-382
(=>
    (modalAttribute ?FORMULA Obligation)
    (modalAttribute ?FORMULA Permission))		 Merge.kif 16154-16156

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


(=>
    (and
        (attribute ?H Muslim)
        (equal
            (WealthFn ?H) ?W))
    (modalAttribute
        (exists (?Z ?T)
            (and
                (instance ?Z Zakat)
                (instance ?Y Year)
                (during ?Y
                    (WhenFn ?H))
                (holdsDuring ?Y
                    (attribute ?H FullyFormed))
                (agent ?Z ?H)
                (patient ?Z ?T)
                (monetaryValue ?T ?C)
                (greaterThan ?C
                    (MultiplicationFn ?W 0.025)))) Obligation))		 ArabicCulture.kif 193-210
(=>
    (and
        (attribute ?P Muslim)
        (capability Hajj agent ?P))
    (modalAttribute
        (exists (?H)
            (and
                (instance ?H Hajj)
                (agent ?H ?P))) Obligation))		 ArabicCulture.kif 125-134
(=>
    (and
        (instance ?ORDER Ordering)
        (patient ?ORDER ?FORMULA))
    (modalAttribute ?FORMULA Obligation))		 Merge.kif 12120-12124
(=>
    (and
        (negotiatedPrice ?ENT ?PRICE ?AGREE)
        (partyToAgreement ?SELLER ?AGREE)
        (partyToAgreement ?BUYER ?AGREE))
    (exists (?B)
        (agreementClause
            (=>
                (and
                    (instance ?B Buying)
                    (patient ?B ?ITEM)
                    (immediateInstance ?ITEM ?ENT)
                    (agent ?B ?BUYER)
                    (origin ?B ?SELLER))
                (transactionAmount ?B ?PRICE)) Obligation ?AGREE ?SELLER)))		 Catalog.kif 295-309
(=>
    (contractedRentalPrice ?OBJ ?QUANT ?AGREE)
    (exists (?SELLER ?CUSTOMER)
        (and
            (partyToAgreement ?SELLER ?AGREE)
            (partyToAgreement ?CUSTOMER ?AGREE)
            (modalAttribute
                (exists (?R)
                    (and
                        (instance ?R Renting)
                        (patient ?R ?OBJ)
                        (agent ?R ?SELLER)
                        (destination ?R ?CUSTOMER))) Obligation))))		 Catalog.kif 493-505
(=>
    (deprivesNorm ?E ?F Permission)
    (deprivesNorm ?E ?F Obligation))		 Law.kif 388-390
(=>
    (dressCode ?CODE ?AGENT)
    (modalAttribute
        (and
            (subjectiveAttribute ?OUTFIT ?CODE ?AGENT)
            (instance ?OUTFIT Outfit)
            (customer ?CUST ?AGENT)
            (holdsDuring
                (WhenFn
                    (located ?CUST ?AGENT))
                (forall (?ITEM)
                    (=>
                        (member ?ITEM ?OUTFIT)
                        (wears ?CUST ?ITEM))))) Obligation))		 Dining.kif 462-473
(=>
    (instance ?CONST Constitution)
    (exists (?FORMULA ?PART)
        (and
            (instance ?FORMULA Formula)
            (containsInformation ?FORMULA ?PART)
            (instance ?PART Proposition)
            (subProposition ?PART ?CONST)
            (modalAttribute ?FORMULA Obligation))))		 Government.kif 640-648
(=>
    (property ?AGREEMENT ActiveAgreement)
    (modalAttribute
        (exists (?PROC)
            (realization ?PROC ?AGREEMENT)) Obligation))		 Mid-level-ontology.kif 11725-11729


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners