Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  premise

Sigma KEE - premise
premise

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3777-3778
No TPTP formula. May not be expressible in strict first order. Merge.kif 16873-16875
No TPTP formula. May not be expressible in strict first order. Merge.kif 16871-16871 The number 1 argument of premise is an instance of argument
No TPTP formula. May not be expressible in strict first order. Merge.kif 16872-16872 The number 2 argument of premise is an instance of proposition
No TPTP formula. May not be expressible in strict first order. Merge.kif 16869-16869 premise is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 16870-16870 premise is an instance of total valued relation

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2031-2031
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2030-2030
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2029-2029
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47192-47192
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47191-47191
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47190-47190

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 16884-16890
No TPTP formula. May not be expressible in strict first order. Law.kif 180-188


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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