JuniorCollege - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16728-16729
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5042-5042
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4920-4920
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5044-5044
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5046-5046
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5045-5045
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5043-5043
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16727-16727	Junior college is a subclass of post secondary school

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16723-16723	Post secondary school is exhaustively partitioned into junior college, college, and university
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 31909-31909
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 31908-31908
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 31907-31907