subOrganization
(=>
(
instance
?AREA
GeopoliticalArea
)
(
subOrganization
(
CabinetFn
?AREA)
(
ExecutiveBranchFn
?AREA)))
Government.kif 1534-1536
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
(=>
(
instance
?BOARD
OrganizationalBoard
)
(
exists
(?ORG ?MANAGE)
(
and
(
subOrganization
?BOARD ?ORG)
(
instance
?MANAGE
Managing
)
(
agent
?MANAGE ?BOARD)
(
patient
?MANAGE ?ORG))))
Mid-level-ontology.kif 8512-8519
If
an organization
is an
instance
of
organizational board
,
then there exist
another organization
and
a process
such that
the organization
is a part of the organization
the other organization
and
the process
is an
instance
of
managing
and
the organization
is an
agent
of
the process
and
the other organization
is a
patient
of
the process
(=>
(
instance
?C
AnglicanChurch
)
(
subOrganization
?C
ChurchOfEngland
))
People.kif 834-836
If
an organization
is an
instance
of
Anglican church
,
then
the organization
is a part of the organization
church of england
(=>
(
instance
?C
LocalChurchOfLatterDaySaints
)
(
subOrganization
?C
ChurchOfJesusChristOfLatterDaySaints
))
People.kif 1155-1157
If
an organization
is an
instance
of
Local church of latter day saints
,
then
the organization
is a part of the organization
Church of Jesus Christ of latter day saints
(=>
(
instance
?C
LocalRomanCatholicChurch
)
(
subOrganization
?C
RomanCatholicChurch
))
People.kif 893-895
If
an organization
is an
instance
of
Local roman catholic church
,
then
the organization
is a part of the organization
roman catholic church
(=>
(
instance
?COURT
(
SupremeCourtFn
?COUNTRY))
(
subOrganization
?COURT
(
JudiciaryFn
?COUNTRY)))
Government.kif 2187-2189
If
an organization
is an
instance
of the
supreme
court of
a geopolitical area
,
then
the organization
is a part of the organization the
judiciary
of
the geopolitical area
(=>
(
instance
?FMF
FleetMarineForce
)
(
exists
(?M)
(
and
(
instance
?M
MarinesBranchOfService
)
(
subOrganization
?FMF ?M))))
Medicine.kif 6065-6070
If
an organization
is an
instance
of
fleet marine force
,
then there exists
another organization
such that
the other organization
is an
instance
of
marines- branch of service
and
the organization
is a part of the organization
the other organization
(=>
(
instance
?HN
HostNation
)
(
exists
(?GETTING ?FORCES ?OTHERNATION ?MILITARY)
(
and
(
instance
?OTHERNATION
Nation
)
(
instance
?MILITARY
MilitaryForce
)
(
militaryOfArea
?MILITARY ?OTHERNATION)
(
subOrganization
?FORCES ?MILITARY)
(
not
(
equal
?HN ?OTHERNATION))
(
not
(
enemy
?HN ?OTHERNATION))
(
instance
?GETTING
Getting
)
(
agent
?GETTING ?HN)
(
patient
?GETTING ?FORCES)
(
instance
?FORCES
MilitaryForce
)
(
located
?FORCES ?HN))))
MilitaryProcesses.kif 1357-1373
If
an agent
is an
instance
of
host nation
,
then there exist
a process
,
an organization
,, ,
a geopolitical area
and
a military organization
such that
the geopolitical area
is an
instance
of
nation
and
the military organization
is an
instance
of
military force
and
the geopolitical area
is a
military
of area of
the military organization
and
the organization
is a part of the organization
the military organization
and
the agent
is not
equal
to
the geopolitical area
and
the agent
and
the geopolitical area
are not enemies of each other and
the process
is an
instance
of
getting
and
the agent
is an
agent
of
the process
and
the organization
is a
patient
of
the process
and
the organization
is an
instance
of
military force
and
the organization
is
located
at
the agent
(=>
(
instance
?LEGE
BicameralLegislature
)
(
exists
(?CHAMBER1 ?CHAMBER2)
(
and
(
instance
?CHAMBER1
LegislativeChamber
)
(
subOrganization
?CHAMBER1 ?LEGE)
(
instance
?CHAMBER2
LegislativeChamber
)
(
subOrganization
?CHAMBER2 ?LEGE)
(
not
(
equal
?CHAMBER1 ?CHAMBER2)))))
Government.kif 1959-1967
If
an organization
is an
instance
of
bicameral legislature
,
then there exist
another organization
and
a third organization
such that
the other organization
is an
instance
of
legislative chamber
and
the other organization
is a part of the organization
the organization
and
the third organization
is an
instance
of
legislative chamber
and
the third organization
is a part of the organization
the organization
and
the other organization
is not
equal
to
the third organization
(=>
(
instance
?ORG
GovernmentOrganization
)
(
exists
(?GOV)
(
and
(
instance
?GOV
Government
)
(
subOrganization
?ORG ?GOV))))
Merge.kif 16684-16689
If
an organization
is an
instance
of
government organization
,
then 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
(=>
(
instance
?X
HotelFrontDesk
)
(
exists
(?ORG)
(
and
(
attribute
?ORG
TravelerAccommodation
)
(
subOrganization
?X ?ORG))))
Hotel.kif 1748-1753
If
an organization
is an
instance
of
front desk
,
then there exists
another organization
such that
traveler accommodation
is an
attribute
of
the other organization
and
the organization
is a part of the organization
the other organization
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