Gold - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28620-28620	79 是金的 atomic 數字
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29326-29326	測量 3213.0 and 凱文度是金的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28628-28636
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1785-1785
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2199-2199
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6578-6578
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1123-1123
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29325-29325	測量 1337.58 and 凱文度是金的 melting 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28618-28618	名金 and "Gold"
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31525-31525	roomTempState 金 and 固體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28617-28617	子類金 and ElementalSubstance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28619-28619	金是 "Au" 的 conventional 簡稱
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26202-26202
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26201-26201
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26200-26200

antecedent

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

Mid-level-ontology.kif 28622-28626

consequent

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

Media.kif 1143-1147