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
subordinateInOrganization
Sigma KEE - subordinateInOrganization
subordinateInOrganization
appearance as argument number 1
(
documentation
subordinateInOrganization
EnglishLanguage
"(
subordinateInOrganization
?ORG ?PERSON1 ?PERSON2) means that in the
Organization
?ORG, ?PERSON1 is subordinate to ?PERSON2.")
Mid-level-ontology.kif 22731-22733
(
domain
subordinateInOrganization
1
Organization
)
Mid-level-ontology.kif 22727-22727
The number 1 argument of
subordinate in organization
is an
instance
of
organization
(
domain
subordinateInOrganization
2
Human
)
Mid-level-ontology.kif 22728-22728
The number 2 argument of
subordinate in organization
is an
instance
of
human
(
domain
subordinateInOrganization
3
Human
)
Mid-level-ontology.kif 22729-22729
The number 3 argument of
subordinate in organization
is an
instance
of
human
(
instance
subordinateInOrganization
TernaryPredicate
)
Mid-level-ontology.kif 22726-22726
subordinate in organization
is an
instance
of
ternary predicate
appearance as argument number 2
(
format
ChineseLanguage
subordinateInOrganization
"%1 %n 是 对于 %3 在 组织 %2 的 subordinate ")
domainEnglishFormat.kif 2391-2391
(
format
ChineseTraditionalLanguage
subordinateInOrganization
"%1 %n 是 對於 %3 在 組織 %2 的 subordinate ")
domainEnglishFormat.kif 2390-2390
(
format
EnglishLanguage
subordinateInOrganization
"%1 is %n subordinate in organization %2 for %3")
domainEnglishFormat.kif 2389-2389
(
termFormat
ChineseLanguage
subordinateInOrganization
"从属于组织")
domainEnglishFormat.kif 55752-55752
(
termFormat
ChineseTraditionalLanguage
subordinateInOrganization
"從屬於組織")
domainEnglishFormat.kif 55751-55751
(
termFormat
EnglishLanguage
subordinateInOrganization
"subordinate in organization")
domainEnglishFormat.kif 55750-55750
antecedent
(=>
(
subordinateInOrganization
?ORG ?PERSON1 ?PERSON2)
(
employs
?ORG ?PERSON1))
Mid-level-ontology.kif 22735-22737
If
an organization
is
subordinate
in organization
a human
for
another human
,
then
the organization
employ
s
the human
(=>
(
subordinateInOrganization
?ORG ?PERSON1 ?PERSON2)
(
employs
?ORG ?PERSON2))
Mid-level-ontology.kif 22739-22741
If
an organization
is
subordinate
in organization
a human
for
another human
,
then
the organization
employ
s
the other human
consequent
(=>
(
and
(
subordinatePosition
?ORG ?ROLE1 ?ROLE2)
(
occupiesPosition
?PERSON1 ?ROLE1 ?ORG))
(
exists
(?PERSON2)
(
and
(
instance
?PERSON2
Human
)
(
occupiesPosition
?PERSON2 ?ROLE2 ?ORG)
(
subordinateInOrganization
?ORG ?PERSON1 ?PERSON2))))
Mid-level-ontology.kif 22753-22761
If
an organization
is
subordinate
position
a position
for
another position
and
a human
holds the
position
of
the position
in
the organization
,
then there exists
another human
such that
the other human
is an
instance
of
human
and
the other human
holds the
position
of
the other position
in
the organization
and
the organization
is
subordinate
in organization
the human
for
the other human
(=>
(
holdsDuring
?TIME
(
and
(
occupiesPosition
?PERSON
Deacon
?ORG)
(
instance
?ORG
ReligiousOrganization
)))
(
exists
(?C)
(
holdsDuring
?TIME
(
and
(
occupiesPosition
?C
Cleric
?ORG)
(
subordinateInOrganization
?ORG ?PERSON ?C)))))
Mid-level-ontology.kif 20911-20920
If
an entity
holds the
position
of
deacon
in
another entity
and
the other entity
is an
instance
of
religious organization
holds
during
a time position
,
then there exists
a third entity
such that
the third entity
holds the
position
of
cleric
in
the other entity
and
the other entity
is
subordinate
in organization
the entity
for
the third entity
holds
during
the time position
(=>
(
instance
?D
Deacon
)
(
exists
(?O ?C)
(
and
(
instance
?O
ReligiousOrganization
)
(
instance
?C
Cleric
)
(
subordinateInOrganization
?O ?D ?C))))
Mid-level-ontology.kif 20903-20909
If
a human
is an
instance
of
deacon
,
then there exist
an organization
and
another human
such that
the organization
is an
instance
of
religious organization
and
the other human
is an
instance
of
cleric
and
the organization
is
subordinate
in organization
the human
for
the other human
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