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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Obligation
Obligation

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


(documentation Obligation ChineseLanguage "这个 Attribute 是用来表示某种权威要求 Agent 去 实现 Proposition。") Merge.kif 17747-17748
(documentation Obligation EnglishLanguage "Attribute that applies to Propositions that an Agent is required, by some authority, to make true.") Merge.kif 17745-17746
(instance Obligation DeonticAttribute) Merge.kif 17744-17744

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


(subAttribute Law Obligation) Merge.kif 17758-17758
(subAttribute Promise Obligation) Merge.kif 17767-17767
(termFormat EnglishLanguage Obligation "obligation") domainEnglishFormat.kif 7345-7345

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


(<=>
    (modalAttribute ?FORMULA Obligation)
    (not
        (modalAttribute
            (not ?FORMULA) Permission)))		 Merge.kif 17750-17752
(=>
    (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 11422-11432
(=>
    (and
        (instance ?BT BusinessTrip)
        (instance ?AS AccommodationService)
        (subProcess ?AS ?BT)
        (instance ?TP TravelPolicy)
        (agent ?BT ?EMPLOYEE)
        (employs ?COMPANY ?EMPLOYEE)
        (policyOwner ?COMPANY ?TP)
        (policyClause ?PrefAccom Obligation ?TP ?COMPANY))
    (exists (?H)
        (and
            (serviceRecipient ?AS ?EMPLOYEE)
            (serviceProvider ?AS ?H)
            (instance ?H Hotel-Organization)
            (subjectiveAttribute ?H Favorite ?ORG))))		 TravelPolicies.kif 869-884
(=>
    (and
        (instance ?BT BusinessTrip)
        (instance ?AS AccommodationService)
        (subProcess ?AS ?BT)
        (instance ?TP TravelPolicy)
        (agent ?BT ?EMPLOYEE)
        (employs ?COMPANY ?EMPLOYEE)
        (policyOwner ?COMPANY ?TP)
        (policyClause ?PrefAccom Obligation ?TP ?COMPANY))
    (exists (?HC)
        (and
            (serviceRecipient ?AS ?EMPLOYEE)
            (serviceProvider ?AS ?HC)
            (instance ?HC HotelChain)
            (subjectiveAttribute ?H Favorite ?ORG))))		 TravelPolicies.kif 887-902
(=>
    (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 Hotel-Organization))))		 TravelPolicies.kif 980-995
(=>
    (and
        (instance ?PC PreferredChain)
        (instance ?ORG Organization)
        (policyOwner ?ORG ?TP)
        (policyClause prefAccomm Obligation ?TP ?ORG))
    (exists (?ORD)
        (and
            (instance ?ORD Ordering)
            (agent ?ORD ?ORG)
            (patient ?ORD ?FORM)
            (containsInformation ?ORD ?FORM)
            (subjectiveAttribute ?PC Favorite ?ORG))))		 TravelPolicies.kif 849-861
(=>
    (and
        (instance ?PH PreferredHotel)
        (instance ?ORG Organization)
        (policyOwner ?ORG ?TP)
        (policyClause prefAccomm Obligation ?TP ?ORG))
    (exists (?ORD)
        (and
            (instance ?ORD Ordering)
            (agent ?ORD ?ORG)
            (patient ?ORD ?FORM)
            (containsInformation ?ORD ?FORM)
            (subjectiveAttribute ?PH Favorite ?ORG))))		 TravelPolicies.kif 832-844
(=>
    (and
        (instance ?TP TravelPolicy)
        (policyOwner ?ORG ?TP)
        (policyClause ?PerDiemBound Obligation ?TP ?ORG))
    (exists (?AS ?H ?RATE ?ROOM ?BOUND)
        (and
            (instance ?AS AccommodationService)
            (instance ?H Hotel-Organization)
            (instance ?PS PricingScheme)
            (serviceProvider ?AS ?H)
            (serviceInstrument ?AS ?ROOM)
            (rentalPrice ?ROOM ?RATE ?H ?PS)
            (not
                (greaterThan ?RATE ?BOUND))
            (equal ?BOUND
                (PerDiemFn ?ORG)))))		 TravelPolicies.kif 1212-1227
(=>
    (confersNorm ?E ?F Obligation)
    (confersNorm ?E ?F Permission))		 Law.kif 378-380
(=>
    (modalAttribute ?FORMULA Obligation)
    (modalAttribute ?FORMULA Permission))		 Merge.kif 17754-17756

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 13018-13022
(=>
    (and
        (instance ?ORG Organization)
        (instance ?TP TravelPolicy)
        (policyOwner ?ORG ?TP))
    (exists (?CLAUSE)
        (policyClause
            (=>
                (instance ?AS AccommodationService)
                (exists (?ORD ?H)
                    (and
                        (instance ?ORD Ordering)
                        (agent ?ORD ?ORG)
                        (agent ?AS ?H)
                        (attribute ?H TravelerAccommodation)
                        (instance ?H Hotel-Organization)
                        (attribute ?H PrivateRate)))) Obligation ?TP ?ORG)))		 TravelPolicies.kif 959-975
(=>
    (and
        (instance ?ORG Organization)
        (instance ?TP TravelPolicy)
        (policyOwner ?ORG ?TP))
    (exists (?CLAUSE)
        (policyClause
            (=>
                (instance ?AS AccommodationService)
                (exists (?ORD ?H)
                    (and
                        (instance ?ORD Ordering)
                        (agent ?ORD ?ORG)
                        (agent ?AS ?H)
                        (attribute ?H TravelerAccommodation)
                        (instance ?H Hotel-Organization)))) Obligation ?TP ?ORG)))		 TravelPolicies.kif 808-823
(=>
    (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
(=>
    (instance ?T TravelPolicy)
    (exists (?FORMULA1 ?PART1)
        (and
            (instance ?FORMULA1 Formula)
            (containsInformation ?FORMULA1 ?PART1)
            (instance ?PART1 Proposition)
            (subProposition ?PART1 ?T)
            (modalAttribute ?FORMULA1 Obligation))))		 TravelPolicies.kif 456-464
(=>
    (property ?AGREEMENT ActiveAgreement)
    (modalAttribute
        (exists (?PROC)
            (realization ?PROC ?AGREEMENT)) Obligation))		 Mid-level-ontology.kif 11460-11464


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