No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18869-18869 |
ServicePosition est une sous-classe de SkilledOccupation |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18928-18928 |
SportsPosition est une sous-classe de SkilledOccupation |
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 |
|