Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - CommercialService
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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners