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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Technetium

 Sigma KEE - Technetium
Technetium

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27969-27969 atomicNumber Technetium and 43
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29254-29254 boilingPoint Technetium and 5303.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27977-27983
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2392-2392
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2019-2019
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1263-1263
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29253-29253 meltingPoint Technetium and 2445.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27967-27967 "Technetium" s'appele nom Technetium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31489-31489 roomTempState Technetium and Solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27966-27966 Technetium 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 27968-27968 conventionalShortName "Tc" and Technetium
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57193-57193
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57192-57192
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57191-57191

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


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


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