Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
subOrganization
Sigma KEE - subOrganization
subOrganization
appearance as argument number 1
(
documentation
subOrganization
ChineseLanguage
"(
subOrganization
?ORG1 ?ORG2)的意思是 ?ORG1 是一家
Organization
,而它是
Organization
?ORG2 的一部分。注:
subOrganization
属于 一种
ReflexiveRelation
,所以每一个
Organization
都是他自己的
subOrganization
。")
chinese_format.kif 3751-3753
(
documentation
subOrganization
EnglishLanguage
"(
subOrganization
?ORG1 ?ORG2) means that ?ORG1 is an
Organization
which is a part of the
Organization
?ORG2. Note that
subOrganization
is a
ReflexiveRelation
, so every
Organization
is a
subOrganization
of itself.")
Merge.kif 16463-16466
(
domain
subOrganization
1
Organization
)
Merge.kif 16461-16461
The number 1 argument of
sub organization
is an
instance
of
organization
(
domain
subOrganization
2
Organization
)
Merge.kif 16462-16462
The number 2 argument of
sub organization
is an
instance
of
organization
(
instance
subOrganization
PartialOrderingRelation
)
Merge.kif 16460-16460
sub organization
is an
instance
of
partial ordering relation
(
subrelation
subOrganization
subCollection
)
Merge.kif 16459-16459
sub organization
is a
subrelation
of
sub collection
appearance as argument number 2
(
disjointRelation
ancestorOrganization
subOrganization
)
Mid-level-ontology.kif 23585-23585
ancestor organization
and
sub organization
are
disjoint
(
format
ChineseLanguage
subOrganization
"%1 %n 是 %2
Organization
的一部分")
chinese_format.kif 810-810
(
format
ChineseLanguage
subOrganization
"%1 %n 是 %2 机构 的一
part
")
chinese_format.kif 549-549
(
format
EnglishLanguage
subOrganization
"%1 is %n a
part
of the organization %2")
english_format.kif 554-554
(
format
EnglishLanguage
subOrganization
"%1 is %n a part of the organization %2")
english_format.kif 823-823
(
format
JapaneseLanguage
subOrganization
"%1 は組織 %2 の一部では %n")
english_format.kif 824-824
(
subrelation
chamberOfLegislature
subOrganization
)
Government.kif 2045-2045
chamber of legislature
is a
subrelation
of
sub organization
(
termFormat
ChineseLanguage
subOrganization
"子机构")
chinese_format.kif 550-550
(
termFormat
ChineseLanguage
subOrganization
"子组织")
domainEnglishFormat.kif 55743-55743
(
termFormat
ChineseTraditionalLanguage
subOrganization
"子組織")
domainEnglishFormat.kif 55742-55742
(
termFormat
EnglishLanguage
subOrganization
"sub organization")
domainEnglishFormat.kif 55741-55741
antecedent
(=>
(
and
(
attribute
?ORG
UnicameralLegislature
)
(
legislativeBranch
?ORG ?AREA)
(
instance
?CHAMBER1
LegislativeChamber
)
(
subOrganization
?CHAMBER1
(
GovernmentFn
?AREA))
(
instance
?CHAMBER2
LegislativeChamber
)
(
subOrganization
?CHAMBER2
(
GovernmentFn
?AREA)))
(
equal
?CHAMBER1 ?CHAMBER2))
Government.kif 1962-1970
If
unicameral legislature
is an
attribute
of
an organization
and
a geopolitical area
is a
legislative
branch of
the organization
and
another organization
is an
instance
of
legislative chamber
and
the other organization
is a part of the organization the
government
of
the geopolitical area
and
a third organization
is an
instance
of
legislative chamber
and
the third organization
is a part of the organization the
government
of
the geopolitical area
,
then
the other organization
is
equal
to
the third organization
(=>
(
and
(
diplomaticRepresentativeInRole
?AGENT1 ?PERSON ?POSITION ?AGENT2)
(
instance
?AGENT1
Nation
)
(
instance
?ORG
DiplomaticOrganization
)
(
subOrganization
?ORG
(
GovernmentFn
?AGENT1))
(
occupiesPosition
?PERSON ?POSITION ?ORG)
(
instance
?AGENT2
GeopoliticalArea
))
(
agentOperatesInArea
?ORG ?AGENT2))
Government.kif 4491-4499
If
a geopolitical area
is
diplomatic
representative in role
a human
for
a position
with
an agent
and
the geopolitical area
is an
instance
of
nation
and
an organization
is an
instance
of
diplomatic organization
and
the organization
is a part of the organization the
government
of
the geopolitical area
and
the human
holds the
position
of
the position
in
the organization
and
the agent
is an
instance
of
geopolitical area
,
then
the agent
is an
agent
operates in area of
the organization
(=>
(
and
(
equal
?DEP
(
DepartmentOfFn
?COMP ?PHYS))
(
subOrganization
?DEP2 ?COMP)
(
not
(
equal
?DEP ?DEP2))
(
instance
?I ?PHYS)
(
inScopeOfInterest
?P ?I)
(
equal
?P1
(
ProbabilityFn
(
agent
?P ?DEP)))
(
equal
?P2
(
ProbabilityFn
(
agent
?P ?DEP2))))
(
greaterThan
?P1 ?P2))
Mid-level-ontology.kif 17728-17742
If
an organization
is
equal
to the
department
of
a kind of physical
in
another organization
and
the organization
2 is a part of the organization
the other organization
and
the organization
is not
equal
to
the organization
2 and
an entity
is an
instance
of
a kind of physical
and
a cognitive agent
is
interested
in
the entity
and
the cognitive agent
1 is
equal
to the
probability
of
the organization
is an
agent
of
the cognitive agent
and
the cognitive agent
2 is
equal
to the
probability
of
the organization
2 is an
agent
of
the cognitive agent
,
then
the cognitive agent
1 is
greater
than
the cognitive agent
2
(=>
(
and
(
executiveBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
)
(
subOrganization
?ORG ?BRANCH))
(
subOrganization
?ORG
(
GovernmentFn
?AREA)))
Government.kif 1298-1303
If
a geopolitical area
is an
executive
branch of
an organization
and
the geopolitical area
is an
instance
of
geopolitical area
and
another organization
is a part of the organization
the organization
,
then
the other organization
is a part of the organization the
government
of
the geopolitical area
(=>
(
and
(
instance
?CAB
GovernmentCabinet
)
(
subOrganization
?CAB
(
GovernmentFn
?AREA))
(
instance
?AREA
GeopoliticalArea
))
(
hasPurpose
?CAB
(
exists
(?ADVICE ?LEADER)
(
and
(
instance
?ADVICE
Stating
)
(
agent
?ADVICE ?CAB)
(
patient
?ADVICE ?LEADER)
(
leader
?LEADER
(
GovernmentFn
?AREA))))))
Government.kif 1498-1509
If
an organization
is an
instance
of
government cabinet
and
the organization
is a part of the organization the
government
of
a geopolitical area
and
the geopolitical area
is an
instance
of
geopolitical area
,
then
the organization
has the purpose there exist
an entity
and
another entity
such that
the entity
is an
instance
of
stating
and
the organization
is an
agent
of
the entity
and
the other entity
is a
patient
of
the entity
and the
government
of
the geopolitical area
is a
leader
of
the other entity
(=>
(
and
(
instance
?COURT
SupremeCourt
)
(
subOrganization
?COURT
(
GovernmentFn
?COUNTRY))
(
instance
?COUNTRY
Nation
))
(
instance
?COURT
(
SupremeCourtFn
?COUNTRY)))
Government.kif 2176-2181
If
an organization
is an
instance
of
supreme court
and
the organization
is a part of the organization the
government
of
a geopolitical area
and
the geopolitical area
is an
instance
of
nation
,
then
the organization
is an
instance
of the
supreme
court of
the geopolitical area
(=>
(
and
(
instance
?GOV
Government
)
(
subOrganization
?ORG ?GOV))
(
instance
?ORG
GovernmentOrganization
))
Merge.kif 16409-16413
If
an organization
is an
instance
of
government
and
another organization
is a part of the organization
the organization
,
then
the other organization
is an
instance
of
government organization
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
instance
?FORCE1
AirForce
))
(
leaderPosition
?FORCE1
JointForcesAirCommander
))
MilitaryPersons.kif 371-376
If
an organization
is an
instance
of
joint forces
and
another organization
is a part of the organization
the organization
and
the other organization
is an
instance
of
air force
,
then
joint forces air commander
is a
leader
position of
the other organization
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
instance
?FORCE1
Army
))
(
leaderPosition
?FORCE1
JointForcesLandCommander
))
MilitaryPersons.kif 393-398
If
an organization
is an
instance
of
joint forces
and
another organization
is a part of the organization
the organization
and
the other organization
is an
instance
of
army
,
then
joint forces land commander
is a
leader
position of
the other organization
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
instance
?FORCE1
CoastGuard
))
(
leaderPosition
?FORCE1
JointForcesMaritimeCommander
))
MilitaryPersons.kif 425-430
If
an organization
is an
instance
of
joint forces
and
another organization
is a part of the organization
the organization
and
the other organization
is an
instance
of
coast guard
,
then
joint forces maritime commander
is a
leader
position of
the other organization
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
instance
?FORCE1
Navy-BranchOfService
))
(
leaderPosition
?FORCE1
JointForcesMaritimeCommander
))
MilitaryPersons.kif 417-422
If
an organization
is an
instance
of
joint forces
and
another organization
is a part of the organization
the organization
and
the other organization
is an
instance
of
navy- branch of service
,
then
joint forces maritime commander
is a
leader
position of
the other organization
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
instance
?FORCE1
SpecialOperationsForces
))
(
leaderPosition
?FORCE1
JointForcesSpecialOperationsCommander
))
MilitaryPersons.kif 446-451
If
an organization
is an
instance
of
joint forces
and
another organization
is a part of the organization
the organization
and
the other organization
is an
instance
of
special operations forces
,
then
joint forces special operations commander
is a
leader
position of
the other organization
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
leaderPosition
?FORCE1 ?COMMANDER1)
(
leaderPosition
?JOINT ?JOINTCOMMANDER))
(
subordinatePosition
?JOINT ?COMMANDER1 ?JOINTCOMMANDER))
MilitaryProcesses.kif 1751-1757
If
an organization
is an
instance
of
joint forces
and
another organization
is a part of the organization
the organization
and
a position
is a
leader
position of
the other organization
and
the organization
COMMANDER is a
leader
position of
the organization
,
then
the organization
is
subordinate
position
the position
for
the organization
COMMANDER
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
subOrganization
?FORCE2 ?JOINT)
(
not
(
equal
?FORCE1 ?FORCE2))
(
leaderPosition
?JOINT ?JOINTCOMMANDER))
(
and
(
leaderPosition
?FORCE1 ?JOINTCOMMANDER)
(
leaderPosition
?FORCE2 ?JOINTCOMMANDER)))
MilitaryProcesses.kif 1736-1746
If
an organization
is an
instance
of
joint forces
and
another organization
is a part of the organization
the organization
and
a third organization
is a part of the organization
the organization
and
the other organization
is not
equal
to
the third organization
and
the organization
COMMANDER is a
leader
position of
the organization
,
then
the organization
COMMANDER is a
leader
position of
the other organization
and
the organization
COMMANDER is a
leader
position of
the third organization
(=>
(
and
(
instance
?ORG
JudicialOrganization
)
(
subOrganization
?ORG ?GOV)
(
instance
?GOV
GovernmentOrganization
))
(
instance
?ORG
GovernmentOrganization
))
Government.kif 2070-2075
If
an organization
is an
instance
of
judicial organization
and
the organization
is a part of the organization
another organization
and
the other organization
is an
instance
of
government organization
,
then
the organization
is an
instance
of
government organization
(=>
(
and
(
instance
?ORG
LegislativeOrganization
)
(
subOrganization
?ORG ?GOV)
(
instance
?GOV
GovernmentOrganization
))
(
instance
?ORG
GovernmentOrganization
))
Government.kif 1915-1920
If
an organization
is an
instance
of
legislative organization
and
the organization
is a part of the organization
another organization
and
the other organization
is an
instance
of
government organization
,
then
the organization
is an
instance
of
government organization
(=>
(
and
(
instance
?UNIT
SecurityUnit
)
(
subOrganization
?UNIT ?ORG))
(
holdsObligation
(
exists
(?MAINTAIN)
(
and
(
instance
?MAINTAIN
Maintaining
)
(
agent
?MAINTAIN ?UNIT)
(
patient
?MAINTAIN ?ORG))) ?UNIT))
Mid-level-ontology.kif 8129-8139
If
an organization
is an
instance
of
security unit
and
the organization
is a part of the organization
another organization
,
then
the organization
is
obliged
to perform tasks of type there exists
an entity
such that
the entity
is an
instance
of
maintaining
and
the organization
is an
agent
of
the entity
and
the other organization
is a
patient
of
the entity
(=>
(
and
(
judicialBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
)
(
subOrganization
?ORG ?BRANCH))
(
subOrganization
?ORG
(
GovernmentFn
?AREA)))
Government.kif 2115-2120
If
a geopolitical area
is a
judicial
branch of
an organization
and
the geopolitical area
is an
instance
of
geopolitical area
and
another organization
is a part of the organization
the organization
,
then
the other organization
is a part of the organization the
government
of
the geopolitical area
(=>
(
and
(
subOrganization
?ORG ?GOV)
(
instance
?GOV
GovernmentOrganization
))
(
instance
?ORG
GovernmentOrganization
))
Merge.kif 16415-16419
If
an organization
is a part of the organization
another organization
and
the other organization
is an
instance
of
government organization
,
then
the organization
is an
instance
of
government organization
consequent
(<=>
(
instance
?ORG
GovernmentOrganization
)
(
or
(
instance
?ORG
Government
)
(
exists
(?GOV)
(
and
(
instance
?GOV
Government
)
(
subOrganization
?ORG ?GOV)))))
Government.kif 108-115
An organization
is an
instance
of
government organization
if and only if
the organization
is an
instance
of
government
or there exists
another organization
such that
the other organization
is an
instance
of
government
and
the organization
is a part of the organization
the other organization
(=>
(
and
(
diplomaticOrganizationType
?AGENT1 ?TYPE ?AGENT2)
(
instance
?AGENT1
Nation
)
(
instance
?AGENT2
GeopoliticalArea
))
(
exists
(?ORG)
(
and
(
instance
?ORG ?TYPE)
(
located
?ORG ?AGENT2)
(
subOrganization
?ORG
(
GovernmentFn
?AGENT1)))))
Government.kif 4628-4637
If
a geopolitical area
is
diplomatic
organization type
a kind of organization
for
an agent
and
the geopolitical area
is an
instance
of
nation
and
the agent
is an
instance
of
geopolitical area
,
then there exists
another organization
such that
the other organization
is an
instance
of
a kind of organization
and
the other organization
is
located
at
the agent
and
the other organization
is a part of the organization the
government
of
the geopolitical area
(=>
(
and
(
diplomaticOrganizationType
?AGENT1 ?TYPE ?AGENT2)
(
instance
?AGENT1
Organization
)
(
instance
?AGENT2
GeopoliticalArea
))
(
exists
(?ORG)
(
and
(
instance
?ORG ?TYPE)
(
located
?ORG ?AGENT2)
(
subOrganization
?ORG ?AGENT1))))
Government.kif 4638-4647
If
an organization
is
diplomatic
organization type
another kind of organization
for
an agent
and
the organization
is an
instance
of
organization
and
the agent
is an
instance
of
geopolitical area
,
then there exists
a third organization
such that
the third organization
is an
instance
of
another kind of organization
and
the third organization
is
located
at
the agent
and
the third organization
is a part of the organization
the organization
(=>
(
and
(
diplomaticRepresentativeInRole
?AGENT1 ?PERSON ?POSITION ?AGENT2)
(
instance
?AGENT1
Nation
))
(
exists
(?ORG)
(
and
(
instance
?ORG
DiplomaticOrganization
)
(
subOrganization
?ORG
(
GovernmentFn
?AGENT1))
(
occupiesPosition
?PERSON ?POSITION ?ORG))))
Government.kif 4450-4458
If
a geopolitical area
is
diplomatic
representative in role
a human
for
a position
with
an agent
and
the geopolitical area
is an
instance
of
nation
,
then there exists
an organization
such that
the organization
is an
instance
of
diplomatic organization
and
the organization
is a part of the organization the
government
of
the geopolitical area
and
the human
holds the
position
of
the position
in
the organization
(=>
(
and
(
element
?ROOM
(
PropertyFn
?HOTEL))
(
attribute
?ROOM
AnnexRoom
)
(
instance
?ROOM
HotelRoom
))
(
exists
(?BLDG1 ?BLDG2 ?FRNT)
(
and
(
subOrganization
?FRNT ?HOTEL)
(
instance
?FRNT
HotelFrontDesk
)
(
located
?FRNT ?BLDG1)
(
element
?BLDG1
(
PropertyFn
?HOTEL))
(
element
?BLDG2
(
PropertyFn
?HOTEL))
(
part
?ROOM ?BLDG2)
(
not
(
equal
?BLDG1 ?BLDG2)))))
Hotel.kif 1105-1118
If
an object
is an
element
of
belongings
of
an organization
and
annex room
is an
attribute
of
the object
and
the object
is an
instance
of
hotel room
,
then there exist
another object
,
a third object
and
another organization
such that
the other organization
is a part of the organization
the organization
and
the other organization
is an
instance
of
front desk
and
the other organization
is
located
at
the other object
and
the other object
is an
element
of
belongings
of
the organization
and
the third object
is an
element
of
belongings
of
the organization
and
the object
is a
part
of
the third object
and
the other object
is not
equal
to
the third object
(=>
(
and
(
executiveBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
)
(
subOrganization
?ORG ?BRANCH))
(
subOrganization
?ORG
(
GovernmentFn
?AREA)))
Government.kif 1298-1303
If
a geopolitical area
is an
executive
branch of
an organization
and
the geopolitical area
is an
instance
of
geopolitical area
and
another organization
is a part of the organization
the organization
,
then
the other organization
is a part of the organization the
government
of
the geopolitical area
(=>
(
and
(
executiveBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
))
(
subOrganization
?BRANCH
(
GovernmentFn
?AREA)))
Government.kif 1292-1296
If
a geopolitical area
is an
executive
branch of
an organization
and
the geopolitical area
is an
instance
of
geopolitical area
,
then
the organization
is a part of the organization the
government
of
the geopolitical area
(=>
(
and
(
executiveBranch
?BRANCH ?ORG)
(
instance
?ORG
Organization
))
(
subOrganization
?BRANCH ?ORG))
Government.kif 1286-1290
If
an organization
is an
executive
branch of
another organization
and
the organization
is an
instance
of
organization
,
then
the other organization
is a part of the organization
the organization
(=>
(
and
(
governmentType
?PLACE ?TYPE)
(
instance
?PLACE
GeopoliticalArea
)
(
subAttribute
?TYPE
ParliamentaryGovernment
))
(
exists
(?ORG)
(
and
(
instance
?ORG
Parliament
)
(
subOrganization
?ORG
(
GovernmentFn
?PLACE)))))
Government.kif 244-252
If
a form of government
is a
government
type of
a geopolitical area
and
the geopolitical area
is an
instance
of
geopolitical area
and
the form of government
is a
subattribute
of
parliamentary government
,
then there exists
an organization
such that
the organization
is an
instance
of
parliament
and
the organization
is a part of the organization the
government
of
the geopolitical area
(=>
(
and
(
instance
?EV
Evacuation
)
(
agent
?EV ?A)
(
experiencer
?EV ?P))
(
exists
(?C ?CA)
(
and
(
instance
?C
Classifying
)
(
subProcess
?C ?EV)
(
experiencer
?C ?P)
(
or
(
subOrganization
?CA ?A)
(
member
?CA ?A)
(
equal
?CA ?A))
(
agent
?C ?CA))))
MilitaryProcesses.kif 2608-2622
If
a process
is an
instance
of
evacuation
and
an organization
is an
agent
of
the process
and
an agent
experience
s
the process
,
then there exist
another process
and
the other process
A such that
the other process
is an
instance
of
classifying
and
the other process
is a
subprocess
of
the process
and
the agent
experience
s
the other process
and
the other process
A is a part of the organization
the organization
or
the other process
A is a
member
of
the organization
or
the other process
A is
equal
to
the organization
and
the other process
A is an
agent
of
the other process
(=>
(
and
(
instance
?EV
Evacuation
)
(
agent
?EV ?A)
(
origin
?EV ?O))
(
exists
(?T ?TA)
(
and
(
instance
?T
Translocation
)
(
subProcess
?T ?EV)
(
origin
?T ?O)
(
or
(
experiencer
?T ?TA)
(
agent
?T ?TA))
(
or
(
subOrganization
?TA ?A)
(
member
?TA ?A)
(
equal
?TA ?A)))))
MilitaryProcesses.kif 2626-2642
If
a process
is an
instance
of
evacuation
and
an organization
is an
agent
of
the process
and
the process
originate
s at
an object
,
then there exist
another process
and
the other process
A such that
the other process
is an
instance
of
translocation
and
the other process
is a
subprocess
of
the process
and
the other process
originate
s at
the object
and
the other process
A
experience
s
the other process
or
the other process
A is an
agent
of
the other process
and
the other process
A is a part of the organization
the organization
or
the other process
A is a
member
of
the organization
or
the other process
A is
equal
to
the organization
(=>
(
and
(
instance
?EV
Evacuation
)
(
experiencer
?EV ?P)
(
agent
?EV ?A))
(
exists
(?M ?MA)
(
and
(
instance
?M
TherapeuticProcess
)
(
subProcess
?M ?EV)
(
or
(
subOrganization
?MA ?A)
(
member
?MA ?A)
(
equal
?MA ?A))
(
agent
?M ?MA)
(
experiencer
?M ?P))))
MilitaryProcesses.kif 2590-2604
If
a process
is an
instance
of
evacuation
and
an agent
experience
s
the process
and
an organization
is an
agent
of
the process
,
then there exist
another process
and
the other process
A such that
the other process
is an
instance
of
therapeutic process
and
the other process
is a
subprocess
of
the process
and
the other process
A is a part of the organization
the organization
or
the other process
A is a
member
of
the organization
or
the other process
A is
equal
to
the organization
and
the other process
A is an
agent
of
the other process
and
the agent
experience
s
the other process
(=>
(
and
(
instance
?EV
Evacuation
)
(
origin
?EV ?O)
(
agent
?EV ?A))
(
exists
(?M ?MA)
(
and
(
instance
?M
Maintaining
)
(
eventLocated
?M ?O)
(
subProcess
?M ?EV)
(
or
(
subOrganization
?MA ?A)
(
member
?MA ?A)
(
equal
?MA ?A))
(
agent
?M ?MA))))
MilitaryProcesses.kif 2572-2586
If
a process
is an
instance
of
evacuation
and
the process
originate
s at
an object
and
an organization
is an
agent
of
the process
,
then there exist
another process
and
the other process
A such that
the other process
is an
instance
of
maintaining
and
the other process
is
located
at
2
and
the other process
is a
subprocess
of
the process
and
the other process
A is a part of the organization
the organization
or
the other process
A is a
member
of
the organization
or
the other process
A is
equal
to
the organization
and
the other process
A is an
agent
of
the other process
(=>
(
and
(
instance
?EV
Evacuation
)
(
origin
?EV ?O)
(
agent
?EV ?A))
(
exists
(?T ?TA)
(
and
(
instance
?T
Transportation
)
(
destination
?T ?O)
(
or
(
subOrganization
?TA ?A)
(
member
?TA ?A)
(
equal
?TA ?A))
(
or
(
agent
?T ?TA)
(
patient
?T ?TA)))))
MilitaryProcesses.kif 2553-2568
If
a process
is an
instance
of
evacuation
and
the process
originate
s at
an object
and
an organization
is an
agent
of
the process
,
then there exist
another process
and
the other process
A such that
the other process
is an
instance
of
transportation
and
the other process
end
s up at
the object
and
the other process
A is a part of the organization
the organization
or
the other process
A is a
member
of
the organization
or
the other process
A is
equal
to
the organization
and
the other process
A is an
agent
of
the other process
or
the other process
A is a
patient
of
the other process
(=>
(
and
(
instance
?M
OrganizationalMerging
)
(
patient
?M ?ORG1)
(
patient
?M ?ORG2)
(
not
(
equal
?ORG1 ?ORG2)))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?M))
(
not
(
exists
(?S1)
(
and
(
subOrganization
?ORG1 ?S1)
(
subOrganization
?ORG2 ?S1)))))
(
holdsDuring
(
EndFn
(
WhenFn
?M))
(
exists
(?S2)
(
and
(
subOrganization
?ORG1 ?S2)
(
subOrganization
?ORG2 ?S2))))))
Mid-level-ontology.kif 15726-15745
If
a process
is an
instance
of
organizational merging
and
an entity
is a
patient
of
the process
and
another entity
is a
patient
of
the process
and
the entity
is not
equal
to
the other entity
,
then there doesn't exist
a third entity
such that
the entity
is a part of the organization
the third entity
and
the other entity
is a part of the organization
the third entity
holds
during
the
beginning
of the
time
of existence of
the process
and there exists
a fourth entity
such that
the entity
is a part of the organization
the fourth entity
and
the other entity
is a part of the organization
the fourth entity
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
judicialBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
)
(
subOrganization
?ORG ?BRANCH))
(
subOrganization
?ORG
(
GovernmentFn
?AREA)))
Government.kif 2115-2120
If
a geopolitical area
is a
judicial
branch of
an organization
and
the geopolitical area
is an
instance
of
geopolitical area
and
another organization
is a part of the organization
the organization
,
then
the other organization
is a part of the organization the
government
of
the geopolitical area
(=>
(
and
(
judicialBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
))
(
subOrganization
?BRANCH
(
GovernmentFn
?AREA)))
Government.kif 2109-2113
If
a geopolitical area
is a
judicial
branch of
an organization
and
the geopolitical area
is an
instance
of
geopolitical area
,
then
the organization
is a part of the organization the
government
of
the geopolitical area
(=>
(
and
(
judicialBranch
?BRANCH ?ORG)
(
instance
?ORG
Organization
))
(
subOrganization
?BRANCH ?ORG))
Government.kif 2103-2107
If
an organization
is a
judicial
branch of
another organization
and
the organization
is an
instance
of
organization
,
then
the other organization
is a part of the organization
the organization
(=>
(
and
(
legislativeBranch
?ORG ?AGENT)
(
instance
?AGENT
Organization
))
(
subOrganization
?ORG ?AGENT))
Government.kif 2008-2012
If
an organization
is a
legislative
branch of
another organization
and
the organization
is an
instance
of
organization
,
then
the other organization
is a part of the organization
the organization
(=>
(
and
(
legislativeBranch
?ORG ?AREA)
(
instance
?AREA
GeopoliticalArea
))
(
subOrganization
?ORG
(
GovernmentFn
?AREA)))
Government.kif 2014-2018
If
a geopolitical area
is a
legislative
branch of
an organization
and
the geopolitical area
is an
instance
of
geopolitical area
,
then
the organization
is a part of the organization the
government
of
the geopolitical area
(=>
(
and
(
subEchelon
?MUClass1 ?MUClass2)
(
instance
?MU1 ?MUClass1))
(
exists
(?MU2)
(
and
(
instance
?MU2 ?MUClass2)
(
subOrganization
?MU1 ?MU2))))
Military.kif 693-700
If
a kind of military unit
is a
sub
echelon of
another kind of military unit
and
an organization
is an
instance
of
another kind of military unit
,
then there exists
another organization
such that
the other organization
is an
instance
of
a kind of military unit
and
the organization
is a part of the organization
the other organization
(=>
(
and
(
subclass
?PUB
JointPublication
)
(
instance
?ONE ?PUB)
(
containsInformation
?ONE ?CONTENT)
(
authors
?JORG ?PUB))
(
exists
(?ORG)
(
and
(
subOrganization
?ORG
USMilitary
)
(
confersObligation
?CONTENT ?JORG ?ORG))))
MilitaryProcesses.kif 940-949
If
a kind of content bearing object
is a
subclass
of
joint publication
and
a content bearing physical
is an
instance
of
a kind of content bearing object
and
the content bearing physical
contain
s information
a formula
and
an agent
is the
author
of
the kind of content bearing object
,
then there exists
an organization
such that
the organization
is a part of the organization
US military
and
the agent
obligate
s
the organization
to perform task of the type
the formula
(=>
(
businessUnit
?BU ?ORG)
(
subOrganization
?BU ?ORG))
UXExperimentalTerms.kif 2769-2771
If
an organization
is a
business
unit of
a Business
,
then
the organization
is a part of the organization
the Business
(=>
(
hostileForces
?U1 ?U2)
(
exists
(?WAR ?A1 ?A2)
(
and
(
instance
?WAR
War
)
(
contestParticipant
?WAR ?A1)
(
contestParticipant
?WAR ?A2)
(
subOrganization
?U1
(
GovernmentFn
?A1))
(
subOrganization
?U2
(
GovernmentFn
?A2)))))
Mid-level-ontology.kif 8030-8038
If
a military unit
is a
hostile
forces of
another military unit
,
then there exist
a contest
,
a geopolitical area
and
another geopolitical area
such that
the contest
is an
instance
of
war
and
the geopolitical area
participates
in
the contest
and
the other geopolitical area
participates
in
the contest
and
the other military unit
is a part of the organization the
government
of
the geopolitical area
and
the military unit
is a part of the organization the
government
of
the other geopolitical area
(=>
(
instance
?AREA
GeopoliticalArea
)
(
subOrganization
(
CabinetFn
?AREA)
(
ExecutiveBranchFn
?AREA)))
Government.kif 1519-1521
If
a geopolitical area
is an
instance
of
geopolitical area
,
then the
cabinet
of
the geopolitical area
is a part of the organization the
executive
branch of
the geopolitical area
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
appearance as argument number 0
(
subOrganization
CommissionForSocialDevelopment
EconomicAndSocialCouncil
)
Government.kif 3057-3057
Commission for social development
is a part of the organization
economic and social council
(
subOrganization
CommissionOnCrimePreventionAndCriminalJustice
EconomicAndSocialCouncil
)
Government.kif 3059-3059
Commission on crime prevention and criminal justice
is a part of the organization
economic and social council
(
subOrganization
CommissionOnHumanRights
EconomicAndSocialCouncil
)
Government.kif 3061-3061
Commission on human rights
is a part of the organization
economic and social council
(
subOrganization
CommissionOnNarcoticsDrugs
EconomicAndSocialCouncil
)
Government.kif 3063-3063
Commission on narcotics drugs
is a part of the organization
economic and social council
(
subOrganization
CommissionOnPopulationAndDevelopment
EconomicAndSocialCouncil
)
Government.kif 3065-3065
Commission on population and development
is a part of the organization
economic and social council
(
subOrganization
CommissionOnScienceAndTechnologyForDevelopment
EconomicAndSocialCouncil
)
Government.kif 3067-3067
Commission on science and technology for development
is a part of the organization
economic and social council
(
subOrganization
CommissionOnSustainableDevelopment
EconomicAndSocialCouncil
)
Government.kif 3069-3069
Commission on sustainable development
is a part of the organization
economic and social council
(
subOrganization
CommissionOnTheStatusOfWomen
EconomicAndSocialCouncil
)
Government.kif 3071-3071
Commission on the status of women
is a part of the organization
economic and social council
(
subOrganization
DepartmentOfHomelandSecurity
(
GovernmentFn
UnitedStates
))
Government.kif 4808-4808
Department of homeland security
is a part of the organization the
government
of
united states
(
subOrganization
EconomicAndSocialCommissionForAsiaAndThePacific
EconomicAndSocialCouncil
)
Government.kif 3073-3073
Economic and social commission for asia and the pacific
is a part of the organization
economic and social council
(
subOrganization
EconomicAndSocialCommissionForWesternAsia
EconomicAndSocialCouncil
)
Government.kif 3075-3075
Economic and social commission for western asia
is a part of the organization
economic and social council
(
subOrganization
EconomicAndSocialCouncil
UnitedNations
)
Government.kif 3056-3056
Economic and social council
is a part of the organization
united nations
(
subOrganization
EconomicCommissionForAfrica
EconomicAndSocialCouncil
)
Government.kif 3077-3077
Economic commission for africa
is a part of the organization
economic and social council
(
subOrganization
EconomicCommissionForEurope
EconomicAndSocialCouncil
)
Government.kif 3079-3079
Economic commission for europe
is a part of the organization
economic and social council
(
subOrganization
EconomicCommissionForLatinAmericaAndTheCaribbean
EconomicAndSocialCouncil
)
Government.kif 3081-3081
Economic commission for latin america and the caribbean
is a part of the organization
economic and social council
(
subOrganization
FoodAndAgricultureOrganization
EconomicAndSocialCouncil
)
Government.kif 3083-3083
Food and agriculture organization
is a part of the organization
economic and social council
(
subOrganization
GoogleCorporation
AlphabetCorporation
)
ComputingBrands.kif 17-17
GoogleCorporation
is a part of the organization
Alphabet
(
subOrganization
HoldenCorporation
GeneralMotorsCorp
)
Cars.kif 4506-4506
Holden Corporation
is a part of the organization
General Motors
(
subOrganization
InternationalAtomicEnergyAgency
EconomicAndSocialCouncil
)
Government.kif 3084-3084
International atomic energy agency
is a part of the organization
economic and social council
(
subOrganization
InternationalBankForReconstructionAndDevelopment
EconomicAndSocialCouncil
)
Government.kif 3085-3085
International bank for reconstruction and development
is a part of the organization
economic and social council
(
subOrganization
InternationalBankForReconstructionAndDevelopment
UnitedNations
)
Government.kif 3396-3396
International bank for reconstruction and development
is a part of the organization
united nations
(
subOrganization
InternationalBankForReconstructionAndDevelopment
WorldBankGroup
)
Government.kif 4299-4299
International bank for reconstruction and development
is a part of the organization
world bank group
(
subOrganization
InternationalCenterForSecretariatOfInvestmentDisputes
EconomicAndSocialCouncil
)
Government.kif 3086-3086
International center for secretariat of investment disputes
is a part of the organization
economic and social council
(
subOrganization
InternationalCivilAviationOrganization
EconomicAndSocialCouncil
)
Government.kif 3088-3088
International civil aviation organization
is a part of the organization
economic and social council
(
subOrganization
InternationalCivilAviationOrganization
UnitedNations
)
Government.kif 3410-3410
International civil aviation organization
is a part of the organization
united nations
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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