subOrganization
(=>
(
instance
?AREA
GeopoliticalArea
)
(
subOrganization
(
CabinetFn
?AREA)
(
ExecutiveBranchFn
?AREA)))
Government.kif 1534-1536
AreaGeopolitica
è un'
istanza
di
AreaGeopolitica
subOrganization
CabinetFn
AreaGeopolitica
and
ExecutiveBranchFn
AreaGeopolitica
(=>
(
instance
?BOARD
OrganizationalBoard
)
(
exists
(?ORG ?MANAGE)
(
and
(
subOrganization
?BOARD ?ORG)
(
instance
?MANAGE
Managing
)
(
agent
?MANAGE ?BOARD)
(
patient
?MANAGE ?ORG))))
Mid-level-ontology.kif 8511-8518
Organizzazione
è un'
istanza
di
OrganizationalBoard
Organizzazione
Processo
subOrganization
Organizzazione
and
Organizzazione
Processo
è un'
istanza
di
Gestione
Processo
è un
agente
di
Organizzazione
Organizzazione
è un
paziente
di
Processo
(=>
(
instance
?C
AnglicanChurch
)
(
subOrganization
?C
ChurchOfEngland
))
People.kif 834-836
Organizzazione
è un'
istanza
di
AnglicanChurch
subOrganization
Organizzazione
and
ChurchOfEngland
(=>
(
instance
?C
LocalChurchOfLatterDaySaints
)
(
subOrganization
?C
ChurchOfJesusChristOfLatterDaySaints
))
People.kif 1155-1157
Organizzazione
è un'
istanza
di
LocalChurchOfLatterDaySaints
subOrganization
Organizzazione
and
ChurchOfJesusChristOfLatterDaySaints
(=>
(
instance
?C
LocalRomanCatholicChurch
)
(
subOrganization
?C
RomanCatholicChurch
))
People.kif 893-895
Organizzazione
è un'
istanza
di
LocalRomanCatholicChurch
subOrganization
Organizzazione
and
RomanCatholicChurch
(=>
(
instance
?COURT
(
SupremeCourtFn
?COUNTRY))
(
subOrganization
?COURT
(
JudiciaryFn
?COUNTRY)))
Government.kif 2187-2189
Organizzazione
è un'
istanza
di
SupremeCourtFn
AreaGeopolitica
subOrganization
Organizzazione
and
JudiciaryFn
AreaGeopolitica
(=>
(
instance
?FMF
FleetMarineForce
)
(
exists
(?M)
(
and
(
instance
?M
MarinesBranchOfService
)
(
subOrganization
?FMF ?M))))
Medicine.kif 6065-6070
Organizzazione
è un'
istanza
di
FleetMarineForce
Organizzazione
Organizzazione
è un'
istanza
di
MarinesBranchOfService
subOrganization
Organizzazione
and
Organizzazione
(=>
(
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
è un'
istanza
di
HostNation
Processo
Organizzazione
,
AreaGeopolitica
and
MilitaryOrganization
AreaGeopolitica
è un'
istanza
di
Nazione
MilitaryOrganization
è un'
istanza
di
MilitaryForce
militaryOfArea
MilitaryOrganization
and
AreaGeopolitica
subOrganization
Organizzazione
and
MilitaryOrganization
AutonomousAgent
is
uguale
a
AreaGeopolitica
enemy
AutonomousAgent
and
AreaGeopolitica
Processo
è un'
istanza
di
Ottenere
Processo
è un
agente
di
AutonomousAgent
Organizzazione
è un
paziente
di
Processo
Organizzazione
è un'
istanza
di
MilitaryForce
Organizzazione
è
localizzato
in
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
Organizzazione
è un'
istanza
di
BicameralLegislature
Organizzazione
Organizzazione
Organizzazione
è un'
istanza
di
LegislativeChamber
subOrganization
Organizzazione
and
Organizzazione
Organizzazione
è un'
istanza
di
LegislativeChamber
subOrganization
Organizzazione
and
Organizzazione
Organizzazione
is
uguale
a
Organizzazione
(=>
(
instance
?ORG
GovernmentOrganization
)
(
exists
(?GOV)
(
and
(
instance
?GOV
Government
)
(
subOrganization
?ORG ?GOV))))
Merge.kif 16706-16711
Organizzazione
è un'
istanza
di
GovernmentOrganization
Organizzazione
Organizzazione
è un'
istanza
di
Governo
subOrganization
Organizzazione
and
Organizzazione
(=>
(
instance
?X
HotelFrontDesk
)
(
exists
(?ORG)
(
and
(
attribute
?ORG
TravelerAccommodation
)
(
subOrganization
?X ?ORG))))
Hotel.kif 1748-1753
Organizzazione
è un'
istanza
di
HotelFrontDesk
Organizzazione
attribute
Organizzazione
and
TravelerAccommodation
subOrganization
Organizzazione
and
Organizzazione
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