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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Terbium

 Sigma KEE - Terbium
Terbium

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28361-28361 atomicNumber Terbium and 65
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29298-29298 boilingPoint Terbium and 3314.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28369-28371
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 29297-29297 meltingPoint Terbium and 1633.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28359-28359 "Terbium" s'appele nom Terbium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31511-31511 roomTempState Terbium and Solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28358-28358 Terbium est une sous-classe de substance �l�mentaire

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28360-28360 conventionalShortName "Tb" and Terbium
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 28363-28367


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