No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20499-20499 | Working is a subclass of financial transaction |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20503-20503 | Farming is a subclass of working |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20520-20520 | Serving is a subclass of working |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20524-20524 | Sales is a subclass of working |