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

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 16203-16204
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16201-16201	Business is a subclass of commercial agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16202-16202	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 7102-7102	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 16210-16210	Corporation is a subclass of business
No TPTP formula. May not be expressible in strict first order.	Media.kif 1702-1702	Crematorium is a subclass of business
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7112-7112	Entertainment company is a subclass of business
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7125-7125	Financial company is a subclass of business
No TPTP formula. May not be expressible in strict first order.	Media.kif 1697-1697	Funeral arranger is a subclass of business
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7145-7145	Insurance company is a subclass of business
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7211-7211	Partnership is a subclass of business
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7303-7303	Proprietorship is a subclass of business
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7275-7275	Restaurant is a subclass of business
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7173-7173	Transportation company is a subclass of business
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 64577-64577

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2549-2549	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 1283-1283	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 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
No TPTP formula. May not be expressible in strict first order.	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