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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Obligation

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。") 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 16868-16869
(instance Obligation DeonticAttribute) Merge.kif 16867-16867 Obligation is an instance of deontic attribute

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


(subAttribute Law Obligation) Merge.kif 16879-16879 Law is a subattribute of obligation
(subAttribute Promise Obligation) Merge.kif 16886-16886 Promise is a subattribute of obligation
(termFormat ChineseLanguage Obligation "义务") domainEnglishFormat.kif 41533-41533
(termFormat ChineseTraditionalLanguage Obligation "義務") domainEnglishFormat.kif 41532-41532
(termFormat EnglishLanguage Obligation "obligation") domainEnglishFormat.kif 41531-41531

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


(<=>
    (modalAttribute ?FORMULA Obligation)
    (not
        (modalAttribute
            (not ?FORMULA) Permission)))
Merge.kif 16871-16873 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 13518-13528
(=>
    (confersNorm ?E ?F Obligation)
    (confersNorm ?E ?F Permission))
Law.kif 382-384
(=>
    (modalAttribute ?FORMULA Obligation)
    (modalAttribute ?FORMULA Permission))
Merge.kif 16875-16877

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


(=>
    (and
        (attribute ?H Muslim)
        (equal
            (WealthFn ?H) ?W))
    (modalAttribute
        (exists (?Z ?T ?U)
            (and
                (instance ?Z Zakat)
                (instance ?Y Year)
                (during ?Y
                    (WhenFn ?H))
                (holdsDuring ?Y
                    (attribute ?H FullyFormed))
                (agent ?Z ?H)
                (patient ?Z ?T)
                (monetaryValue ?T
                    (MeasureFn ?C ?U))
                (instance ?U UnitOfCurrency)
                (greaterThan ?C
                    (MultiplicationFn ?W 0.025)))) Obligation))
ArabicCulture.kif 193-212
(=>
    (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 12614-12618
(=>
    (and
        (negotiatedPrice ?ENT ?PRICE ?AGREE)
        (partyToAgreement ?SELLER ?AGREE)
        (partyToAgreement ?BUYER ?AGREE)
        (subclass ?ENT Physical))
    (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 304-319
(=>
    (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 508-520
(=>
    (deprivesNorm ?E ?F Permission)
    (deprivesNorm ?E ?F Obligation))
Law.kif 390-392
(=>
    (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 13556-13560


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