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 17343-17346
No TPTP formula. May not be expressible in strict first order. Merge.kif 17339-17339 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 17340-17340 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 17341-17341 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 17338-17338 confers obligation is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 17342-17342 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 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 16581-16581
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 16580-16580
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16579-16579
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 362-364
No TPTP formula. May not be expressible in strict first order. Merge.kif 17348-17350

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 20656-20669
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30000-30020
No TPTP formula. May not be expressible in strict first order. Merge.kif 16409-16415
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