Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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
-------------------------


(instance Obligation DeonticAttribute) Merge.kif 17824-17824 Obligation is an instance of deontic attribute
(documentation Obligation EnglishLanguage "Attribute that applies to Propositions that an AutonomousAgent is required, by some authority, to make true.") Merge.kif 17825-17826 Obligation is an instance of deontic attribute

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


(subAttribute Law Obligation) Merge.kif 17836-17836 Law is a subattribute of obligation
(subAttribute Promise Obligation) Merge.kif 17843-17843 Promise is a subattribute of obligation
(termFormat EnglishLanguage Obligation "obligation") domainEnglishFormat.kif 41547-41547 Promise is a subattribute of obligation
(termFormat ChineseTraditionalLanguage Obligation "義務") domainEnglishFormat.kif 41548-41548 Promise is a subattribute of obligation
(termFormat ChineseLanguage Obligation "义务") domainEnglishFormat.kif 41549-41549 Promise is a subattribute of obligation

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


(<=>
    (modalAttribute ?FORMULA Obligation)
    (not
        (modalAttribute
            (not ?FORMULA) Permission)))		 Merge.kif 17828-17830 The statement X has the modal force of obligation if and only if the statement X doesn't have the modal force of permission
(=>
    (modalAttribute ?FORMULA Obligation)
    (modalAttribute ?FORMULA Permission))		 Merge.kif 17832-17834 If the statement X has the modal force of obligation, then the statement X has 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 15680-15690 If X has the responsibility to make Y Z in W and equal Z and obligation or equal Z and promise, then the statement there exists V such that V expresses the content of Y and X is an agent of V has the modal force of likely
(=>
    (confersNorm ?E Obligation ?F)
    (confersNorm ?E Permission ?F))		 Law.kif 320-322 If X confers norm obligation for Y, then X confers norm permission for Y
(=>
    (and
        (instance ?BT BusinessTrip)
        (instance ?AS AccommodationService)
        (subProcess ?AS ?BT)
        (instance ?TP TravelPolicy)
        (agent ?BT ?EMPLOYEE)
        (employs ?COMPANY ?EMPLOYEE)
        (policyOwner ?COMPANY ?TP)
        (policyClause ?PrivRate Obligation ?TP ?COMPANY))
    (exists (?H)
        (and
            (serviceRecipient ?AS ?EMPLOYEE)
            (serviceProvider ?AS ?H)
            (attribute ?H PrivateRate)
            (instance ?H HotelOrganization))))		 TravelPolicies.kif 989-1004 If All of the following hold: (1) X is an instance of BusinessTrip (2) Y is an instance of AccommodationService (3) Y is a subprocess of X (4) Z is an instance of TravelPolicy (5) W is an agent of X (6) V employs W (7) V enacts policy Z (8) policy clause U, obligation, Z and V, then there exists T such that W receives a service during Y, T provides a service during Y, PrivateRate is an attribute of T, and T is an instance of HotelOrganization

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


(=>
    (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 8005-8014 If X is an instance of entering, X ends up at Y, and physically restricted region is an attribute of Y, then the statement there exists Z such that Z is the entrance for Y and Z is path along which X occurs has the modal force of obligation
(=>
    (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 8026-8035 If X is an instance of exiting, X originates at Y, and physically restricted region is an attribute of Y, then the statement there exists Z such that Z is the entrance for Y and Z is path along which X occurs has the modal force of obligation
(=>
    (property ?AGREEMENT ActiveAgreement)
    (modalAttribute
        (exists (?PROC)
            (realization ?PROC ?AGREEMENT)) Obligation))		 Mid-level-ontology.kif 15718-15722 If X the attribute active agreement, then the statement there exists Y such that Y expresses the content of X has the modal force of obligation
(=>
    (and
        (attribute ?P Muslim)
        (capability Hajj agent ?P))
    (modalAttribute
        (exists (?H)
            (and
                (instance ?H Hajj)
                (agent ?H ?P))) Obligation))		 ArabicCulture.kif 134-143 If muslim is an attribute of X and X is capable of doing hajj as a agent, then the statement there exists Y such that Y is an instance of hajj and X is an agent of Y has the modal force of obligation
(=>
    (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 If muslim is an attribute of X and equal value of belongings of X and Y, then the statement there exist Z, W,, , V,, , U and T such that Z is an instance of zakat and U is an instance of year and U takes place during the time of existence of X and fully formed is an attribute of X holds during U and X is an agent of Z and W is a patient of Z and value of W is T V(s) and V is an instance of unit of currency and T is greater than Y and 0.025 has the modal force of obligation
(=>
    (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 If the price negotiated for X in Y is Z, Y is a party to agreement of W, and Y is a party to agreement of V, then All of the following hold: (1) W has the responsibility to make there exist U (2) T such that U is an instance of buying (3) T is a patient of U (4) T is an immediate instance of X (5) V is an agent of U (6) U originates at W (7) Z is a transaction amount of U obligation in Y
(=>
    (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 If X specifies the rental of Y for Z, then All of the following hold: (1) there exist W (2) V such that X is a party to agreement of W (3) X is a party to agreement of V (4) the statement there exist U (5) T such that U is an instance of renting (6) T is an instance of Y (7) T is a patient of U (8) W is an agent of U (9) U ends up at V has the modal force of obligation
(=>
    (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 If X requires customers to wear Y, then All of the following hold: (1) the statement there exist Z (2) W such that Z is an instance of outfit (3) X believes Z is Y (4) V (5) U X is a customer of V (6) V located at time W for X (7) U is a member of Z (8) V wears U holds during W has the modal force of obligation
(=>
    (instance ?CONST Constitution)
    (exists (?FORMULA ?PART)
        (and
            (instance ?FORMULA Formula)
            (containsFormula ?PART ?FORMULA)
            (instance ?PART Proposition)
            (subProposition ?PART ?CONST)
            (modalAttribute ?FORMULA Obligation))))		 Government.kif 617-625 If X is an instance of constitution, then there exist Y, Z such that Y is an instance of formula, Z contains the formula Y, Z is an instance of proposition, Z is a sub-proposition of X, and the statement Y has the modal force of obligation
(=>
    (deprivesNorm ?E Permission ?F)
    (deprivesNorm ?E Obligation ?F))		 Law.kif 328-330 If X deprives norm permission for Y, then X deprives norm obligation for Y
(=>
    (holdsDuring ?T
        (attribute ?A Guilt))
    (or
        (disapproves ?A
            (exists (?P)
                (and
                    (instance ?P Process)
                    (agent ?P ?A)
                    (meetsTemporally
                        (WhenFn ?P) ?T))))
        (disapproves ?A
            (modalAttribute
                (not
                    (exists (?P)
                        (and
                            (instance ?P Process)
                            (agent ?P ?A)
                            (meetsTemporally
                                (WhenFn ?P) ?T)))) Obligation))))		 emotion.kif 1804-1823 If guilt is an attribute of X holds during Y, then there exists Z such that Z is an instance of process, X is an agent of Z, and the time of existence of Z meets Y is a disapproves of X or the statement there doesn't exist Z such that Z is an instance of process, X is an agent of Z, and the time of existence of Z meets Y has the modal force of obligation is a disapproves of X


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners