Business - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Business

Business

business, business_concern, business_organisation, business_organization, concern, enterprise

appearance as argument number 1

s__documentation(s__Business,s__ChineseLanguage,'Business 的实例是一个属于 CommercialAgent 的 Organization。 ')	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	If an agent is an instance of Business, then there exists a cognitive agent such that the cognitive agent is an instance of human and the agent employs the cognitive agent
( ! [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	If a physical is an instance of Business, then there exists an object such that the object is an instance of PostalPlace and the physical is located at the object

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	If an user account is an instance of user account and business account is an attribute of the user account and a computer user has account the user account, then the computer user is an instance of Business
( ! [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	If a collection is an instance of BusinessPark and an object is a member of the collection, then the object is an instance of Business
( ! [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	If an agent is an instance of ArchitectureFirm, then there exists a cognitive agent such that the agent is an instance of Business and architect is an attribute of the cognitive agent and the agent employs the cognitive agent
( ! [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	If an organization is an instance of ArchitectureFirm, then there exist a day, a process and an agent such that architect is an attribute of the agent and the process is an instance of founding and the organization is an instance of Business and the organization was founded on the day and the organization is a result of the process and the agent is an agent of the process
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2803-2812	If a content bearing physical is an instance of business requirement document, then there exist a proposition, a cognitive agent and a formula such that the proposition is an instance of plan and the cognitive agent is an instance of Business and the formula is an instance of process and the proposition expresses the formula and the cognitive agent desires the formula and the content bearing physical contains information the proposition
( ! [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	If an agent is an instance of DentalPractice, then there exists a cognitive agent such that the agent is an instance of Business and dentist is an attribute of the cognitive agent and the agent employs the cognitive agent
( ! [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	If an object is an instance of GoldMine, then there exists an agent such that the agent is an instance of Business and the agent possesses the object
( ! [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	If an agent is an instance of LawFirm, then there exists a cognitive agent such that the agent is an instance of Business and Lawyer is an attribute of the cognitive agent and the agent employs the cognitive agent

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