subOrganization
(=>
(
instance
?AREA
GeopoliticalArea
)
(
subOrganization
(
CabinetFn
?AREA)
(
ExecutiveBranchFn
?AREA)))
Government.kif 1534-1536
Area Geopolitica
e' uma
instancia
de
Area Geopolitica
CabinetFn
Area Geopolitica
e' uma parte da organizacao
ExecutiveBranchFn
Area Geopolitica
(=>
(
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
Organizacao
e' uma
instancia
de
OrganizationalBoard
Organizacao
Processo
Organizacao
e' uma parte da organizacao
Organizacao
Processo
e' uma
instancia
de
Administrar
Processo
e' um
agente
de
Organizacao
Organizacao
e' um
patient
de
Processo
(=>
(
instance
?C
AnglicanChurch
)
(
subOrganization
?C
ChurchOfEngland
))
People.kif 834-836
Organizacao
e' uma
instancia
de
AnglicanChurch
Organizacao
e' uma parte da organizacao
ChurchOfEngland
(=>
(
instance
?C
LocalChurchOfLatterDaySaints
)
(
subOrganization
?C
ChurchOfJesusChristOfLatterDaySaints
))
People.kif 1155-1157
Organizacao
e' uma
instancia
de
LocalChurchOfLatterDaySaints
Organizacao
e' uma parte da organizacao
ChurchOfJesusChristOfLatterDaySaints
(=>
(
instance
?C
LocalRomanCatholicChurch
)
(
subOrganization
?C
RomanCatholicChurch
))
People.kif 893-895
Organizacao
e' uma
instancia
de
LocalRomanCatholicChurch
Organizacao
e' uma parte da organizacao
RomanCatholicChurch
(=>
(
instance
?COURT
(
SupremeCourtFn
?COUNTRY))
(
subOrganization
?COURT
(
JudiciaryFn
?COUNTRY)))
Government.kif 2187-2189
Organizacao
e' uma
instancia
de
SupremeCourtFn
Area Geopolitica
Organizacao
e' uma parte da organizacao
JudiciaryFn
Area Geopolitica
(=>
(
instance
?FMF
FleetMarineForce
)
(
exists
(?M)
(
and
(
instance
?M
MarinesBranchOfService
)
(
subOrganization
?FMF ?M))))
Medicine.kif 6065-6070
Organizacao
e' uma
instancia
de
FleetMarineForce
Organizacao
Organizacao
e' uma
instancia
de
MarinesBranchOfService
Organizacao
e' uma parte da organizacao
Organizacao
(=>
(
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
e' uma
instancia
de
HostNation
Processo
Organizacao
,
Area Geopolitica
and
MilitaryOrganization
Area Geopolitica
e' uma
instancia
de
Nacao
MilitaryOrganization
e' uma
instancia
de
MilitaryForce
militaryOfArea
MilitaryOrganization
and
Area Geopolitica
Organizacao
e' uma parte da organizacao
MilitaryOrganization
AutonomousAgent
e'
igual
a
Area Geopolitica
enemy
AutonomousAgent
and
Area Geopolitica
Processo
e' uma
instancia
de
Obter
Processo
e' um
agente
de
AutonomousAgent
Organizacao
e' um
patient
de
Processo
Organizacao
e' uma
instancia
de
MilitaryForce
Organizacao
e'
situado
em
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
Organizacao
e' uma
instancia
de
BicameralLegislature
Organizacao
Organizacao
Organizacao
e' uma
instancia
de
LegislativeChamber
Organizacao
e' uma parte da organizacao
Organizacao
Organizacao
e' uma
instancia
de
LegislativeChamber
Organizacao
e' uma parte da organizacao
Organizacao
Organizacao
e'
igual
a
Organizacao
(=>
(
instance
?ORG
GovernmentOrganization
)
(
exists
(?GOV)
(
and
(
instance
?GOV
Government
)
(
subOrganization
?ORG ?GOV))))
Merge.kif 16684-16689
Organizacao
e' uma
instancia
de
GovernmentOrganization
Organizacao
Organizacao
e' uma
instancia
de
Governo
Organizacao
e' uma parte da organizacao
Organizacao
(=>
(
instance
?X
HotelFrontDesk
)
(
exists
(?ORG)
(
and
(
attribute
?ORG
TravelerAccommodation
)
(
subOrganization
?X ?ORG))))
Hotel.kif 1748-1753
Organizacao
e' uma
instancia
de
HotelFrontDesk
Organizacao
TravelerAccommodation
e' um
atributo
de
Organizacao
Organizacao
e' uma parte da organizacao
Organizacao
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