| Obligation | |
| appearance as argument number 1 |
|
|
| (documentation Obligation ChineseLanguage "这个 Attribute 是用来表示某种权威要求 Agent 去 实现 Proposition。") | Merge.kif 17833-17834 | |
| (documentation Obligation EnglishLanguage "Attribute that applies to Propositions that an Agent is required, by some authority, to make true.") | Merge.kif 17831-17832 | |
| (instance Obligation DeonticAttribute) | Merge.kif 17830-17830 |
| appearance as argument number 2 |
|
|
| (subAttribute Law Obligation) | Merge.kif 17844-17844 | |
| (subAttribute Promise Obligation) | Merge.kif 17853-17853 | |
| (termFormat EnglishLanguage Obligation "obligation") | domainEnglishFormat.kif 7344-7344 |
| antecedent |
|
|
| (<=> (modalAttribute ?FORMULA Obligation) (not (modalAttribute (not ?FORMULA) Permission))) |
Merge.kif 17836-17838 | |
| (=> (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 | |
| (=> (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 17840-17842 |
| 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 13097-13101 | |
| (=> (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 11720-11724 |
|
|
|