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。") chinese_format.kif 3907-3908
(documentation Obligation EnglishLanguage "Attribute that applies to Propositions that an AutonomousAgent is required, by some authority, to make true.") Merge.kif 17547-17548
(instance Obligation DeonticAttribute) Merge.kif 17546-17546 Obligation is an instance of deontic attribute

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


(subAttribute Law Obligation) Merge.kif 17558-17558 Law is a subattribute of obligation
(subAttribute Promise Obligation) Merge.kif 17565-17565 Promise is a subattribute of obligation
(termFormat ChineseLanguage Obligation "义务") domainEnglishFormat.kif 41586-41586 Promise is a subattribute of obligation
(termFormat ChineseTraditionalLanguage Obligation "義務") domainEnglishFormat.kif 41585-41585 Promise is a subattribute of obligation
(termFormat EnglishLanguage Obligation "obligation") domainEnglishFormat.kif 41584-41584 Promise is a subattribute of obligation

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


(<=>
    (modalAttribute ?FORMULA Obligation)
    (not
        (modalAttribute
            (not ?FORMULA) Permission)))		 Merge.kif 17550-17552 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 14297-14307
(=>
    (confersNorm ?E ?F Obligation)
    (confersNorm ?E ?F Permission))		 Law.kif 339-341
(=>
    (modalAttribute ?FORMULA Obligation)
    (modalAttribute ?FORMULA Permission))		 Merge.kif 17554-17556

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


(=>
    (and
        (attribute ?H Muslim)
        (equal
            (WealthFn ?H) ?W))
    (modalAttribute
        (exists (?Z ?T ?U ?Y ?C)
            (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 204-223
(=>
    (and
        (attribute ?P Muslim)
        (capability Hajj agent ?P))
    (modalAttribute
        (exists (?H)
            (and
                (instance ?H Hajj)
                (agent ?H ?P))) Obligation))		 ArabicCulture.kif 134-143
(=>
    (and
        (instance ?E Entering)
        (destination ?E ?F)
        (attribute ?F PhysicallyRestrictedRegion))
    (modalAttribute
        (exists (?R)
            (and
                (entrance ?R ?F)
                (path ?E ?R))) Obligation))		 Mid-level-ontology.kif 6907-6916
(=>
    (and
        (instance ?E Exiting)
        (origin ?E ?F)
        (attribute ?F PhysicallyRestrictedRegion))
    (modalAttribute
        (exists (?R)
            (and
                (entrance ?R ?F)
                (path ?E ?R))) Obligation))		 Mid-level-ontology.kif 6928-6937
(=>
    (and
        (instance ?ORDER Ordering)
        (patient ?ORDER ?FORMULA))
    (modalAttribute ?FORMULA Obligation))		 Merge.kif 13234-13238
(=>
    (and
        (negotiatedPrice ?ENT ?PRICE ?AGREE)
        (partyToAgreement ?SELLER ?AGREE)
        (partyToAgreement ?BUYER ?AGREE))
    (agreementClause
        (exists (?B ?ITEM)
            (and
                (instance ?B Buying)
                (patient ?B ?ITEM)
                (immediateInstance ?ITEM ?ENT)
                (agent ?B ?BUYER)
                (origin ?B ?SELLER)
                (transactionAmount ?B ?PRICE))) Obligation ?AGREE ?SELLER))		 Catalog.kif 311-324
(=>
    (contractedRentalPrice ?OBJ ?QUANT ?AGREE)
    (exists (?SELLER ?CUSTOMER)
        (and
            (partyToAgreement ?SELLER ?AGREE)
            (partyToAgreement ?CUSTOMER ?AGREE)
            (modalAttribute
                (exists (?R ?O)
                    (and
                        (instance ?R Renting)
                        (instance ?O ?OBJ)
                        (patient ?R ?O)
                        (agent ?R ?SELLER)
                        (destination ?R ?CUSTOMER))) Obligation))))		 Catalog.kif 513-526
(=>
    (deprivesNorm ?E ?F Permission)
    (deprivesNorm ?E ?F Obligation))		 Law.kif 347-349
(=>
    (dressCode ?CODE ?AGENT)
    (modalAttribute
        (exists (?OUTFIT ?T)
            (and
                (instance ?OUTFIT Outfit)
                (subjectiveAttribute ?OUTFIT ?CODE ?AGENT)
                (holdsDuring ?T
                    (forall (?CUST ?ITEM)
                        (and
                            (customer ?CUST ?AGENT)
                            (locatedAtTime ?CUST ?T ?AGENT)
                            (member ?ITEM ?OUTFIT)
                            (wears ?CUST ?ITEM)))))) Obligation))		 Dining.kif 492-505
(=>
    (instance ?CONST Constitution)
    (exists (?FORMULA ?PART)
        (and
            (instance ?FORMULA Formula)
            (containsInformation ?FORMULA ?PART)
            (instance ?PART Proposition)
            (subProposition ?PART ?CONST)
            (modalAttribute ?FORMULA Obligation))))		 Government.kif 617-625
(=>
    (property ?AGREEMENT ActiveAgreement)
    (modalAttribute
        (exists (?PROC)
            (realization ?PROC ?AGREEMENT)) Obligation))		 Mid-level-ontology.kif 14335-14339


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