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 17633-17636
No TPTP formula. May not be expressible in strict first order. Merge.kif 17629-17629 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 17630-17630 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 17631-17631 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 17628-17628 confers obligation is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 17632-17632 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 16593-16593
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 16592-16592
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16591-16591
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 677-682
No TPTP formula. May not be expressible in strict first order. Law.kif 349-351
No TPTP formula. May not be expressible in strict first order. Merge.kif 17638-17640

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


No TPTP formula. May not be expressible in strict first order. Government.kif 1173-1193
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 22440-22453
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31787-31807
No TPTP formula. May not be expressible in strict first order. Merge.kif 16700-16706
No TPTP formula. May not be expressible in strict first order. Government.kif 1153-1171


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