No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8277-8277 | UnskilledOccupation e' uma sub-classe de ManualLabor |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20640-20640 | Janitor e' uma sub-classe de UnskilledOccupation |