TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28632-28632	atomicNumber Gold and 79
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29338-29338	boilingPoint Gold and 3213.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28640-28648
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 29337-29337	meltingPoint Gold and 1337.58 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28630-28630	"Gold" s'appele nom Gold
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31529-31529	roomTempState Gold and Solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28629-28629	Gold est une sous-classe de substance �l�mentaire

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28631-28631	conventionalShortName "Au" and Gold
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 28634-28638

consequent

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

Media.kif 1143-1147