businessUnit - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - businessUnit

businessUnit

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2759-2762
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2753-2753	The number 1 argument of business unit is an instance of organization
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2755-2755	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 2751-2751	business unit is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2942-2942
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2941-2941
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2940-2940
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2757-2757

antecedent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2785-2789	If an organization is a business unit of a business and a physical is a member of the organization, then the physical is an instance of human
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2778-2783	If an organization is a business unit of a business, then there exists an entity such that the entity is an instance of entity and the organization is interested in the entity
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2769-2776	If an organization is a business unit of a business, then the organization has the purpose there exists an entity such that the entity is an instance of process and the organization is an agent of the entity and the business is a beneficiary of the entity
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2765-2767	If an organization is a business unit of a business, then the organization is a part of the organization the business

consequent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2994-2999	If an organization is an instance of customer support, then there exists a business such that the business is an instance of organization and the organization is a business unit of the business
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3001-3011	If a physical is an instance of customer support, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of cognitive agent and the other entity is an instance of cognitive agent and the third entity is an instance of organization and the physical is a business unit of the third entity and the entity is a member of the physical and the entity customer representative the other entity for the third entity

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