No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16789-16789 |
Art school is a subclass of school |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16805-16805 |
Day school is a subclass of school |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16693-16693 |
High school is a subclass of school |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16749-16749 |
Post secondary school is a subclass of school |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16689-16689 |
Private school is a subclass of school |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16685-16685 |
Public school is a subclass of school |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16712-16712 |
Secondary school is a subclass of school |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16731-16731 |
Vocational school is a subclass of school |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51551-51551 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51550-51550 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51549-51549 |
|