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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CommercialService

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 11712-11713
No TPTP formula. May not be expressible in strict first order. Merge.kif 11711-11711 Commercial service is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order. Merge.kif 11714-11714 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 7379-7379 Commercial shipping is a subclass of commercial service
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6852-6852 Financial service is a subclass of commercial service
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 15861-15861
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 15860-15860
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 15859-15859

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3594-3605
No TPTP formula. May not be expressible in strict first order. Merge.kif 11716-11721

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3911-3918
No TPTP formula. May not be expressible in strict first order. Economy.kif 4790-4810
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 6782-6788
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6921-6927
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6945-6955
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6843-6849
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 3230-3238
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7361-7369
No TPTP formula. May not be expressible in strict first order. Merge.kif 15932-15939
No TPTP formula. May not be expressible in strict first order. Merge.kif 15945-15952
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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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