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 |