| Business(business) | | business, business_concern, business_organisation, business_organization, concern, enterprise |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3660-3661 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16065-16066 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16063-16063 | Business is a subclass of commercial agent |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16064-16064 | Business is a subclass of organization |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7070-7070 | Agency 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 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16072-16072 | Corporation 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. | Mid-level-ontology.kif 7080-7080 | Entertainment company is a subclass of business |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7093-7093 | Financial company 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. | Mid-level-ontology.kif 7113-7113 | Insurance company is a subclass of business |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7179-7179 | Partnership is a subclass of business |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7271-7271 | Proprietorship is a subclass of business |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7243-7243 | Restaurant is a subclass of business |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7141-7141 | Transportation company is a subclass of business |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 64587-64587 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2755-2755 | The number 2 argument of business unit is an instance of business |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1480-1480 | The number 2 argument of customer value is an instance of business |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 822-827 |
|
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2802-2811 |
|
|
|
|