| 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 15054-15055 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15052-15052 | Business is a subclass of commercial agent |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15053-15053 | 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 6752-6752 | 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 15061-15061 | Corporation is a subclass of Business |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1692-1692 | Crematorium is a subclass of Business |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6762-6762 | Entertainment company is a subclass of Business |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6775-6775 | Financial company is a subclass of Business |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1687-1687 | FuneralArranger is a subclass of Business |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6807-6807 | Insurance company is a subclass of Business |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6855-6855 | Partnership is a subclass of Business |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6951-6951 | Proprietorship is a subclass of Business |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6922-6922 | Restaurant is a subclass of Business |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6817-6817 | Transportation company is a subclass of Business |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2756-2756 | 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 1479-1479 | 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 820-825 |
|
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2803-2812 |
|
|
|
|