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	义务是道义属性的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17487-17487	法是义务的 subAttribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17494-17494	诺言是义务的 subAttribute
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	公式的声明 has 义务的语气若且唯若那个公式的声明 doesn't have 允许的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14079-14089	如果有认知的主事有义务去做在协议的命题道义属性和那个道义属性 equal 义务或那个道义属性 equal 诺言，然后有存在实体这样那个实体表示那个命题的内容和那个有认知的主事是那个实体的 agent 的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Law.kif 339-341	如果实体 confers 规范公式对于义务，然后那个实体 confers 规范那个公式对于允许
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17483-17485	如果公式的声明 has 义务的语气，然后那个公式的声明 has 允许的语气

consequent

No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 204-223	如果穆斯林是施事体的 attribute 和属于那个施事体的资产值 equal 货币测量，然后有存在实体，另一个实体,，，第三实体,，，第四实体， and 和第五实体这样那个实体是天课的 instance 和那个第四实体是年的 instance 和那个第四实体在那个施事体出现的 time 时段内发生和完全成型是那个施事体的 attribute 在那个第四实体 holdsDuring 和那个施事体是那个实体的 agent 和那个另外实体是那个实体的 patient 和那个另外实体的价值是那个第五实体那个第三实体和那个第三实体是 UnitOfCurrency 的 instance 和那个第五实体是 greaterThan 那个货币测量和 0.025 的声明 has 义务的语气
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 134-143	如果穆斯林是客体的 attribute 和那个客体能够担当主事的角色做朝觐，然后有存在实体这样那个实体是朝觐的 instance 和那个客体是那个实体的 agent 的声明 has 义务的语气
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13188-13192	如果过程是命令的 instance 和公式是那个过程的 patient，然后那个公式的声明 has 义务的语气
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 311-324	如果对于有点物理协商的 price 在协议是货币测量和那个协议是有认知的主事的 party 协议和那个协议是另一个有认知的主事的 party 协议，然后那个有认知的主事有义务去做在那个协议的有存在实体和另一个实体这样那个实体是购买的 instance 和那个另外实体是那个实体的 patient 和那个另外实体是有点物理的 immediateInstance 和那个另外有认知的主事是那个实体的 agent 和那个有认知的主事是那个实体的源头和那个货币测量是那个实体的 transaction 总额义务
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 513-526	如果协议对于函数量指定有点物理的 rental ，然后有存在有认知的主事和另一个有认知的主事这样那个协议是那个有认知的主事的 party 协议和那个协议是那个另外有认知的主事的 party 协议和有存在实体和另一个实体这样那个实体是租的 instance 和那个另外实体是有点物理的 instance 和那个另外实体是那个实体的 patient 和那个有认知的主事是那个实体的 agent 和那个实体在那个另外有认知的主事结束的声明 has 义务的语气
No TPTP formula. May not be expressible in strict first order.	Law.kif 347-349	如果实体对允许剥夺规范公式，然后那个实体对义务剥夺规范那个公式
No TPTP formula. May not be expressible in strict first order.	Dining.kif 492-505	如果施事体要求顾客去穿 AmbienceAttribute ，然后有存在实体和另一个实体这样那个实体是 Outfit 的 instance 和那个施事体 believes 那个实体是那个 AmbienceAttribute 和对所有第三实体和第四实体那个施事体是那个第三实体的 customer 和那个第三实体对于那个施事体在时间那个另外实体 located 和那个第四实体是那个实体的 member 和那个第三实体 wears 那个第四实体在那个另外实体 holdsDuring 的声明 has 义务的语气
No TPTP formula. May not be expressible in strict first order.	Government.kif 653-661	如果命题是宪法的 instance，然后有存在公式和另一个命题这样那个公式是公式的 instance 和那个公式 contains 那个另外命题的资料和那个另外命题是命题的 instance 和那个另外命题是那个命题的 subProposition 和那个公式的声明 has 义务的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14117-14121	如果实体有 ActiveAgreement 的 attribute，然后有存在另一个实体这样那个另外实体表示那个实体的内容的声明 has 义务的语气

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