TreeView Knowledge Base Browser - Astatine

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Astatine

Astatine(砹)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28731-28731	85 是砹的 atomic 数字
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29338-29338	610.0 凯文度是砹的 boiling 点
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28739-28743
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1648-1648
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29337-29337	575.0 凯文度是砹的 melting 点
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28729-28729	"Astatine" 的名是砹
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31531-31531	roomTempState 砹 and 固体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28728-28728	砹是元素物质的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28730-28730	砹是 "At" 的 conventional 简称
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8808-8808
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8807-8807
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8806-8806

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 28733-28737

如果物理是砹的 instance 和那个物理是原子的 instance，
然后那个物理的 measure 是 210 amu

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