| Obligation | |
| 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 17602-17603 | |
| (instance Obligation DeonticAttribute) | Merge.kif 17601-17601 |
| appearance as argument number 2 |
|
|
| (subAttribute Law Obligation) | Merge.kif 17613-17613 | |
| (subAttribute Promise Obligation) | Merge.kif 17620-17620 | |
| (termFormat ChineseLanguage Obligation "义务") | domainEnglishFormat.kif 41579-41579 | |
| (termFormat ChineseTraditionalLanguage Obligation "義務") | domainEnglishFormat.kif 41578-41578 | |
| (termFormat EnglishLanguage Obligation "obligation") | domainEnglishFormat.kif 41577-41577 |
| antecedent |
|
|
| (<=> (modalAttribute ?FORMULA Obligation) (not (modalAttribute (not ?FORMULA) Permission))) |
Merge.kif 17605-17607 | |
| (=> (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 15460-15470 | |
| (=> (confersNorm ?E ?F Obligation) (confersNorm ?E ?F Permission)) |
Law.kif 339-341 | |
| (=> (modalAttribute ?FORMULA Obligation) (modalAttribute ?FORMULA Permission)) |
Merge.kif 17609-17611 |
| 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 7876-7885 | |
| (=> (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 7897-7906 | |
| (=> (and (instance ?ORDER Ordering) (patient ?ORDER ?FORMULA)) (modalAttribute ?FORMULA Obligation)) |
Merge.kif 13293-13297 | |
| (=> (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 15498-15502 |
|
|
|