TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27715-27715	28 是镍的 atomic 数字
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29224-29224	3005.0 凯文度是镍的 boiling 点
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27723-27724
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2266-2266
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1866-1866
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1197-1197
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29223-29223	1726.0 凯文度是镍的 melting 点
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27713-27713	"Nickel" 的名是镍
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31474-31474	roomTempState 镍 and 固体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27712-27712	镍是元素物质的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27714-27714	镍是 "Ni" 的 conventional 简称
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40485-40485
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40484-40484
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40483-40483

antecedent

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

Mid-level-ontology.kif 27717-27721

consequent

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

Economy.kif 5657-5662