No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18869-18869 |
Service position is a subclass of skilled occupation |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18928-18928 |
Sports position is a subclass of skilled occupation |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53318-53318 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53317-53317 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53316-53316 |
|