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 e' uma sub-classe de Posicao

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18723-18723	CollegeFreshman e' uma instancia de CollegeStudentPosition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18738-18738	CollegeJunior e' uma instancia de CollegeStudentPosition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18754-18754	CollegeSenior e' uma instancia de CollegeStudentPosition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18770-18770	CollegeSophomore e' uma instancia 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