Organization
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
Utilities
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?MEM2 ?EV2)
(
and
(
or
(
instance
?EV
Removing
)
(
instance
?THING
Sewage
))
(
patient
?EV ?THING)
(
or
(
instance
?THING
Electron
)
(
instance
?THING
Water
)
(
and
(
instance
?THING
PureSubstance
)
(
capability
Combustion
patient
?THING)))
(
member
?MEM2 ?ORG)
(
instance
?EV2
FinancialTransaction
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 954-977
Wenn
Collection
ist ein
fall
von
Organization
%n{nicht} und
Utilities
ist ein
attribut
von
** Collection
%n{nicht},
dann es gibt
AutonomousAgent
und
Process
um
** Process
ist ein
Mitglied
von
** Collection
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und es gibt
Object
,
** Process
2, and und
** AutonomousAgent
2 um
** AutonomousAgent
ist ein
fall
von
Removing
%n{nicht} oder
** Object
ist ein
fall
von
Sewage
%n{nicht} und
** Object
ist ein
patient
von
** AutonomousAgent
%n{nicht} und
** Object
ist ein
fall
von
Electron
%n{nicht} oder
** Object
ist ein
fall
von
Water
%n{nicht} oder
** Object
ist ein
fall
von
PureSubstance
%n{nicht} und
** Object
ist faehig %n{nicht}, in der Rolle
patient
Combustion
zu tun und
** Process
2 ist ein
Mitglied
von
** Collection
%n{nicht} und
** AutonomousAgent
2 ist ein
fall
von
FinancialTransaction
%n{nicht} und
** AutonomousAgent
2 ist der
agent
von
** Process
2 %n{nicht} und
** Object
ist ein
patient
von
** AutonomousAgent
2 %n{nicht}
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
WarehousingAndStorage
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?P ?OBJ)
(
and
(
instance
?EV
Selling
)
(
instance
?OBJ
Object
)
(
instance
?P
Human
)
(
patient
?EV ?P)
(
confersRight
(
exists
(?B ?T)
(
and
(
instance
?T
TimeInterval
)
(
instance
?B
Building
)
(
possesses
?P ?OBJ)
(
holdsDuring
?T
(
located
?B ?OBJ)))) ?MEM ?P))))))
naics.kif 8776-8797
Wenn
Collection
ist ein
fall
von
Organization
%n{nicht} und
WarehousingAndStorage
ist ein
attribut
von
** Collection
%n{nicht},
dann es gibt
AutonomousAgent
und
Process
um
** Process
ist ein
Mitglied
von
** Collection
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und es gibt
CognitiveAgent
und
Entity
um
** AutonomousAgent
ist ein
fall
von
Selling
%n{nicht} und
** Entity
ist ein
fall
von
Object
%n{nicht} und
** CognitiveAgent
ist ein
fall
von
Human
%n{nicht} und
** CognitiveAgent
ist ein
patient
von
** AutonomousAgent
%n{nicht} und
** Process
erlaubt
** CognitiveAgent
, die Aufgabe der Art von es gibt
** entity
und
** entity
um
** ** entity
ist ein
fall
von
TimeInterval
%n{nicht} und
** ** entity
ist ein
fall
von
Building
%n{nicht} und
** CognitiveAgent
besitzt
** Entity
%n{nicht} und
** ** entity
befindet
sich an %n{nicht} haelt
waehrend
** ** entity
%n{nicht} durchzuf�hren %n{nicht}
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
WaterTransportationIndustry
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?P)
(
and
(
instance
?EV
Selling
)
(
instance
?P
Human
)
(
patient
?EV ?P)
(
confersRight
(
exists
(?T ?V ?OBJ)
(
and
(
instance
?T
Transportation
)
(
or
(
patient
?T ?P)
(
and
(
possesses
?P ?OBJ)
(
patient
?T ?OBJ)
(
instance
?OBJ
Object
)))
(
possesses
?ORG ?V)
(
instance
?V
WaterVehicle
))) ?MEM ?P))))))
naics.kif 8080-8105
Wenn
Collection
ist ein
fall
von
Organization
%n{nicht} und
WaterTransportationIndustry
ist ein
attribut
von
** Collection
%n{nicht},
dann es gibt
AutonomousAgent
und
Process
um
** Process
ist ein
Mitglied
von
** Collection
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und es gibt
CognitiveAgent
um
** AutonomousAgent
ist ein
fall
von
Selling
%n{nicht} und
** CognitiveAgent
ist ein
fall
von
Human
%n{nicht} und
** CognitiveAgent
ist ein
patient
von
** AutonomousAgent
%n{nicht} und
** Process
erlaubt
** CognitiveAgent
, die Aufgabe der Art von es gibt
entity
,
** entity
, and und
** entity
um
** entity
ist ein
fall
von
Transportation
%n{nicht} und
** CognitiveAgent
ist ein
patient
von
** entity
%n{nicht} oder
** CognitiveAgent
besitzt
** ** entity
%n{nicht} und
** ** entity
ist ein
patient
von
** entity
%n{nicht} und
** ** entity
ist ein
fall
von
Object
%n{nicht} und
** Collection
besitzt
** ** entity
%n{nicht} und
** ** entity
ist ein
fall
von
WaterVehicle
%n{nicht} durchzuf�hren %n{nicht}
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
WholesaleTrade
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?MEM2 ?EV2)
(
and
(
instance
?EV
Selling
)
(
instance
?THING
Object
)
(
patient
?EV ?THING)
(
member
?MEM2 ?ORG)
(
instance
?EV2
Selling
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 6375-6391
Wenn
Collection
ist ein
fall
von
Organization
%n{nicht} und
WholesaleTrade
ist ein
attribut
von
** Collection
%n{nicht},
dann es gibt
AutonomousAgent
und
Process
um
** Process
ist ein
Mitglied
von
** Collection
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und es gibt
Entity
,
** Process
2, and und
** AutonomousAgent
2 um
** AutonomousAgent
ist ein
fall
von
Selling
%n{nicht} und
** Entity
ist ein
fall
von
Object
%n{nicht} und
** Entity
ist ein
patient
von
** AutonomousAgent
%n{nicht} und
** Process
2 ist ein
Mitglied
von
** Collection
%n{nicht} und
** AutonomousAgent
2 ist ein
fall
von
Selling
%n{nicht} und
** AutonomousAgent
2 ist der
agent
von
** Process
2 %n{nicht} und
** Entity
ist ein
patient
von
** AutonomousAgent
2 %n{nicht}
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
WoodProductManufacturing
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?MEM2 ?EV2)
(
and
(
instance
?EV
Manufacture
)
(
or
(
instance
?THING
Wood
)
(
material
Wood
?THING))
(
patient
?EV ?THING)
(
member
?MEM2 ?ORG)
(
instance
?EV2
Selling
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 2563-2581
Wenn
Collection
ist ein
fall
von
Organization
%n{nicht} und
WoodProductManufacturing
ist ein
attribut
von
** Collection
%n{nicht},
dann es gibt
AutonomousAgent
und
Process
um
** Process
ist ein
Mitglied
von
** Collection
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und es gibt
CorpuscularObject
,
** Process
2, and und
** AutonomousAgent
2 um
** AutonomousAgent
ist ein
fall
von
Manufacture
%n{nicht} und
** CorpuscularObject
ist ein
fall
von
Wood
%n{nicht} oder
Wood
ist von
** CorpuscularObject
gebildet und
** CorpuscularObject
ist ein
patient
von
** AutonomousAgent
%n{nicht} und
** Process
2 ist ein
Mitglied
von
** Collection
%n{nicht} und
** AutonomousAgent
2 ist ein
fall
von
Selling
%n{nicht} und
** AutonomousAgent
2 ist der
agent
von
** Process
2 %n{nicht} und
** CorpuscularObject
ist ein
patient
von
** AutonomousAgent
2 %n{nicht}
(=>
(
and
(
instance
?ORG
Organization
)
(
member
?AGENT ?ORG))
(
instance
?AGENT
AutonomousAgent
))
Merge.kif 16653-16657
Wenn
Collection
ist ein
fall
von
Organization
%n{nicht} und
Physical
ist ein
Mitglied
von
** Collection
%n{nicht},
dann
** Physical
ist ein
fall
von
AutonomousAgent
%n{nicht}
(=>
(
and
(
instance
?PERSON
Human
)
(
instance
?ORG
Organization
)
(
instance
?POSITION
Position
)
(
attribute
?PERSON
(
MemberRoleFn
?ORG ?POSITION)))
(
occupiesPosition
?PERSON ?POSITION ?ORG))
Government.kif 1806-1812
Wenn
Human
ist ein
fall
von
Human
%n{nicht} und
Organization
ist ein
fall
von
Organization
%n{nicht} und
Position
ist ein
fall
von
Position
%n{nicht} und
MemberRoleFn
** Organization
and
** Position
ist ein
attribut
von
** Human
%n{nicht},
dann
** Human
besetzt die
position
von
** Position
in
** Organization
(=>
(
and
(
instance
?PROCESS
JudicialProcess
)
(
agent
?PROCESS ?ORG)
(
instance
?ORG
Organization
))
(
instance
?ORG
JudicialOrganization
))
Merge.kif 10802-10807
Wenn
Process
ist ein
fall
von
JudicialProcess
%n{nicht} und
** Process
ist der
agent
von
AutonomousAgent
%n{nicht} und
** AutonomousAgent
ist ein
fall
von
Organization
%n{nicht},
dann
** AutonomousAgent
ist ein
fall
von
JudicialOrganization
%n{nicht}
(=>
(
and
(
instance
?STRIKE
LaborStriking
)
(
agent
?STRIKE ?PERSON)
(
instance
?PERSON
Human
)
(
patient
?STRIKE ?ORG)
(
instance
?ORG
Organization
))
(
employs
?ORG ?PERSON))
Mid-level-ontology.kif 16915-16922
Wenn
Process
ist ein
fall
von
LaborStriking
%n{nicht} und
** Process
ist der
agent
von
CognitiveAgent
%n{nicht} und
** CognitiveAgent
ist ein
fall
von
Human
%n{nicht} und
AutonomousAgent
ist ein
patient
von
** Process
%n{nicht} und
** AutonomousAgent
ist ein
fall
von
Organization
%n{nicht},
dann
** AutonomousAgent
beschaeftigt
** CognitiveAgent
%n{nicht}
(=>
(
and
(
instance
?UNIT
CommercialUnit
)
(
instance
?ORG
Organization
)
(
located
?ORG ?UNIT))
(
not
(
exists
(?OTHER)
(
and
(
instance
?OTHER
Organization
)
(
located
?OTHER ?UNIT)
(
not
(
equal
?OTHER ?ORG))))))
Mid-level-ontology.kif 7067-7076
Wenn
Object
ist ein
fall
von
CommercialUnit
%n{nicht} und
Physical
ist ein
fall
von
Organization
%n{nicht} und
** Physical
befindet
sich an %n{nicht},
dann es gibt nicht
** Physical
um
** ** Physical
ist ein
fall
von
Organization
%n{nicht} und
** ** Physical
befindet
sich an %n{nicht} und
** ** Physical
ist gleich
** Physical
nicht
(=>
(
and
(
judicialBranch
?BRANCH ?ORG)
(
instance
?ORG
Organization
))
(
subOrganization
?BRANCH ?ORG))
Government.kif 2118-2122
Wenn
judicialBranch
Organization
and
** Organization
und
** ** Organization
ist ein
fall
von
Organization
%n{nicht},
dann
subOrganization
** Organization
and
** ** Organization
(=>
(
and
(
legislativeBranch
?ORG ?AGENT)
(
instance
?AGENT
Organization
))
(
subOrganization
?ORG ?AGENT))
Government.kif 2023-2027
Wenn
legislativeBranch
Organization
and
** Organization
und
** ** Organization
ist ein
fall
von
Organization
%n{nicht},
dann
subOrganization
** Organization
and
** ** Organization
(=>
(
and
(
names
?STRING ?OBJ)
(
instance
?OBJ
Organization
))
(
organizationName
?STRING ?OBJ))
Media.kif 3480-3484
Wenn
names
SymbolicString
and
Organization
und
** Organization
ist ein
fall
von
Organization
%n{nicht},
dann
organizationName
** SymbolicString
and
** Organization
(=>
(
and
(
representativeAgentToAgent
?SENDER ?REP ?RECEIVER)
(
instance
?SENDER
Organization
)
(
instance
?REP
CognitiveAgent
))
(
employs
?SENDER ?REP))
Government.kif 4607-4612
Wenn
representativeAgentToAgent
AutonomousAgent
,
CognitiveAgent
and
** AutonomousAgent
und
** AutonomousAgent
ist ein
fall
von
Organization
%n{nicht} und
** CognitiveAgent
ist ein
fall
von
CognitiveAgent
%n{nicht},
dann
** AutonomousAgent
beschaeftigt
** CognitiveAgent
%n{nicht}
(=>
(
and
(
subclass
?PLATFORM
PartyPlatform
)
(
authors
?PARTY ?PLATFORM)
(
instance
?PARTY
Organization
))
(
instance
?PARTY
PoliticalParty
))
Government.kif 2324-2329
Wenn
** ContentBearingObject
ist eine
teilkategorie
von
PartyPlatform
und
AutonomousAgent
ist der
schreiber
von
** ContentBearingObject
und
** AutonomousAgent
ist ein
fall
von
Organization
%n{nicht},
dann
** AutonomousAgent
ist ein
fall
von
PoliticalParty
%n{nicht}
(=>
(
instance
(
ExecutiveBranchFn
?AGENT)
Organization
)
(
executiveBranch
(
ExecutiveBranchFn
?AGENT) ?AGENT))
Government.kif 1332-1334
Wenn
ExecutiveBranchFn
AutonomousAgent
ist ein
fall
von
Organization
%n{nicht},
dann
executiveBranch
ExecutiveBranchFn
** AutonomousAgent
and
** AutonomousAgent
(=>
(
instance
(
JudiciaryFn
?AGENT)
Organization
)
(
judicialBranch
(
JudiciaryFn
?AGENT) ?AGENT))
Government.kif 2151-2153
Wenn
JudiciaryFn
GeopoliticalArea
ist ein
fall
von
Organization
%n{nicht},
dann
judicialBranch
JudiciaryFn
** GeopoliticalArea
and
** GeopoliticalArea
(=>
(
instance
(
LegislatureFn
?AGENT)
Organization
)
(
legislativeBranch
(
LegislatureFn
?AGENT) ?AGENT))
Government.kif 2046-2048
Wenn
LegislatureFn
GeopoliticalArea
ist ein
fall
von
Organization
%n{nicht},
dann
legislativeBranch
LegislatureFn
** GeopoliticalArea
and
** GeopoliticalArea
(=>
(
instance
?ORG
Organization
)
(
exists
(?PURP)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?ORG)
(
hasPurpose
?MEMBER ?PURP)))))
Merge.kif 16645-16651
Wenn
Collection
ist ein
fall
von
Organization
%n{nicht},
dann es gibt
Formula
um fuer alle
Physical
wenn
** Physical
ist ein
Mitglied
von
** Collection
%n{nicht},
dann
** Physical
hat Zweck von
** Formula
%n{nicht}
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