| 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. | Merge.kif 16248-16249 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16246-16247 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16244-16244 | Business is a subclass of commercial agent |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16245-16245 | Business is a subclass of organization |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Society.kif 1424-1424 | AdvertisingAgency is a subclass of Business |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6768-6768 | Agency is a subclass of Business |
| No TPTP formula. May not be expressible in strict first order. | Society.kif 153-153 | ArchitectureFirm 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. | Society.kif 1481-1481 | CommercialFarm is a subclass of Business |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16255-16255 | 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. | Society.kif 179-179 | DentalPractice is a subclass of Business |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6778-6778 | Entertainment company is a subclass of Business |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6791-6791 | 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 6823-6823 | Insurance company is a subclass of Business |
| No TPTP formula. May not be expressible in strict first order. | Society.kif 166-166 | LawFirm is a subclass of Business |
| No TPTP formula. May not be expressible in strict first order. | Society.kif 1521-1521 | MineBusiness is a subclass of Business |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6870-6870 | Partnership is a subclass of Business |
| No TPTP formula. May not be expressible in strict first order. | Society.kif 192-192 | PrivateMedicalClinic is a subclass of Business |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6966-6966 | Proprietorship is a subclass of Business |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6937-6937 | Restaurant is a subclass of Business |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6833-6833 | 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 2757-2757 | 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 1481-1481 | The number 2 argument of customer value is an instance of Business |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Society.kif 255-260 |
|
| No TPTP formula. May not be expressible in strict first order. | Society.kif 247-252 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 823-828 |
|
| No TPTP formula. May not be expressible in strict first order. | Society.kif 378-382 |
|
| No TPTP formula. May not be expressible in strict first order. | Society.kif 155-161 |
|
| No TPTP formula. May not be expressible in strict first order. | Society.kif 284-293 |
|
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2804-2813 |
|
| No TPTP formula. May not be expressible in strict first order. | Society.kif 181-187 |
|
| No TPTP formula. May not be expressible in strict first order. | Society.kif 527-532 | |
| No TPTP formula. May not be expressible in strict first order. | Society.kif 167-173 |
|
|
|
|