subOrganization
(=>
(
instance
?AREA
GeopoliticalArea
)
(
subOrganization
(
CabinetFn
?AREA)
(
ExecutiveBranchFn
?AREA)))
Government.kif 1534-1536
地政学的地域
は
地政学的地域
の
instance
では %n
CabinetFn
地政学的地域
は組織
ExecutiveBranchFn
地政学的地域
の一部では %n
(=>
(
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
組織
は
OrganizationalBoard
の
instance
では %n
組織
工程
組織
は組織
組織
の一部では %n
工程
は
管理
の
instance
では %n
組織
は
工程
の
agent
では %n
組織
は
工程
の
patient
では %n
(=>
(
instance
?C
AnglicanChurch
)
(
subOrganization
?C
ChurchOfEngland
))
People.kif 834-836
組織
は
AnglicanChurch
の
instance
では %n
組織
は組織
ChurchOfEngland
の一部では %n
(=>
(
instance
?C
LocalChurchOfLatterDaySaints
)
(
subOrganization
?C
ChurchOfJesusChristOfLatterDaySaints
))
People.kif 1155-1157
組織
は
LocalChurchOfLatterDaySaints
の
instance
では %n
組織
は組織
ChurchOfJesusChristOfLatterDaySaints
の一部では %n
(=>
(
instance
?C
LocalRomanCatholicChurch
)
(
subOrganization
?C
RomanCatholicChurch
))
People.kif 893-895
組織
は
LocalRomanCatholicChurch
の
instance
では %n
組織
は組織
RomanCatholicChurch
の一部では %n
(=>
(
instance
?COURT
(
SupremeCourtFn
?COUNTRY))
(
subOrganization
?COURT
(
JudiciaryFn
?COUNTRY)))
Government.kif 2187-2189
組織
は
SupremeCourtFn
地政学的地域
の
instance
では %n
組織
は組織
JudiciaryFn
地政学的地域
の一部では %n
(=>
(
instance
?FMF
FleetMarineForce
)
(
exists
(?M)
(
and
(
instance
?M
MarinesBranchOfService
)
(
subOrganization
?FMF ?M))))
Medicine.kif 6065-6070
組織
は
FleetMarineForce
の
instance
では %n
組織
組織
は
MarinesBranchOfService
の
instance
では %n
組織
は組織
組織
の一部では %n
(=>
(
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
は
HostNation
の
instance
では %n
工程
組織
,
地政学的地域
and
MilitaryOrganization
地政学的地域
は
国民
の
instance
では %n
MilitaryOrganization
は
MilitaryForce
の
instance
では %n
militaryOfArea
MilitaryOrganization
and
地政学的地域
組織
は組織
MilitaryOrganization
の一部では %n
AutonomousAgent
は
地政学的地域
と
equal
では
enemy
AutonomousAgent
and
地政学的地域
工程
は
取得
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
組織
は
工程
の
patient
では %n
組織
は
MilitaryForce
の
instance
では %n
組織
は
AutonomousAgent
に
located
して %n
(=>
(
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
組織
は
BicameralLegislature
の
instance
では %n
組織
組織
組織
は
LegislativeChamber
の
instance
では %n
組織
は組織
組織
の一部では %n
組織
は
LegislativeChamber
の
instance
では %n
組織
は組織
組織
の一部では %n
組織
は
組織
と
equal
では
(=>
(
instance
?ORG
GovernmentOrganization
)
(
exists
(?GOV)
(
and
(
instance
?GOV
Government
)
(
subOrganization
?ORG ?GOV))))
Merge.kif 16684-16689
組織
は
GovernmentOrganization
の
instance
では %n
組織
組織
は
政府
の
instance
では %n
組織
は組織
組織
の一部では %n
(=>
(
instance
?X
HotelFrontDesk
)
(
exists
(?ORG)
(
and
(
attribute
?ORG
TravelerAccommodation
)
(
subOrganization
?X ?ORG))))
Hotel.kif 1748-1753
組織
は
HotelFrontDesk
の
instance
では %n
組織
TravelerAccommodation
は
組織
の
attribute
では %n
組織
は組織
組織
の一部では %n
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