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
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 16745-16748
(
domain
subOrganization
1
Organization
)
Merge.kif 16743-16743
The number 1 argument of
sub organization
is an
instance
of
organization
(
domain
subOrganization
2
Organization
)
Merge.kif 16744-16744
The number 2 argument of
sub organization
is an
instance
of
organization
(
instance
subOrganization
PartialOrderingRelation
)
Merge.kif 16742-16742
sub organization
is an
instance
of
partial ordering relation
(
subrelation
subOrganization
subCollection
)
Merge.kif 16741-16741
sub organization
is a
subrelation
of
sub collection
appearance as argument number 2
(
disjointRelation
ancestorOrganization
subOrganization
)
Mid-level-ontology.kif 24170-24170
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
FrenchLanguage
subOrganization
"%1 est %n une
part
ie de l'organization %2")
french_format.kif 322-322
(
format
FrenchLanguage
subOrganization
"%1 est %n une partie de l'organization %2")
french_format.kif 486-486
(
format
JapaneseLanguage
subOrganization
"%1 は組織 %2 の
part
では %n")
japanese_format.kif 2090-2090
(
format
JapaneseLanguage
subOrganization
"%1 は組織 %2 の一部では %n")
english_format.kif 824-824
(
format
PortugueseLanguage
subOrganization
"%1 e' %n uma &parte da organizacao %2")
portuguese_format.kif 274-274
(
format
PortugueseLanguage
subOrganization
"%1 e' %n uma parte da organizacao %2")
portuguese_format.kif 438-438
(
format
ro
subOrganization
"%1 %n{nu} este o
part
%t{parte} a organizaþiei %2")
relations-ro.kif 343-343
(
format
ro
subOrganization
"%1 %n{nu} este o parte a organizaþiei %2")
relations-ro.kif 508-508
(
subrelation
chamberOfLegislature
subOrganization
)
Government.kif 2060-2060
chamber of legislature
is a
subrelation
of
sub organization
(
termFormat
ChineseLanguage
subOrganization
"子机构")
chinese_format.kif 550-550
(
termFormat
ChineseLanguage
subOrganization
"子组织")
domainEnglishFormat.kif 55764-55764
(
termFormat
ChineseTraditionalLanguage
subOrganization
"子組織")
domainEnglishFormat.kif 55763-55763
(
termFormat
EnglishLanguage
subOrganization
"sub organization")
domainEnglishFormat.kif 55762-55762
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 1977-1985
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 4511-4519
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
?DEP ?I)
(
equal
?P1
(
ProbabilityFn
(
agent
?P ?DEP)))
(
equal
?P2
(
ProbabilityFn
(
agent
?P ?DEP2))))
(
greaterThan
?P1 ?P2))
Mid-level-ontology.kif 18343-18358
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
the organization
is
interested
in
the entity
and
a real number
is
equal
to the
probability
of
the organization
is an
agent
of
another entity
and
the other entity
2 is
equal
to the
probability
of
the organization
2 is an
agent
of
the other entity
,
then
the real number
is
greater
than
the other entity
2
(=>
(
and
(
equal
?DEP
(
DepartmentOfPreventingFn
?COMP ?PHYS))
(
subclass
?PHYS
Process
)
(
subOrganization
?DEP ?COMP))
(
inhibits
?DEP ?PHYS))
Mid-level-ontology.kif 18401-18406
If
an organization
is
equal
to
another organization
is
preventing
a kind of physical
and
a kind of physical
is a
subclass
of
process
and
the organization
is a part of the organization
the other organization
,
then
the organization
inhibit
s
the kind of physical
(=>
(
and
(
executiveBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
)
(
subOrganization
?ORG ?BRANCH))
(
subOrganization
?ORG
(
GovernmentFn
?AREA)))
Government.kif 1313-1318
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 1513-1524
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 2191-2196
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 16691-16695
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
NavyBranchOfService
))
(
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
,
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 2085-2090
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 1930-1935
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 8526-8536
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 2130-2135
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 16697-16701
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 4648-4657
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 4658-4667
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 4470-4478
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 1127-1140
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 1313-1318
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 1307-1311
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 1301-1305
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 256-264
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 2609-2623
If
a process
is an
instance
of
evacuating
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 2627-2643
If
a process
is an
instance
of
evacuating
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 2591-2605
If
a process
is an
instance
of
evacuating
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 2573-2587
If
a process
is an
instance
of
evacuating
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
the object
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 2554-2569
If
a process
is an
instance
of
evacuating
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 16305-16324
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 2130-2135
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 2124-2128
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 2118-2122
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 2023-2027
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 2029-2033
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
(=>
(
attribute
?U
ExpeditionaryForce
)
(
hasPurpose
?U
(
exists
(?B ?C ?FC)
(
and
(
subOrganization
?U
(
GovernmentFn
?C))
(
instance
?B
Battle
)
(
agent
?B ?U)
(
instance
?FC
Nation
)
(
located
?B ?FC)
(
not
(
equal
?C ?FC))))))
MilitaryPersons.kif 712-724
If
expeditionary force
is an
attribute
of
an object
,
then
the object
has the purpose there exist
an entity
,
another entity
and
a third entity
such that
the object
is a part of the organization the
government
of
the other entity
and
the entity
is an
instance
of
battle
and
the object
is an
agent
of
the entity
and
the third entity
is an
instance
of
nation
and
the entity
is
located
at
the third entity
and
the other entity
is not
equal
to
the third 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
(=>
(
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 8427-8435
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
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
appearance as argument number 0
(
subOrganization
Aetna
CVS
)
Medicine.kif 5558-5558
Aetna
is a part of the organization
CVS
(
subOrganization
CommissionForSocialDevelopment
EconomicAndSocialCouncil
)
Government.kif 3077-3077
Commission for social development
is a part of the organization
economic and social council
(
subOrganization
CommissionOnCrimePreventionAndCriminalJustice
EconomicAndSocialCouncil
)
Government.kif 3079-3079
Commission on crime prevention and criminal justice
is a part of the organization
economic and social council
(
subOrganization
CommissionOnHumanRights
EconomicAndSocialCouncil
)
Government.kif 3081-3081
Commission on human rights
is a part of the organization
economic and social council
(
subOrganization
CommissionOnNarcoticsDrugs
EconomicAndSocialCouncil
)
Government.kif 3083-3083
Commission on narcotics drugs
is a part of the organization
economic and social council
(
subOrganization
CommissionOnPopulationAndDevelopment
EconomicAndSocialCouncil
)
Government.kif 3085-3085
Commission on population and development
is a part of the organization
economic and social council
(
subOrganization
CommissionOnScienceAndTechnologyForDevelopment
EconomicAndSocialCouncil
)
Government.kif 3087-3087
Commission on science and technology for development
is a part of the organization
economic and social council
(
subOrganization
CommissionOnSustainableDevelopment
EconomicAndSocialCouncil
)
Government.kif 3089-3089
Commission on sustainable development
is a part of the organization
economic and social council
(
subOrganization
CommissionOnTheStatusOfWomen
EconomicAndSocialCouncil
)
Government.kif 3091-3091
Commission on the status of women
is a part of the organization
economic and social council
(
subOrganization
DepartmentOfHomelandSecurity
(
GovernmentFn
UnitedStates
))
Government.kif 4828-4828
Department of homeland security
is a part of the organization the
government
of
united states
(
subOrganization
EconomicAndSocialCommissionForAsiaAndThePacific
EconomicAndSocialCouncil
)
Government.kif 3093-3093
Economic and social commission for asia and the pacific
is a part of the organization
economic and social council
(
subOrganization
EconomicAndSocialCommissionForWesternAsia
EconomicAndSocialCouncil
)
Government.kif 3095-3095
Economic and social commission for western asia
is a part of the organization
economic and social council
(
subOrganization
EconomicAndSocialCouncil
UnitedNations
)
Government.kif 3076-3076
Economic and social council
is a part of the organization
united nations
(
subOrganization
EconomicCommissionForAfrica
EconomicAndSocialCouncil
)
Government.kif 3097-3097
Economic commission for africa
is a part of the organization
economic and social council
(
subOrganization
EconomicCommissionForEurope
EconomicAndSocialCouncil
)
Government.kif 3099-3099
Economic commission for europe
is a part of the organization
economic and social council
(
subOrganization
EconomicCommissionForLatinAmericaAndTheCaribbean
EconomicAndSocialCouncil
)
Government.kif 3101-3101
Economic commission for latin america and the caribbean
is a part of the organization
economic and social council
(
subOrganization
FitbitCompany
Google
)
Medicine.kif 4472-4472
Fitbit
is a part of the organization
Google
(
subOrganization
FoodAndAgricultureOrganization
EconomicAndSocialCouncil
)
Government.kif 3103-3103
Food and agriculture organization
is a part of the organization
economic and social council
(
subOrganization
GoogleCorporation
AlphabetCorporation
)
ComputingBrands.kif 17-17
Google corporation
is a part of the organization
Alphabet
(
subOrganization
HoldenCorporation
GeneralMotorsCorp
)
Cars.kif 4503-4503
Holden Corporation
is a part of the organization
General Motors
(
subOrganization
InternationalAtomicEnergyAgency
EconomicAndSocialCouncil
)
Government.kif 3104-3104
International atomic energy agency
is a part of the organization
economic and social council
(
subOrganization
InternationalBankForReconstructionAndDevelopment
EconomicAndSocialCouncil
)
Government.kif 3105-3105
International bank for reconstruction and development
is a part of the organization
economic and social council
(
subOrganization
InternationalBankForReconstructionAndDevelopment
UnitedNations
)
Government.kif 3416-3416
International bank for reconstruction and development
is a part of the organization
united nations
(
subOrganization
InternationalBankForReconstructionAndDevelopment
WorldBankGroup
)
Government.kif 4319-4319
International bank for reconstruction and development
is a part of the organization
world bank group
(
subOrganization
InternationalCenterForSecretariatOfInvestmentDisputes
EconomicAndSocialCouncil
)
Government.kif 3106-3106
International center for secretariat of investment disputes
is a part of the organization
economic and social council
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