TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23012-23013
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23009-23009	The number 1 argument of grandparent is an instance of human
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23010-23010	The number 2 argument of grandparent is an instance of human
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23008-23008	grandparent is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23007-23007	grandparent is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1121-1121
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1120-1120
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1119-1119
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23017-23017	grandfather is a subrelation of grandparent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23015-23015	grandmother is a subrelation of grandparent
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26406-26406
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26405-26405
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26404-26404