Selling
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
GasolineStations
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING)
(
and
(
instance
?EV
Selling
)
(
instance
?THING
RefinedPetroleumProduct
)
(
patient
?EV ?THING))))))
naics.kif 7472-7484
Wenn
Collection
ist ein
fall
von
Organization
%n{nicht} und
GasolineStations
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
um
** AutonomousAgent
ist ein
fall
von
Selling
%n{nicht} und
** Entity
ist ein
fall
von
RefinedPetroleumProduct
%n{nicht} und
** Entity
ist ein
patient
von
** AutonomousAgent
%n{nicht}
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
GeneralMerchandiseStores
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?P)
(
and
(
instance
?EV
Selling
)
(
instance
?P
Human
)
(
instance
?THING
Object
)
(
destination
?EV ?P)
(
patient
?EV ?THING))))))
naics.kif 7702-7716
Wenn
Collection
ist ein
fall
von
Organization
%n{nicht} und
GeneralMerchandiseStores
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
und
** Entity
um
** AutonomousAgent
ist ein
fall
von
Selling
%n{nicht} und
** ** Entity
ist ein
fall
von
Human
%n{nicht} und
** Entity
ist ein
fall
von
Object
%n{nicht} und
** AutonomousAgent
endet an
** ** Entity
%n{nicht} und
** Entity
ist ein
patient
von
** AutonomousAgent
%n{nicht}
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
LeatherAndAlliedProductManufacturing
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?MEM2 ?EV2)
(
and
(
instance
?EV
Manufacture
)
(
or
(
instance
?THING
Clothing
)
(
instance
?THING
Fabric
))
(
patient
?EV ?THING)
(
member
?MEM2 ?ORG)
(
instance
?EV2
Selling
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 2457-2475
Wenn
Collection
ist ein
fall
von
Organization
%n{nicht} und
LeatherAndAlliedProductManufacturing
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
Manufacture
%n{nicht} und
** Entity
ist ein
fall
von
Clothing
%n{nicht} oder
** Entity
ist ein
fall
von
Fabric
%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
MachineryManufacturing
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?MEM2 ?EV2)
(
and
(
instance
?EV
Manufacture
)
(
instance
?THING
Machine
)
(
patient
?EV ?THING)
(
member
?MEM2 ?ORG)
(
instance
?EV2
Selling
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 4644-4660
Wenn
Collection
ist ein
fall
von
Organization
%n{nicht} und
MachineryManufacturing
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
Manufacture
%n{nicht} und
** Entity
ist ein
fall
von
Machine
%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
Mining
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?MEM2 ?EV2)
(
and
(
instance
?EV
Removing
)
(
patient
?EV ?THING)
(
instance
?THING
PureSubstance
)
(
attribute
?THING
Solid
)
(
member
?MEM2 ?ORG)
(
instance
?EV2
Selling
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 631-648
Wenn
Collection
ist ein
fall
von
Organization
%n{nicht} und
Mining
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} und
** Object
ist ein
patient
von
** AutonomousAgent
%n{nicht} und
** Object
ist ein
fall
von
PureSubstance
%n{nicht} und
Solid
ist ein
attribut
von
** Object
%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
** Object
ist ein
patient
von
** AutonomousAgent
2 %n{nicht}
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
MiscellaneousManufacturing
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?MEM2 ?EV2)
(
and
(
instance
?EV
Manufacture
)
(
instance
?THING
Object
)
(
patient
?EV ?THING)
(
member
?MEM2 ?ORG)
(
instance
?EV2
Selling
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 6153-6169
Wenn
Collection
ist ein
fall
von
Organization
%n{nicht} und
MiscellaneousManufacturing
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
Manufacture
%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
MiscellaneousStoreRetailers
))
(
exists
(?EV ?MEM ?THING ?ST ?P)
(
and
(
member
?MEM ?ORG)
(
agent
?EV ?P)
(
instance
?EV
Selling
)
(
instance
?P
Human
)
(
instance
?ST
RetailStore
)
(
eventLocated
?EV ?ST)
(
instance
?THING
Object
)
(
patient
?EV ?THING))))
naics.kif 7752-7765
Wenn
Collection
ist ein
fall
von
Organization
%n{nicht} und
MiscellaneousStoreRetailers
ist ein
attribut
von
** Collection
%n{nicht},
dann es gibt
Process
,
Physical
,, ,
Entity
,, ,
Object
, and und
AutonomousAgent
um
** Physical
ist ein
Mitglied
von
** Collection
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** Process
ist ein
fall
von
Selling
%n{nicht} und
** AutonomousAgent
ist ein
fall
von
Human
%n{nicht} und
** Object
ist ein
fall
von
RetailStore
%n{nicht} und
eventLocated
** Process
and
** Object
und
** Entity
ist ein
fall
von
Object
%n{nicht} und
** Entity
ist ein
patient
von
** Process
%n{nicht}
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
MotorVehicleAndPartsDealers
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING)
(
and
(
instance
?EV
Selling
)
(
or
(
instance
?THING
TransportationDevice
)
(
exists
(?DEV)
(
and
(
part
?THING ?DEV)
(
instance
?DEV
TransportationDevice
)))
(
patient
?EV ?THING)))))))
naics.kif 7023-7040
Wenn
Collection
ist ein
fall
von
Organization
%n{nicht} und
MotorVehicleAndPartsDealers
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
um
** AutonomousAgent
ist ein
fall
von
Selling
%n{nicht} und
** Object
ist ein
fall
von
TransportationDevice
%n{nicht} oder es gibt
** Object
um
** Object
ist ein
teil
von
** ** Object
%n{nicht} und
** ** Object
ist ein
fall
von
TransportationDevice
%n{nicht} oder
** Object
ist ein
patient
von
** AutonomousAgent
%n{nicht}
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
NonmetallicMineralProductManufacturing
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?MEM2 ?EV2)
(
and
(
instance
?EV
Manufacture
)
(
not
(
instance
?THING
Metal
))
(
instance
?THING
PureSubstance
)
(
patient
?EV ?THING)
(
member
?MEM2 ?ORG)
(
instance
?EV2
Selling
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 3690-3708
Wenn
Collection
ist ein
fall
von
Organization
%n{nicht} und
NonmetallicMineralProductManufacturing
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
Manufacture
%n{nicht} und
** Entity
ist ein
fall
von
Metal
nicht und
** Entity
ist ein
fall
von
PureSubstance
%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
NonstoreRetailers
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?P)
(
and
(
instance
?EV
Selling
)
(
instance
?P
Human
)
(
instance
?THING
Object
)
(
not
(
eventLocated
?EV
RetailStore
))
(
destination
?EV ?P)
(
patient
?EV ?THING))))))
naics.kif 7877-7893
Wenn
Collection
ist ein
fall
von
Organization
%n{nicht} und
NonstoreRetailers
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
und
** Entity
um
** AutonomousAgent
ist ein
fall
von
Selling
%n{nicht} und
** ** Entity
ist ein
fall
von
Human
%n{nicht} und
** Entity
ist ein
fall
von
Object
%n{nicht} und
eventLocated
** AutonomousAgent
and
RetailStore
und
** AutonomousAgent
endet an
** ** Entity
%n{nicht} und
** Entity
ist ein
patient
von
** AutonomousAgent
%n{nicht}
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
PetroleumAndCoalProductsManufacturing
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?MEM2 ?EV2)
(
and
(
instance
?EV
Manufacture
)
(
instance
?THING
Hydrocarbon
)
(
patient
?EV ?THING)
(
member
?MEM2 ?ORG)
(
instance
?EV2
Selling
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 3053-3069
Wenn
Collection
ist ein
fall
von
Organization
%n{nicht} und
PetroleumAndCoalProductsManufacturing
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
Manufacture
%n{nicht} und
** Entity
ist ein
fall
von
Hydrocarbon
%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
PipelineTransportation
))
(
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 ?PIPE)
(
and
(
instance
?T
Transportation
)
(
possesses
?P ?OBJ)
(
patient
?T ?OBJ)
(
instance
?OBJ
Substance
)
(
possesses
?ORG ?V)
(
instrument
?T ?PIPE)
(
instance
?PIPE
Pipeline
))) ?MEM ?P))))))
naics.kif 8465-8488
Wenn
Collection
ist ein
fall
von
Organization
%n{nicht} und
PipelineTransportation
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
,, ,
** entity
, and und
** CognitiveAgent
IPE um
** entity
ist ein
fall
von
Transportation
%n{nicht} und
** CognitiveAgent
besitzt
** ** entity
%n{nicht} und
** ** entity
ist ein
patient
von
** entity
%n{nicht} und
** ** entity
ist ein
fall
von
Substance
%n{nicht} und
** Collection
besitzt
** ** entity
%n{nicht} und
** CognitiveAgent
IPE ist ein
instrument
fuer
** entity
%n{nicht} und
** CognitiveAgent
IPE ist ein
fall
von
Pipeline
%n{nicht} durchzuf�hren %n{nicht}
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
PlasticsAndRubberProductsManufacturing
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?MEM2 ?EV2)
(
and
(
instance
?EV
Manufacture
)
(
or
(
instance
?THING
Plastic
)
(
instance
?THING
Rubber
))
(
patient
?EV ?THING)
(
member
?MEM2 ?ORG)
(
instance
?EV2
Selling
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 3497-3515
Wenn
Collection
ist ein
fall
von
Organization
%n{nicht} und
PlasticsAndRubberProductsManufacturing
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
Manufacture
%n{nicht} und
** Entity
ist ein
fall
von
Plastic
%n{nicht} oder
** Entity
ist ein
fall
von
Rubber
%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
PostalService
))
(
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
(?TRANS)
(
and
(
instance
?TRANS
Transportation
)
(
possesses
?P ?OBJ)
(
patient
?TRANS ?OBJ))) ?MEM ?P))))))
naics.kif 8707-8727
Wenn
Collection
ist ein
fall
von
Organization
%n{nicht} und
PostalService
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
um
** ** entity
ist ein
fall
von
Transportation
%n{nicht} und
** CognitiveAgent
besitzt
** Entity
%n{nicht} und
** Entity
ist ein
patient
von
** ** entity
%n{nicht} durchzuf�hren %n{nicht}
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
PrimaryMetalManufacturing
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?MEM2 ?EV2)
(
and
(
instance
?EV
Manufacture
)
(
instance
?THING
Metal
)
(
patient
?EV ?THING)
(
member
?MEM2 ?ORG)
(
instance
?EV2
Selling
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 3943-3959
Wenn
Collection
ist ein
fall
von
Organization
%n{nicht} und
PrimaryMetalManufacturing
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
Manufacture
%n{nicht} und
** Entity
ist ein
fall
von
Metal
%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
PrintingAndRelatedSupportActivities
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?MEM2 ?EV2)
(
and
(
instance
?EV
Manufacture
)
(
instance
?THING
SurfaceChange
)
(
patient
?EV ?THING)
(
member
?MEM2 ?ORG)
(
instance
?EV2
Selling
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 2923-2939
Wenn
Collection
ist ein
fall
von
Organization
%n{nicht} und
PrintingAndRelatedSupportActivities
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
Manufacture
%n{nicht} und
** Entity
ist ein
fall
von
SurfaceChange
%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
RailTransportation
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?P)
(
and
(
instance
?EV
Selling
)
(
instance
?P
Human
)
(
patient
?EV ?P)
(
confersRight
(
exists
(?MOVE ?RR ?OBJ)
(
and
(
instance
?MOVE
Transportation
)
(
or
(
patient
?MOVE ?P)
(
and
(
possesses
?P ?OBJ)
(
patient
?MOVE ?OBJ)
(
instance
?OBJ
Object
)))
(
possesses
?ORG ?RR)
(
instance
?RR
RailVehicle
))) ?MEM ?P))))))
naics.kif 8034-8059
Wenn
Collection
ist ein
fall
von
Organization
%n{nicht} und
RailTransportation
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
RailVehicle
%n{nicht} durchzuf�hren %n{nicht}
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
ScenicAndSightseeingTransportation
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?P)
(
and
(
instance
?EV
Selling
)
(
instance
?P
Human
)
(
patient
?EV ?P)
(
confersRight
(
exists
(?TRANS ?VEH)
(
and
(
instance
?TRANS
Transportation
)
(
instance
?TRANS
RecreationOrExercise
)
(
patient
?TRANS ?P)
(
possesses
?ORG ?VEH)
(
instance
?VEH
Vehicle
))) ?MEM ?P))))))
naics.kif 8528-8549
Wenn
Collection
ist ein
fall
von
Organization
%n{nicht} und
ScenicAndSightseeingTransportation
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
und
** entity
um
** entity
ist ein
fall
von
Transportation
%n{nicht} und
** entity
ist ein
fall
von
RecreationOrExercise
%n{nicht} und
** CognitiveAgent
ist ein
patient
von
** entity
%n{nicht} und
** Collection
besitzt
** ** entity
%n{nicht} und
** ** entity
ist ein
fall
von
Vehicle
%n{nicht} durchzuf�hren %n{nicht}
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
SportingGoodsHobbyBookAndMusicStores
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING)
(
and
(
instance
?EV
Selling
)
(
instance
?THING
Object
)
(
or
(
capability
Sport
instrument
?THING)
(
capability
MakingMusic
instrument
?THING)
(
instance
?THING
Book
)
(
instance
?THING
MusicRecording
)
(
instance
?THING
MusicText
))
(
patient
?EV ?THING))))))
naics.kif 7600-7618
Wenn
Collection
ist ein
fall
von
Organization
%n{nicht} und
SportingGoodsHobbyBookAndMusicStores
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
um
** AutonomousAgent
ist ein
fall
von
Selling
%n{nicht} und
** Object
ist ein
fall
von
Object
%n{nicht} und
** Object
ist faehig %n{nicht}, in der Rolle
instrument
Sport
zu tun oder
** Object
ist faehig %n{nicht}, in der Rolle
instrument
MakingMusic
zu tun oder
** Object
ist ein
fall
von
Book
%n{nicht} oder
** Object
ist ein
fall
von
MusicRecording
%n{nicht} oder
** Object
ist ein
fall
von
MusicText
%n{nicht} und
** Object
ist ein
patient
von
** AutonomousAgent
%n{nicht}
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
TextileMills
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?MEM2 ?EV2)
(
and
(
instance
?EV
Manufacture
)
(
instance
?THING
Fabric
)
(
patient
?EV ?THING)
(
member
?MEM2 ?ORG)
(
instance
?EV2
Selling
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 1944-1960
Wenn
Collection
ist ein
fall
von
Organization
%n{nicht} und
TextileMills
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
Manufacture
%n{nicht} und
** Entity
ist ein
fall
von
Fabric
%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
TextileProductMills
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?MEM2 ?EV2)
(
and
(
instance
?EV
Manufacture
)
(
instance
?THING
Fabric
)
(
patient
?EV ?THING)
(
member
?MEM2 ?ORG)
(
instance
?EV2
Selling
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 2085-2101
Wenn
Collection
ist ein
fall
von
Organization
%n{nicht} und
TextileProductMills
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
Manufacture
%n{nicht} und
** Entity
ist ein
fall
von
Fabric
%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
TransitAndGroundPassengerTransportation
))
(
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)
(
and
(
instance
?T
Transportation
)
(
patient
?T ?P)
(
possesses
?ORG ?V)
(
instance
?V
LandVehicle
))) ?MEM ?P))))))
naics.kif 8344-8364
Wenn
Collection
ist ein
fall
von
Organization
%n{nicht} und
TransitAndGroundPassengerTransportation
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
und
** entity
um
** entity
ist ein
fall
von
Transportation
%n{nicht} und
** CognitiveAgent
ist ein
patient
von
** entity
%n{nicht} und
** Collection
besitzt
** ** entity
%n{nicht} und
** ** entity
ist ein
fall
von
LandVehicle
%n{nicht} durchzuf�hren %n{nicht}
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
TransportationEquipmentManufacturing
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?MEM2 ?EV2)
(
and
(
instance
?EV
Manufacture
)
(
instance
?THING
TransportationDevice
)
(
patient
?EV ?THING)
(
member
?MEM2 ?ORG)
(
instance
?EV2
Selling
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 5683-5699
Wenn
Collection
ist ein
fall
von
Organization
%n{nicht} und
TransportationEquipmentManufacturing
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
Manufacture
%n{nicht} und
** Entity
ist ein
fall
von
TransportationDevice
%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
TruckTransportation
))
(
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
)
(
possesses
?P ?OBJ)
(
patient
?T ?OBJ)
(
instance
?OBJ
Object
)
(
possesses
?ORG ?V)
(
instance
?V
LandVehicle
))) ?MEM ?P))))))
naics.kif 8253-8275
Wenn
Collection
ist ein
fall
von
Organization
%n{nicht} und
TruckTransportation
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
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
LandVehicle
%n{nicht} durchzuf�hren %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}
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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