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 e' uma sub-classe de SkilledOccupation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18939-18939 | GovernmentPosition e' uma sub-classe de Profession |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6334-6334 | MedicalPerson e' uma sub-classe de Profession |