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 11873-11874
No TPTP formula. May not be expressible in strict first order. Merge.kif 11872-11872 Commercial service is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order. Merge.kif 11875-11875 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 7701-7701 Commercial shipping is a subclass of commercial service
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7188-7188 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 11877-11882

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 7118-7124
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7257-7263
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7281-7291
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7179-7185
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 7683-7691
No TPTP formula. May not be expressible in strict first order. Merge.kif 16201-16208
No TPTP formula. May not be expressible in strict first order. Merge.kif 16214-16221
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