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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Business
Business(business)business, business_concern, business_organisation, business_organization, concern, enterprise

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3660-3661
No TPTP formula. May not be expressible in strict first order. Merge.kif 16065-16066
No TPTP formula. May not be expressible in strict first order. Merge.kif 16063-16063 Business is a subclass of commercial agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 16064-16064 Business is a subclass of organization

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7070-7070 Agency is a subclass of business
No TPTP formula. May not be expressible in strict first order. Dining.kif 65-65 Bakery is a subclass of business
No TPTP formula. May not be expressible in strict first order. Merge.kif 16072-16072 Corporation is a subclass of business
No TPTP formula. May not be expressible in strict first order. Media.kif 1702-1702 Crematorium is a subclass of business
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7080-7080 Entertainment company is a subclass of business
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7093-7093 Financial company is a subclass of business
No TPTP formula. May not be expressible in strict first order. Media.kif 1697-1697 Funeral arranger is a subclass of business
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7113-7113 Insurance company is a subclass of business
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7179-7179 Partnership is a subclass of business
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7271-7271 Proprietorship is a subclass of business
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7243-7243 Restaurant is a subclass of business
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7141-7141 Transportation company is a subclass of business
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64587-64587

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2755-2755 The number 2 argument of business unit is an instance of business
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1480-1480 The number 2 argument of customer value is an instance of business

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 822-827
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2802-2811


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