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 16356-16357
No TPTP formula. May not be expressible in strict first order. Merge.kif 16354-16354 Business is a subclass of commercial agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 16355-16355 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 8264-8264 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 16363-16363 Corporation is a subclass of business
No TPTP formula. May not be expressible in strict first order. Media.kif 1704-1704 Crematorium is a subclass of business
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8274-8274 Entertainment company is a subclass of business
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8287-8287 Financial company is a subclass of business
No TPTP formula. May not be expressible in strict first order. Media.kif 1699-1699 Funeral arranger is a subclass of business
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8307-8307 Insurance company is a subclass of business
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8373-8373 Partnership is a subclass of business
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8465-8465 Proprietorship is a subclass of business
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8437-8437 Restaurant is a subclass of business
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8335-8335 Transportation company is a subclass of business
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64571-64571 Transportation company is a subclass of business

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2549-2549 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 1283-1283 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 660-665
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2596-2605


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