|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16767-16771 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6943-6943 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8173-8173 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8174-8174 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8175-8175 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8176-8176 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8177-8177 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8178-8178 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16766-16766 | University is a subclass of post secondary school |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3151-3151 | California Polytecnic is an instance of university |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60460-60460 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60459-60459 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60458-60458 |
| appearance as argument number 4 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16750-16750 | Post secondary school is exhaustively partitioned into junior college, college, and university |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16778-16783 |
|
|
|
|
