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	大学生的位置是地位的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18723-18723	大学新生是大学生的位置的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18738-18738	大学三年级是大学生的位置的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18754-18754	大学高年级是大学生的位置的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18770-18770	大学二年级学生是大学生的位置的 instance
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