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 12023-12024 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12022-12022 | Commercial service is a subclass of financial transaction |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12025-12025 | 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 8868-8868 | Commercial shipping is a subclass of commercial service |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8349-8349 | Financial service is a subclass of commercial service |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 15879-15879 | Financial service is a subclass of commercial service |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 15878-15878 | Financial service is a subclass of commercial service |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 15877-15877 | Financial service is a subclass of commercial service |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3608-3619 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12027-12032 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3977-3984 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 6089-6109 |
|
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 8279-8285 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8418-8424 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8442-8452 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8340-8346 |
|
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 4366-4374 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8850-8858 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16376-16383 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16389-16396 |
|
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 |
|
![]() |
![]() |