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 15042-15043 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15040-15040 | Business is a subclass of commercial agent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15041-15041 | 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 15049-15049 | 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 |
|
![]() |
![]() |