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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Technetium
Technetium(锝)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27981-27981 43 是 锝 的 atomic 数字
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29266-29266 5303.0 凯文度 是 锝 的 boiling 点
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27989-27995
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 29265-29265 2445.0 凯文度 是 锝 的 melting 点
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27979-27979 "Technetium" 的名 是 锝
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31493-31493 roomTempState 锝 and 固体
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27978-27978 锝 是 元素物质 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27980-27980 锝 是 "Tc" 的 conventional 简称
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 27983-27987


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