Business
|
|
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 16203-16204 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16201-16201 | Business is a subclass of commercial agent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16202-16202 | 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 7102-7102 | 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 16210-16210 | 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 7112-7112 | Entertainment company is a subclass of business |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7125-7125 | 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 7145-7145 | Insurance company is a subclass of business |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7211-7211 | Partnership is a subclass of business |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7303-7303 | Proprietorship is a subclass of business |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7275-7275 | Restaurant is a subclass of business |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7173-7173 | Transportation company is a subclass of business |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 64577-64577 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2549-2549 | 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 1283-1283 | 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 660-665 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2596-2605 |
|