TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28683-28683	79 is an atomic number of gold
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29389-29389	3213.0 Kelvin degree(s) is a boiling point of gold
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28691-28699
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 29388-29388	1337.58 Kelvin degree(s) is a melting point of gold
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28681-28681	"Gold" has name gold
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31561-31561	roomTempState gold and solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28680-28680	Gold is a subclass of elemental substance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28682-28682	Gold is a conventional short name of "Au"
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 28685-28689

consequent

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

Media.kif 1143-1147