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 15927-15928
No TPTP formula. May not be expressible in strict first order. Merge.kif 15925-15925 Business is a subclass of commercial agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 15926-15926 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 6801-6801 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 15934-15934 Corporation is a subclass of Business
No TPTP formula. May not be expressible in strict first order. Media.kif 1688-1688 Crematorium is a subclass of Business
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6811-6811 Entertainment company is a subclass of Business
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6824-6824 Financial company is a subclass of Business
No TPTP formula. May not be expressible in strict first order. Media.kif 1683-1683 FuneralArranger is a subclass of Business
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6844-6844 Insurance company is a subclass of Business
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6910-6910 Partnership is a subclass of Business
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7002-7002 Proprietorship is a subclass of Business
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6974-6974 Restaurant is a subclass of Business
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6872-6872 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 2759-2759 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 2806-2815


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