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 16298-16301
No TPTP formula. May not be expressible in strict first order. Merge.kif 16294-16294 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 16295-16295 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 16296-16296 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 16293-16293 confers obligation is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 16297-16297 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 205-205
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. chinese_format.kif 202-202
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. domainEnglishFormat.kif 16580-16580

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


No TPTP formula. May not be expressible in strict first order. Government.kif 701-706
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 16303-16305

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


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 940-948
No TPTP formula. May not be expressible in strict first order. Government.kif 1167-1185
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18508-18521
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28106-28126
No TPTP formula. May not be expressible in strict first order. Merge.kif 15398-15404
No TPTP formula. May not be expressible in strict first order. Government.kif 1149-1165


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