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 15927-15928 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15925-15925 | Business is a subclass of commercial agent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15926-15926 | 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 6801-6801 | 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 15934-15934 | Corporation is a subclass of Business |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1688-1688 | Crematorium is a subclass of Business |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6811-6811 | Entertainment company is a subclass of Business |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6824-6824 | Financial company is a subclass of Business |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1683-1683 | FuneralArranger is a subclass of Business |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6844-6844 | Insurance company is a subclass of Business |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6910-6910 | Partnership is a subclass of Business |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7002-7002 | Proprietorship is a subclass of Business |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6974-6974 | Restaurant is a subclass of Business |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6872-6872 | 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 2759-2759 | 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 2806-2815 |
|
![]() |
![]() |