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 17211-17214
No TPTP formula. May not be expressible in strict first order. Merge.kif 17207-17207 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 17208-17208 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 17209-17209 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 17206-17206 confers obligation is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 17210-17210 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. domainEnglishFormat.kif 16575-16575
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 16574-16574
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16573-16573

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


No TPTP formula. May not be expressible in strict first order. Government.kif 712-717
No TPTP formula. May not be expressible in strict first order. Law.kif 386-388
No TPTP formula. May not be expressible in strict first order. Merge.kif 17216-17218

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


No TPTP formula. May not be expressible in strict first order. Government.kif 1208-1228
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 20164-20177
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29307-29327
No TPTP formula. May not be expressible in strict first order. Merge.kif 16256-16262
No TPTP formula. May not be expressible in strict first order. Government.kif 1188-1206


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