TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31362-31366
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31359-31359	The number 1 argument of allowable value is an instance of object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31360-31360	The number 2 argument of allowable value is an instance of measurement attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31361-31361	The number 3 argument of allowable value is an instance of quantity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31358-31358	allowable value is an instance of ternary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31368-31369
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65775-65775