No TPTP formula. May not be expressible in strict first order. | Merge.kif 16179-16179 | Business is a subclass of commercial agent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16180-16180 | Business is a subclass of organization |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7103-7103 | Agency is a subclass of business |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7113-7113 | Entertainment company is a subclass of business |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7126-7126 | Financial company is a subclass of business |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7146-7146 | Insurance company is a subclass of business |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7174-7174 | Transportation company is a subclass of business |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7212-7212 | Partnership is a subclass of business |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7276-7276 | Restaurant is a subclass of business |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7304-7304 | Proprietorship is a subclass of business |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16188-16188 | Corporation is a subclass of business |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1697-1697 | Funeral arranger is a subclass of business |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1702-1702 | Crematorium is a subclass of business |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 65-65 | Bakery is a subclass of business |