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 18815-18816
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18814-18814	大学生的位置是地位的 subclass

appearance as argument number 2

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