No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8293-8302 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8288-8288 | Profession is a subclass of skilled occupation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18939-18939 | Government position is a subclass of profession |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6334-6334 | Medical person is a subclass of profession |