TreeView Knowledge Base Browser - CollegeStudentPosition

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18787-18788
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18786-18786	CollegeStudentPosition est une sous-classe de position

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18723-18723	CollegeFreshman est une instance de CollegeStudentPosition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18738-18738	CollegeJunior est une instance de CollegeStudentPosition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18754-18754	CollegeSenior est une instance de CollegeStudentPosition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18770-18770	CollegeSophomore est une instance de CollegeStudentPosition
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15620-15620
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15619-15619
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15618-15618