more pictures...
| PostSecondarySchool(post secondary school)
more pictures... | | academic, alma_mater |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18131-18132 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11647-11647 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11643-11643 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11644-11644 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11646-11646 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11648-11648 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11642-11642 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11645-11645 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10198-10198 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11649-11649 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18130-18130 | Post secondary school is exhaustively partitioned into junior college, college, and university |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18129-18129 | Post secondary school is a subclass of school |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18138-18138 | College is a subclass of post secondary school |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18153-18153 | Graduate school is a subclass of post secondary school |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18134-18134 | Junior college is a subclass of post secondary school |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18146-18146 | University is a subclass of post secondary school |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46869-46869 | University is a subclass of post secondary school |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46868-46868 | University is a subclass of post secondary school |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46867-46867 | University is a subclass of post secondary school |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18256-18256 | The number 2 argument of Alma Mater is an instance of post secondary school |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22658-22664 |
|
|
|
|