Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
businessUnit
Sigma KEE - businessUnit
businessUnit
appearance as argument number 1
(
documentation
businessUnit
EnglishLanguage
"A
BinaryPredicate
relating an
Organization
to a
Business
, specifying that the
Organization
is a
subOrganization
of the
Business
, the organization is the
agent
of some process that
benefits
the
Business
, and there is something specific that is
inScopeOfInterest
of the
Organization
.")
UXExperimentalTerms.kif 2553-2556
(
domain
businessUnit
1
Organization
)
UXExperimentalTerms.kif 2547-2547
The number 1 argument of
business unit
is an
instance
of
organization
(
domain
businessUnit
2
Business
)
UXExperimentalTerms.kif 2549-2549
The number 2 argument of
business unit
is an
instance
of
business
(
instance
businessUnit
BinaryPredicate
)
UXExperimentalTerms.kif 2545-2545
business unit
is an
instance
of
binary predicate
appearance as argument number 2
(
format
ChineseLanguage
businessUnit
"%1 是 %2 的 business 单位")
domainEnglishFormat.kif 2942-2942
(
format
ChineseTraditionalLanguage
businessUnit
"%1 是 %2 的 business 單位")
domainEnglishFormat.kif 2941-2941
(
format
EnglishLanguage
businessUnit
"%1 is a business unit of %2")
domainEnglishFormat.kif 2940-2940
(
termFormat
EnglishLanguage
businessUnit
"business unit")
UXExperimentalTerms.kif 2551-2551
antecedent
(=>
(
and
(
businessUnit
?ORG ?BUSINESS)
(
member
?MEMBER ?ORG))
(
instance
?MEMBER
Human
))
UXExperimentalTerms.kif 2579-2583
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
(=>
(
businessUnit
?BU ?ORG)
(
exists
(?INTEREST)
(
and
(
instance
?INTEREST
Entity
)
(
inScopeOfInterest
?BU ?INTEREST))))
UXExperimentalTerms.kif 2572-2577
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
(=>
(
businessUnit
?BU ?ORG)
(
hasPurpose
?BU
(
exists
(?PROCESS)
(
and
(
instance
?PROCESS
Process
)
(
agent
?PROCESS ?BU)
(
benefits
?PROCESS ?ORG)))))
UXExperimentalTerms.kif 2563-2570
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
(=>
(
businessUnit
?BU ?ORG)
(
subOrganization
?BU ?ORG))
UXExperimentalTerms.kif 2559-2561
If
an organization
is a
business
unit of
a business
,
then
the organization
is a part of the organization
the business
consequent
(=>
(
instance
?CS
CustomerSupport
)
(
exists
(?ORG)
(
and
(
instance
?ORG
Organization
)
(
businessUnit
?CS ?ORG))))
UXExperimentalTerms.kif 2788-2793
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
(=>
(
instance
?CS
CustomerSupport
)
(
hasPurpose
?CS
(
exists
(?MEMBER ?CUSTOMER ?ORG)
(
and
(
instance
?MEMBER
CognitiveAgent
)
(
instance
?CUSTOMER
CognitiveAgent
)
(
instance
?ORG
Organization
)
(
businessUnit
?CS ?ORG)
(
member
?MEMBER ?CS)
(
customerRepresentative
?MEMBER ?CUSTOMER ?ORG)))))
UXExperimentalTerms.kif 2795-2805
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 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