TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9182-9185
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4812-4812
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31642-31642	roomTempState Rubber and Solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9180-9180	Rubber est une sous-classe de substance corporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9181-9181	Rubber est une sous-classe de Hydrocarbon
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9179-9179	Rubber est une sous-classe de PlantSubstance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50558-50558
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50557-50557
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50556-50556

antecedent

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

Mid-level-ontology.kif 9187-9192

consequent

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

naics.kif 3497-3515