TreeView Knowledge Base Browser - Obligation

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

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3907-3908
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17476-17477
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17475-17475	例義務 and DeonticAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17487-17487	子屬性法 and 義務
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17494-17494	子屬性諾言 and 義務
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41548-41548
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41547-41547
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41546-41546

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17479-17481	模態屬性 Formula and 義務模態屬性 Formula and 允許
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14079-14089	CognitiveAgent 有義務去做在協議的 Proposition DeonticAttribute 等於 DeonticAttribute and 義務等於 DeonticAttribute and 諾言模態屬性 entity 實現 entity and Proposition agent entity and CognitiveAgent and 容易
No TPTP formula. May not be expressible in strict first order.	Law.kif 339-341	Entity confers 規範 Formula 對於義務 Entity confers 規範 Formula 對於允許
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17483-17485	模態屬性 Formula and 義務模態屬性 Formula and 允許

consequent

No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 204-223	attribute AutonomousAgent and 穆斯林等於財富 AutonomousAgent and CurrencyMeasure 模態屬性 entity entity, entity, entity and entity 例 entity and 天課例 entity and 年期間 entity and 何時 AutonomousAgent 持有期間 entity and attribute AutonomousAgent and 完全成型 agent entity and AutonomousAgent 患者 entity and entity 貨幣價值 entity and 測量 entity and entity 例 entity and UnitOfCurrency 比較多 entity and 乘法 CurrencyMeasure and 0.025 and 義務
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 134-143	attribute Object and 穆斯林能力朝覲, agent and Object 模態屬性 entity 例 entity and 朝覲 agent entity and Object and 義務
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13188-13192	例 Process and Ordering 患者 Process and Formula 模態屬性 Formula and 義務
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 311-324	對於 Physical 協商的 price 在協議是 CurrencyMeasure 協議是 CognitiveAgent 的 party 協議協議是 CognitiveAgent 的 party 協議 CognitiveAgent 有義務去做在協議的 entity entity 例 entity and Buying 患者 entity and entity 立即實例 entity and Physical agent entity and CognitiveAgent 起源 entity and CognitiveAgent CurrencyMeasure 是 entity 的 transaction 總額義務
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 513-526	協議對於 FunctionQuantity 指定 Physical 的 rental CognitiveAgent CognitiveAgent 協議是 CognitiveAgent 的 party 協議協議是 CognitiveAgent 的 party 協議模態屬性 entity entity 例 entity and 租例 entity and Physical 患者 entity and entity agent entity and CognitiveAgent 目的地 entity and CognitiveAgent and 義務
No TPTP formula. May not be expressible in strict first order.	Law.kif 347-349	Entity 對允許剝奪規範 Formula Entity 對義務剝奪規範 Formula
No TPTP formula. May not be expressible in strict first order.	Dining.kif 492-505	AutonomousAgent 要求顧客去穿 AmbienceAttribute 模態屬性 entity entity 例 entity and Outfit AutonomousAgent believes entity 是 AmbienceAttribute 持有期間 entity and entity entity AutonomousAgent 是 entity 的 customer entity 對於 AutonomousAgent 在時間 entity located 會員 entity and entity 穿 entity and entity and 義務
No TPTP formula. May not be expressible in strict first order.	Government.kif 653-661	例 Proposition and 憲法 Formula Proposition 例 Formula and Formula 包含信息 Formula and Proposition 例 Proposition and Proposition 次提案 Proposition and Proposition 模態屬性 Formula and 義務
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14117-14121	屬性 Entity and ActiveAgreement 模態屬性 entity 實現 entity and Entity and 義務

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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