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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BinaryNumber

Sigma KEE - BinaryNumber
BinaryNumber(binary number)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1755-1756
No TPTP formula. May not be expressible in strict first order. Merge.kif 1923-1924
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4963-4963
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4865-4865
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4964-4964
No TPTP formula. May not be expressible in strict first order. Merge.kif 1921-1921 Binary number is a subclass of real number

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 873-873
No TPTP formula. May not be expressible in strict first order. english_format.kif 948-948

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


No TPTP formula. May not be expressible in strict first order. Media.kif 801-812


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