TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27778-27778	28 是鎳的 atomic 數字
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29287-29287	測量 3005.0 and 凱文度是鎳的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27786-27787
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 29286-29286	測量 1726.0 and 凱文度是鎳的 melting 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27776-27776	名鎳 and "Nickel"
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31510-31510	roomTempState 鎳 and 固體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27775-27775	子類鎳 and ElementalSubstance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27777-27777	鎳是 "Ni" 的 conventional 簡稱
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40487-40487
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40486-40486
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40485-40485

antecedent

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

Mid-level-ontology.kif 27780-27784

consequent

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

Economy.kif 5657-5662