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。 ')

Merge.kif 16327-16328
s__documentation(s__Business,s__EnglishLanguage,'An instance of Business is an Organization that is a CommercialAgent.')

Merge.kif 16325-16326
s__instance(s__CommercialAgent,s__SetOrClass)

Merge.kif 16323-16323 Business is a subclass of commercial agent
s__subclass(s__Business,s__Organization)

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

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


s__instance(s__Business,s__SetOrClass)

Society.kif 1424-1424 AdvertisingAgency is a subclass of Business
s__instance(s__Business,s__SetOrClass)

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

Society.kif 153-153 ArchitectureFirm is a subclass of Business
s__subclass(s__Bakery,s__Business)

Dining.kif 65-65 Bakery is a subclass of Business
s__subclass(s__CommercialFarm,s__Business)

Society.kif 1481-1481 CommercialFarm is a subclass of Business
s__instance(s__Business,s__SetOrClass)

Merge.kif 16334-16334 Corporation is a subclass of Business
s__instance(s__Business,s__SetOrClass)

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

Society.kif 179-179 DentalPractice is a subclass of Business
s__subclass(s__EntertainmentCompany,s__Business)

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

Mid-level-ontology.kif 6795-6795 Financial company is a subclass of Business
s__instance(s__Business,s__SetOrClass)

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

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

Society.kif 166-166 LawFirm is a subclass of Business
s__instance(s__Business,s__SetOrClass)

Society.kif 1521-1521 MineBusiness is a subclass of Business
s__instance(s__Partnership,s__SetOrClass)

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

Society.kif 192-192 PrivateMedicalClinic is a subclass of Business
s__instance(s__Business,s__SetOrClass)

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

Mid-level-ontology.kif 6941-6941 Restaurant is a subclass of Business
s__subclass(s__TransportationCompany,s__Business)

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

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


s__domain(s__businessUnit__m,2,s__Business)

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

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

antecedent
-------------------------


( ! [V__BUS] :
   (s__instance(V__BUS,s__Business) =>
     (? [V__P] :
       (s__instance(V__P,s__Human) &
         s__employs(V__BUS,V__P))))
)

Society.kif 255-260
( ! [V__BUS] :
   (s__instance(V__BUS,s__Business) =>
     (? [V__PP] :
       (s__instance(V__PP,s__PostalPlace) &
         s__located(V__BUS,V__PP))))
)

Society.kif 247-252

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


( ! [V__ACCOUNT,V__USER] :
   ((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
( ! [V__BP,V__B] :
   ((s__instance(V__BP,s__BusinessPark) &
       s__member(V__B,V__BP))
   =>
   s__instance(V__B,s__Business))
)

Society.kif 378-382
( ! [V__AF] :
   (s__instance(V__AF,s__ArchitectureFirm) =>
     (? [V__A] :
       (s__instance(V__AF,s__Business) &
         s__attribute(V__A,s__Architect) &
         s__employs(V__AF,V__A))))
)

Society.kif 155-161
( ! [V__AF] :
   (s__instance(V__AF,s__ArchitectureFirm) =>
     (? [V__DATE,V__F,V__A] :
       (s__attribute(V__A,s__Architect) &
         s__instance(V__F,s__Founding) &
         s__instance(V__AF,s__Business) &
         s__foundingdate(V__AF,V__DATE)
       &
       s__result(V__F,V__AF)
     &
     s__agent(V__F,V__A))))
)

Society.kif 284-293
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2803-2812
( ! [V__DP] :
   (s__instance(V__DP,s__DentalPractice) =>
     (? [V__D] :
       (s__instance(V__DP,s__Business) &
         s__attribute(V__D,s__Dentist) &
         s__employs(V__DP,V__D))))
)

Society.kif 181-187
( ! [V__GM] :
   (s__instance(V__GM,s__GoldMine) =>
     (? [V__BUS] :
       (s__instance(V__BUS,s__Business) &
         s__possesses(V__BUS,V__GM))))
)

Society.kif 527-532
( ! [V__LF] :
   (s__instance(V__LF,s__LawFirm) =>
     (? [V__L] :
       (s__instance(V__LF,s__Business) &
         s__attribute(V__L,s__Lawyer) &
         s__employs(V__LF,V__L))))
)

Society.kif 167-173


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners