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
-------------------------


s__documentation(s__Business,s__ChineseLanguage,'"Business 的实例是一个属于 CommercialAgentOrganization。 "')

chinese_format.kif 3660-3661
s__documentation(s__Business,s__EnglishLanguage,'"An instance of Business is an Organization that is a CommercialAgent."')

Merge.kif 15405-15406
s__subclass(s__Business,s__CommercialAgent)

s__instance(s__Business,s__SetOrClass)

s__instance(s__CommercialAgent,s__SetOrClass)

Merge.kif 15403-15403 Business is a subclass of commercial agent
s__instance(s__Organization,s__SetOrClass)

s__instance(s__Business,s__SetOrClass)

s__subclass(s__Business,s__Organization)

Merge.kif 15404-15404 Business is a subclass of organization

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


s__subclass(s__Agency,s__Business)

s__instance(s__Agency,s__SetOrClass)

s__instance(s__Business,s__SetOrClass)

Mid-level-ontology.kif 6469-6469 Agency is a subclass of Business
s__instance(s__Business,s__SetOrClass)

s__subclass(s__Bakery,s__Business)

s__instance(s__Bakery,s__SetOrClass)

Dining.kif 65-65 Bakery is a subclass of Business
s__instance(s__Business,s__SetOrClass)

s__subclass(s__Corporation,s__Business)

s__instance(s__Corporation,s__SetOrClass)

Merge.kif 15412-15412 Corporation is a subclass of Business
s__subclass(s__Crematorium,s__Business)

s__instance(s__Crematorium,s__SetOrClass)

s__instance(s__Business,s__SetOrClass)

Media.kif 1692-1692 Crematorium is a subclass of Business
s__subclass(s__EntertainmentCompany,s__Business)

s__instance(s__Business,s__SetOrClass)

s__instance(s__EntertainmentCompany,s__SetOrClass)

Mid-level-ontology.kif 6479-6479 Entertainment company is a subclass of Business
s__instance(s__FinancialCompany,s__SetOrClass)

s__subclass(s__FinancialCompany,s__Business)

s__instance(s__Business,s__SetOrClass)

Mid-level-ontology.kif 6492-6492 Financial company is a subclass of Business
s__subclass(s__FuneralArranger,s__Business)

s__instance(s__Business,s__SetOrClass)

s__instance(s__FuneralArranger,s__SetOrClass)

Media.kif 1687-1687 FuneralArranger is a subclass of Business
s__instance(s__InsuranceCompany,s__SetOrClass)

s__instance(s__Business,s__SetOrClass)

s__subclass(s__InsuranceCompany,s__Business)

Mid-level-ontology.kif 6512-6512 Insurance company is a subclass of Business
s__instance(s__Partnership,s__SetOrClass)

s__instance(s__Business,s__SetOrClass)

s__subclass(s__Partnership,s__Business)

Mid-level-ontology.kif 6560-6560 Partnership is a subclass of Business
s__instance(s__Proprietorship,s__SetOrClass)

s__instance(s__Business,s__SetOrClass)

s__subclass(s__Proprietorship,s__Business)

Mid-level-ontology.kif 6652-6652 Proprietorship is a subclass of Business
s__instance(s__Restaurant,s__SetOrClass)

s__subclass(s__Restaurant,s__Business)

s__instance(s__Business,s__SetOrClass)

Mid-level-ontology.kif 6624-6624 Restaurant is a subclass of Business
s__instance(s__TransportationCompany,s__SetOrClass)

s__instance(s__Business,s__SetOrClass)

s__subclass(s__TransportationCompany,s__Business)

Mid-level-ontology.kif 6522-6522 Transportation company is a subclass of Business

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


s__domain(s__businessUnit__m,n__2,s__Business)

UXExperimentalTerms.kif 2759-2759 The number 2 argument of business unit is an instance of Business
s__domain(s__customerValue__m,n__2,s__Business)

UXExperimentalTerms.kif 1480-1480 The number 2 argument of customer value is an instance of Business

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


( ! [V__USER,V__ACCOUNT] :
   ((s__instance(V__USER,s__Agent) =>
       (((s__instance(V__ACCOUNT,s__UserAccount) &
             s__attribute(V__ACCOUNT,s__BusinessAccount) &
             s__hasAccount(V__USER,V__ACCOUNT))
         =>
         (s__instance(V__USER,s__Business)))))
   )
)

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