TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31398-31402
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31395-31395	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 31396-31396	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 31397-31397	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 31394-31394	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 31404-31405
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65777-65777