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. Merge.kif 17724-17726
No TPTP formula. May not be expressible in strict first order. Merge.kif 17720-17723
No TPTP formula. May not be expressible in strict first order. Merge.kif 17716-17716 The number 1 argument of confers obligation is an instance of formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 17717-17717 The number 2 argument of confers obligation is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 17718-17718 The number 3 argument of confers obligation is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 17715-17715 confers obligation is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 17719-17719 confers obligation is internally related to confers right

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 127-127
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. portuguese_format.kif 72-72
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 70-70
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-cb.txt 84-84
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 202-202 "授予执行任务" is the printable form of confers obligation in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3185-3185 "confers obligation" is the printable form of confers obligation in english language
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 520-520 "«يُجْبِر عَلَى تَنْفِيذ مَهَمَّة مِن النَّوع»" is the printable form of confers obligation in ar
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 117-117 "nakikipaghirap nauubliga" is the printable form of confers obligation in tg

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


No TPTP formula. May not be expressible in strict first order. Government.kif 708-713
No TPTP formula. May not be expressible in strict first order. TravelPolicies.kif 192-197
No TPTP formula. May not be expressible in strict first order. Law.kif 382-384
No TPTP formula. May not be expressible in strict first order. Merge.kif 17728-17730

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


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 929-937
No TPTP formula. May not be expressible in strict first order. Government.kif 1174-1192
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18056-18069
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27626-27646
No TPTP formula. May not be expressible in strict first order. Merge.kif 16628-16634
No TPTP formula. May not be expressible in strict first order. Government.kif 1156-1172


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners