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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - confersObligation
confersObligation

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3900-3902
No TPTP formula. May not be expressible in strict first order. Merge.kif 17458-17461
No TPTP formula. May not be expressible in strict first order. Merge.kif 17454-17454 授予执行任务 的 1 数量 是 公式 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 17455-17455 授予执行任务 的 2 数量 是 实体 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 17456-17456 授予执行任务 的 3 数量 是 有认知的主事 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 17453-17453 授予执行任务 是 三元谓语 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 17457-17457 授予执行任务 和 赋予权利 是 内部相关

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 201-201
No TPTP formula. May not be expressible in strict first order. english_format.kif 202-202
No TPTP formula. May not be expressible in strict first order. french_format.kif 120-120
No TPTP formula. May not be expressible in strict first order. relations-it.txt 50-50
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1949-1949
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 72-72
No TPTP formula. May not be expressible in strict first order. relations-de.txt 258-258
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 91-91
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 139-139
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 125-125
No TPTP formula. May not be expressible in strict first order. relations-cb.txt 84-84
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16584-16584
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 202-202
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16583-16583
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16582-16582
No TPTP formula. May not be expressible in strict first order. terms-de.txt 82-82
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 117-117

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


No TPTP formula. May not be expressible in strict first order. Government.kif 714-719
No TPTP formula. May not be expressible in strict first order. Law.kif 343-345
No TPTP formula. May not be expressible in strict first order. Merge.kif 17463-17465

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 1211-1231
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 940-949
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20823-20836
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29895-29915
No TPTP formula. May not be expressible in strict first order. Merge.kif 16525-16531
No TPTP formula. May not be expressible in strict first order. Government.kif 1191-1209


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 3.0 is open source software produced by Articulate Software and its partners