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 16301-16304
No TPTP formula. May not be expressible in strict first order. Merge.kif 16297-16297 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 16298-16298 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 16299-16299 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 16296-16296 confers obligation is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 16300-16300 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 16306-16308

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 1197-1217
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18569-18582
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28179-28199
No TPTP formula. May not be expressible in strict first order. Merge.kif 15401-15407
No TPTP formula. May not be expressible in strict first order. Government.kif 1177-1195


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