CommercialService(commercial service) | business, business_enterprise, commerce, commercial_enterprise, commercialism, e-commerce, evasion, marketing, mercantilism, nonpayment, patronage, trade |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3103-3104 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11895-11896 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11894-11894 | Commercial service is a subclass of financial transaction |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11897-11897 | Commercial service is a subclass of service |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7700-7700 | Commercial shipping is a subclass of commercial service |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7187-7187 | Financial service is a subclass of commercial service |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 15870-15870 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 15869-15869 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 15868-15868 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3590-3601 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11899-11904 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3959-3966 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5747-5767 |
|
No TPTP formula. May not be expressible in strict first order. | Dining.kif 70-81 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7117-7123 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7256-7262 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7280-7290 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7178-7184 |
|
No TPTP formula. May not be expressible in strict first order. | Dining.kif 36-44 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3223-3231 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7682-7690 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16223-16230 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16236-16243 |
|
No TPTP formula. May not be expressible in strict first order. | Dining.kif 51-62 |
|
No TPTP formula. May not be expressible in strict first order. | Dining.kif 88-99 |
|