| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16201-16201 | Business e' uma sub-classe de CommercialAgent |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16202-16202 | Business e' uma sub-classe de Organizacao |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7102-7102 | Agency e' uma sub-classe de Business |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7112-7112 | EntertainmentCompany e' uma sub-classe de Business |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7125-7125 | FinancialCompany e' uma sub-classe de Business |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7145-7145 | InsuranceCompany e' uma sub-classe de Business |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7173-7173 | TransportationCompany e' uma sub-classe de Business |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7211-7211 | Partnership e' uma sub-classe de Business |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7275-7275 | Restaurant e' uma sub-classe de Business |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7303-7303 | Proprietorship e' uma sub-classe de Business |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16210-16210 | Empresa e' uma sub-classe de Business |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1697-1697 | FuneralArranger e' uma sub-classe de Business |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1702-1702 | Crematorium e' uma sub-classe de Business |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 65-65 | Bakery e' uma sub-classe de Business |
|
|