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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Business
Businessbusiness, 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 15054-15055
No TPTP formula. May not be expressible in strict first order. Merge.kif 15052-15052 Business is a subclass of commercial agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 15053-15053 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 6752-6752 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 15061-15061 Corporation is a subclass of Business
No TPTP formula. May not be expressible in strict first order. Media.kif 1692-1692 Crematorium is a subclass of Business
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6762-6762 Entertainment company is a subclass of Business
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6775-6775 Financial company is a subclass of Business
No TPTP formula. May not be expressible in strict first order. Media.kif 1687-1687 FuneralArranger is a subclass of Business
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6807-6807 Insurance company is a subclass of Business
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6855-6855 Partnership is a subclass of Business
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6951-6951 Proprietorship is a subclass of Business
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6922-6922 Restaurant is a subclass of Business
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6817-6817 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 2756-2756 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 1479-1479 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 820-825
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2803-2812


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