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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Terbium
Terbium(terbium)
Tb, atomic_number_65, terbium

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28373-28373 65 is an atomic number of terbium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29310-29310 3314.0 Kelvin degree(s) is a boiling point of terbium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28381-28383
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2396-2396
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2025-2025
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1266-1266
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29309-29309 1633.0 Kelvin degree(s) is a melting point of terbium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28371-28371 "Terbium" has name terbium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31515-31515 roomTempState terbium and solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28370-28370 Terbium is a subclass of elemental substance

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28372-28372 Terbium is a conventional short name of "Tb"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57518-57518
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57517-57517
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57516-57516

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28375-28379


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