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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Niobium

 Sigma KEE - Niobium
Niobium

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27992-27992 atomicNumber Niobium and 41
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29313-29313 boilingPoint Niobium and 5200.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28000-28004
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2267-2267
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1867-1867
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1198-1198
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29312-29312 meltingPoint Niobium and 2741.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27990-27990 "Niobium" s'appele nom Niobium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31523-31523 roomTempState Niobium and Solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27989-27989 Niobium 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 27991-27991 conventionalShortName "Nb" and Niobium
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40589-40589
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40588-40588
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40587-40587

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


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


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