subOrganization
(=>
(
instance
?AREA
GeopoliticalArea
)
(
subOrganization
(
CabinetFn
?AREA)
(
ExecutiveBranchFn
?AREA)))
Government.kif 1534-1536
Wenn
GeopoliticalArea
ist ein
fall
von
GeopoliticalArea
%n{nicht},
dann
subOrganization
CabinetFn
** GeopoliticalArea
and
ExecutiveBranchFn
** GeopoliticalArea
(=>
(
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
Wenn
Organization
ist ein
fall
von
OrganizationalBoard
%n{nicht},
dann es gibt
** Organization
und
Process
um
subOrganization
** Organization
and
** ** Organization
und
** Process
ist ein
fall
von
Managing
%n{nicht} und
** Process
ist der
agent
von
** Organization
%n{nicht} und
** ** Organization
ist ein
patient
von
** Process
%n{nicht}
(=>
(
instance
?C
AnglicanChurch
)
(
subOrganization
?C
ChurchOfEngland
))
People.kif 834-836
Wenn
Organization
ist ein
fall
von
AnglicanChurch
%n{nicht},
dann
subOrganization
** Organization
and
ChurchOfEngland
(=>
(
instance
?C
LocalChurchOfLatterDaySaints
)
(
subOrganization
?C
ChurchOfJesusChristOfLatterDaySaints
))
People.kif 1155-1157
Wenn
Organization
ist ein
fall
von
LocalChurchOfLatterDaySaints
%n{nicht},
dann
subOrganization
** Organization
and
ChurchOfJesusChristOfLatterDaySaints
(=>
(
instance
?C
LocalRomanCatholicChurch
)
(
subOrganization
?C
RomanCatholicChurch
))
People.kif 893-895
Wenn
Organization
ist ein
fall
von
LocalRomanCatholicChurch
%n{nicht},
dann
subOrganization
** Organization
and
RomanCatholicChurch
(=>
(
instance
?COURT
(
SupremeCourtFn
?COUNTRY))
(
subOrganization
?COURT
(
JudiciaryFn
?COUNTRY)))
Government.kif 2187-2189
Wenn
Organization
ist ein
fall
von
SupremeCourtFn
GeopoliticalArea
%n{nicht},
dann
subOrganization
** Organization
and
JudiciaryFn
** GeopoliticalArea
(=>
(
instance
?FMF
FleetMarineForce
)
(
exists
(?M)
(
and
(
instance
?M
MarinesBranchOfService
)
(
subOrganization
?FMF ?M))))
Medicine.kif 6065-6070
Wenn
Organization
ist ein
fall
von
FleetMarineForce
%n{nicht},
dann es gibt
** Organization
um
** ** Organization
ist ein
fall
von
MarinesBranchOfService
%n{nicht} und
subOrganization
** Organization
and
** ** 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
Wenn
AutonomousAgent
ist ein
fall
von
HostNation
%n{nicht},
dann es gibt
Process
,
Organization
,, ,
GeopoliticalArea
, and und
MilitaryOrganization
um
** GeopoliticalArea
ist ein
fall
von
Nation
%n{nicht} und
** MilitaryOrganization
ist ein
fall
von
MilitaryForce
%n{nicht} und
militaryOfArea
** MilitaryOrganization
and
** GeopoliticalArea
und
subOrganization
** Organization
and
** MilitaryOrganization
und
** AutonomousAgent
ist gleich
** GeopoliticalArea
nicht und
enemy
** AutonomousAgent
and
** GeopoliticalArea
und
** Process
ist ein
fall
von
Getting
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** Organization
ist ein
patient
von
** Process
%n{nicht} und
** Organization
ist ein
fall
von
MilitaryForce
%n{nicht} und
** Organization
befindet
sich an %n{nicht}
(=>
(
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
Wenn
Organization
ist ein
fall
von
BicameralLegislature
%n{nicht},
dann es gibt
** Organization
und
** Organization
um
** ** Organization
ist ein
fall
von
LegislativeChamber
%n{nicht} und
subOrganization
** ** Organization
and
** Organization
und
** ** Organization
ist ein
fall
von
LegislativeChamber
%n{nicht} und
subOrganization
** ** Organization
and
** Organization
und
** ** Organization
ist gleich
** ** Organization
nicht
(=>
(
instance
?ORG
GovernmentOrganization
)
(
exists
(?GOV)
(
and
(
instance
?GOV
Government
)
(
subOrganization
?ORG ?GOV))))
Merge.kif 16684-16689
Wenn
Organization
ist ein
fall
von
GovernmentOrganization
%n{nicht},
dann es gibt
** Organization
um
** ** Organization
ist ein
fall
von
Government
%n{nicht} und
subOrganization
** Organization
and
** ** Organization
(=>
(
instance
?X
HotelFrontDesk
)
(
exists
(?ORG)
(
and
(
attribute
?ORG
TravelerAccommodation
)
(
subOrganization
?X ?ORG))))
Hotel.kif 1748-1753
Wenn
Organization
ist ein
fall
von
HotelFrontDesk
%n{nicht},
dann es gibt
** Organization
um
TravelerAccommodation
ist ein
attribut
von
** ** Organization
%n{nicht} und
subOrganization
** Organization
and
** ** 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