TreeView Knowledge Base Browser - Business

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Business

Business(business)

business, business_concern, business_organisation, business_organization, concern, enterprise

appearance as argument number 1

(documentation Business ChineseLanguage "Business 的实例是一个属于 CommercialAgent 的 Organization。 ")	chinese_format.kif 3660-3661
(documentation Business EnglishLanguage "An instance of Business is an Organization that is a CommercialAgent.")	Merge.kif 16378-16379
(subclass Business CommercialAgent)	Merge.kif 16376-16376	Business is a subclass of commercial agent
(subclass Business Organization)	Merge.kif 16377-16377	Business is a subclass of organization

appearance as argument number 2

(subclass Agency Business)	Mid-level-ontology.kif 8260-8260	Agency is a subclass of business
(subclass Bakery Business)	Dining.kif 65-65	Bakery is a subclass of business
(subclass Corporation Business)	Merge.kif 16385-16385	Corporation is a subclass of business
(subclass Crematorium Business)	Media.kif 1704-1704	Crematorium is a subclass of business
(subclass EntertainmentCompany Business)	Mid-level-ontology.kif 8270-8270	Entertainment company is a subclass of business
(subclass FinancialCompany Business)	Mid-level-ontology.kif 8283-8283	Financial company is a subclass of business
(subclass FuneralArranger Business)	Media.kif 1699-1699	Funeral arranger is a subclass of business
(subclass InsuranceCompany Business)	Mid-level-ontology.kif 8303-8303	Insurance company is a subclass of business
(subclass Partnership Business)	Mid-level-ontology.kif 8369-8369	Partnership is a subclass of business
(subclass Proprietorship Business)	Mid-level-ontology.kif 8461-8461	Proprietorship is a subclass of business
(subclass Restaurant Business)	Mid-level-ontology.kif 8433-8433	Restaurant is a subclass of business
(subclass TransportationCompany Business)	Mid-level-ontology.kif 8331-8331	Transportation company is a subclass of business
(termFormat EnglishLanguage Business "business")	domainEnglishFormat.kif 64570-64570	Transportation company is a subclass of business

appearance as argument number 3

(domain businessUnit 2 Business)	UXExperimentalTerms.kif 2549-2549	The number 2 argument of business unit is an instance of business
(domain customerValue 2 Business)	UXExperimentalTerms.kif 1283-1283	The number 2 argument of customer value is an instance of business

consequent

(=> (and (instance ?ACCOUNT UserAccount) (attribute ?ACCOUNT BusinessAccount) (hasAccount ?USER ?ACCOUNT)) (instance ?USER Business))	UXExperimentalTerms.kif 660-665	If an user account is an instance of user account and business account is an attribute of the user account and an agent has account the user account, then the agent is an instance of business
(=> (instance ?BRD BusinessRequirementDocument) (exists (?PLAN ?BU ?PROC) (and (instance ?PLAN Plan) (instance ?BU Business) (instance ?PROC Process) (represents ?PLAN ?PROC) (desires ?BU ?PROC) (containsInformation ?BRD ?PLAN))))	UXExperimentalTerms.kif 2596-2605	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

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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