subOrganization
(=>
(
instance
?AREA
GeopoliticalArea
)
(
subOrganization
(
CabinetFn
?AREA)
(
ExecutiveBranchFn
?AREA)))
Government.kif 1534-1536
Secteur g�opolitique
est une
instance
de
secteur g�opolitique
CabinetFn
secteur g�opolitique
est une partie de l'organization
ExecutiveBranchFn
secteur g�opolitique
(=>
(
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
Organisation
est une
instance
de
OrganizationalBoard
organisation
processus
organisation
est une partie de l'organization
organisation
processus
est une
instance
de
diriger
processus
est un
agent
de
organisation
organisation
est un
patient
de
processus
(=>
(
instance
?C
AnglicanChurch
)
(
subOrganization
?C
ChurchOfEngland
))
People.kif 834-836
Organisation
est une
instance
de
AnglicanChurch
organisation
est une partie de l'organization
ChurchOfEngland
(=>
(
instance
?C
LocalChurchOfLatterDaySaints
)
(
subOrganization
?C
ChurchOfJesusChristOfLatterDaySaints
))
People.kif 1155-1157
Organisation
est une
instance
de
LocalChurchOfLatterDaySaints
organisation
est une partie de l'organization
ChurchOfJesusChristOfLatterDaySaints
(=>
(
instance
?C
LocalRomanCatholicChurch
)
(
subOrganization
?C
RomanCatholicChurch
))
People.kif 893-895
Organisation
est une
instance
de
LocalRomanCatholicChurch
organisation
est une partie de l'organization
RomanCatholicChurch
(=>
(
instance
?COURT
(
SupremeCourtFn
?COUNTRY))
(
subOrganization
?COURT
(
JudiciaryFn
?COUNTRY)))
Government.kif 2187-2189
Organisation
est une
instance
de
SupremeCourtFn
secteur g�opolitique
organisation
est une partie de l'organization
JudiciaryFn
secteur g�opolitique
(=>
(
instance
?FMF
FleetMarineForce
)
(
exists
(?M)
(
and
(
instance
?M
MarinesBranchOfService
)
(
subOrganization
?FMF ?M))))
Medicine.kif 6065-6070
Organisation
est une
instance
de
FleetMarineForce
organisation
organisation
est une
instance
de
MarinesBranchOfService
organisation
est une partie de l'organization
organisation
(=>
(
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
AutonomousAgent
est une
instance
de
HostNation
processus
organisation
,
secteur g�opolitique
and
MilitaryOrganization
secteur g�opolitique
est une
instance
de
nation
MilitaryOrganization
est une
instance
de
MilitaryForce
militaryOfArea
MilitaryOrganization
and
secteur g�opolitique
organisation
est une partie de l'organization
MilitaryOrganization
AutonomousAgent
est
secteur g�opolitique
enemy
AutonomousAgent
and
secteur g�opolitique
processus
est une
instance
de
obtenir
processus
est un
agent
de
AutonomousAgent
organisation
est un
patient
de
processus
organisation
est une
instance
de
MilitaryForce
organisation
est
situ
� �
AutonomousAgent
(=>
(
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
Organisation
est une
instance
de
BicameralLegislature
organisation
organisation
organisation
est une
instance
de
LegislativeChamber
organisation
est une partie de l'organization
organisation
organisation
est une
instance
de
LegislativeChamber
organisation
est une partie de l'organization
organisation
organisation
est
organisation
(=>
(
instance
?ORG
GovernmentOrganization
)
(
exists
(?GOV)
(
and
(
instance
?GOV
Government
)
(
subOrganization
?ORG ?GOV))))
Merge.kif 16684-16689
Organisation
est une
instance
de
GovernmentOrganization
organisation
organisation
est une
instance
de
gouvernement
organisation
est une partie de l'organization
organisation
(=>
(
instance
?X
HotelFrontDesk
)
(
exists
(?ORG)
(
and
(
attribute
?ORG
TravelerAccommodation
)
(
subOrganization
?X ?ORG))))
Hotel.kif 1748-1753
Organisation
est une
instance
de
HotelFrontDesk
organisation
TravelerAccommodation
est un
attribut
de
organisation
organisation
est une partie de l'organization
organisation
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