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 18788-18789
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18787-18787	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 18724-18724	CollegeFreshman e' uma instancia de CollegeStudentPosition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18739-18739	CollegeJunior e' uma instancia de CollegeStudentPosition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18755-18755	CollegeSenior e' uma instancia de CollegeStudentPosition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18771-18771	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