No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20498-20498 | Working is a subclass of financial transaction |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20502-20502 | Farming is a subclass of working |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20519-20519 | Serving is a subclass of working |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20523-20523 | Sales is a subclass of working |