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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Obligation
Obligation(obligation)Bushido, GIGO, Highway_Code, Miranda_rule, Orleanism, accept, accounting_principle, accounting_standard, adopt, age_limit, artisan's_lien, assize, assume, assurance, automobile_insurance, back_down, back_off, bear, bounden, bow_out, business_interruption_insurance, canon, car_insurance, carry, categorical_imperative, chicken_out, code, code_of_behavior, code_of_conduct, codification, coinsurance, come_upon, compulsory, debt, dictate, drop-off_charge, due, duty, endowment_insurance, enforce, enter_upon, ethic, ethical_code, federal_tax_lien, fire_insurance, game_law, garageman's_lien, general_lien, golden_rule, ground_rule...

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


(documentation Obligation ChineseLanguage "这个 Attribute 是用来表示某种权威要求 Agent 去 实现 Proposition。") Merge.kif 17885-17886
(documentation Obligation EnglishLanguage "Attribute that applies to Propositions that an Agent is required, by some authority, to make true.") Merge.kif 17883-17884
(instance Obligation DeonticAttribute) Merge.kif 17882-17882 Obligation is an instance of deontic attribute

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


(subAttribute Law Obligation) Merge.kif 17896-17896 Law is a subattribute of obligation
(subAttribute Promise Obligation) Merge.kif 17905-17905 Promise is a subattribute of obligation
(termFormat EnglishLanguage Obligation "obligation") domainEnglishFormat.kif 7344-7344 "obligation" is the printable form of obligation in english language

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


(<=>
    (modalAttribute ?FORMULA Obligation)
    (not
        (modalAttribute
            (not ?FORMULA) Permission)))
Merge.kif 17888-17890 The statement a formula has the modal force of obligation if and only if the statement the formula doesn't have the modal force of 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 11682-11692
(=>
    (confersNorm ?E ?F Obligation)
    (confersNorm ?E ?F Permission))
Law.kif 378-380
(=>
    (modalAttribute ?FORMULA Obligation)
    (modalAttribute ?FORMULA Permission))
Merge.kif 17892-17894

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 13155-13159
(=>
    (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 386-388
(=>
    (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 466-477
(=>
    (instance ?CONST Constitution)
    (exists (?FORMULA ?PART)
        (and
            (instance ?FORMULA Formula)
            (containsInformation ?FORMULA ?PART)
            (instance ?PART Proposition)
            (subProposition ?PART ?CONST)
            (modalAttribute ?FORMULA Obligation))))
Government.kif 647-655
(=>
    (property ?AGREEMENT ActiveAgreement)
    (modalAttribute
        (exists (?PROC)
            (realization ?PROC ?AGREEMENT)) Obligation))
Mid-level-ontology.kif 11720-11724


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