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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Angstrom

Sigma KEE - Angstrom
Angstrom(angstrom)A, angstrom, angstrom_unit

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2589-2590
No TPTP formula. May not be expressible in strict first order. Merge.kif 7074-7075
No TPTP formula. May not be expressible in strict first order. Merge.kif 7072-7072 Angstrom is an instance of UnitOfLength

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7533-7533
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7532-7532
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7531-7531

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 7077-7079 A real number angstrom(s) is equal to the real number and 1.0E-10 meter(s)


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