member
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
Construction
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?MEM2 ?EV2)
(
and
(
instance
?EV
Constructing
)
(
patient
?EV ?THING)
(
member
?MEM2 ?ORG)
(
instance
?EV2
Selling
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 1080-1095
Wenn
Collection
ist ein
fall
von
Organization
%n{nicht} und
Construction
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
Constructing
%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
CouriersAndMessengers
))
(
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 8736-8756
Wenn
Collection
ist ein
fall
von
Organization
%n{nicht} und
CouriersAndMessengers
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
ElectricalEquipmentApplianceAndComponentManufacturing
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?MEM2 ?EV2)
(
and
(
instance
?EV
Manufacture
)
(
and
(
instance
?THING
Machine
)
(
exists
(?EV3 ?ELEC)
(
and
(
patient
?EV3 ?THING)
(
resource
?EV3 ?ELEC)
(
instance
?ELEC
Electricity
))))
(
patient
?EV ?THING)
(
member
?MEM2 ?ORG)
(
instance
?EV2
Selling
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 5421-5443
Wenn
Collection
ist ein
fall
von
Organization
%n{nicht} und
ElectricalEquipmentApplianceAndComponentManufacturing
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 es gibt
** AutonomousAgent
3 und
Object
um
** Entity
ist ein
patient
von
** AutonomousAgent
3 %n{nicht} und
** Object
ist ein
hilfmittel
fuer
** AutonomousAgent
3 %n{nicht} und
** Object
ist ein
fall
von
Electricity
%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
ElectronicsAndApplianceStores
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING)
(
and
(
instance
?EV
Selling
)
(
instance
?THING
ElectricDevice
)
(
patient
?EV ?THING))))))
naics.kif 7186-7198
Wenn
Collection
ist ein
fall
von
Organization
%n{nicht} und
ElectronicsAndApplianceStores
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
ElectricDevice
%n{nicht} und
** Entity
ist ein
patient
von
** AutonomousAgent
%n{nicht}
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
FabricatedMetalProductManufacturing
))
(
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 4225-4241
Wenn
Collection
ist ein
fall
von
Organization
%n{nicht} und
FabricatedMetalProductManufacturing
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
FoodAndBeverageStores
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING)
(
and
(
instance
?EV
Selling
)
(
or
(
instance
?THING
(
FoodForFn
Animal
))
(
instance
?THING
Beverage
))
(
patient
?EV ?THING))))))
naics.kif 7319-7333
Wenn
Collection
ist ein
fall
von
Organization
%n{nicht} und
FoodAndBeverageStores
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
FoodForFn
Animal
%n{nicht} oder
** Entity
ist ein
fall
von
Beverage
%n{nicht} und
** Entity
ist ein
patient
von
** AutonomousAgent
%n{nicht}
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
FoodManufacturing
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?MEM2 ?EV2)
(
and
(
instance
?EV
Cooking
)
(
instance
?EV
Manufacture
)
(
patient
?EV ?THING)
(
member
?MEM2 ?ORG)
(
instance
?EV2
Selling
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 1361-1377
Wenn
Collection
ist ein
fall
von
Organization
%n{nicht} und
FoodManufacturing
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
Cooking
%n{nicht} und
** AutonomousAgent
ist ein
fall
von
Manufacture
%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
FurnitureAndHomeFurnishingsStores
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING)
(
and
(
instance
?EV
Selling
)
(
instance
?THING
Furniture
)
(
patient
?EV ?THING))))))
naics.kif 7125-7137
Wenn
Collection
ist ein
fall
von
Organization
%n{nicht} und
FurnitureAndHomeFurnishingsStores
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
Furniture
%n{nicht} und
** Entity
ist ein
patient
von
** AutonomousAgent
%n{nicht}
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
FurnitureAndRelatedProductManufacturing
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?MEM2 ?EV2)
(
and
(
instance
?EV
Manufacture
)
(
instance
?THING
Furniture
)
(
patient
?EV ?THING)
(
member
?MEM2 ?ORG)
(
instance
?EV2
Selling
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 5994-6010
Wenn
Collection
ist ein
fall
von
Organization
%n{nicht} und
FurnitureAndRelatedProductManufacturing
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
Furniture
%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
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
PaperManufacturing
))
(
exists
(?MEM ?EV ?THING)
(
and
(
instance
?MEM
Industry
)
(
member
?MEM ?ORG)
(
instance
?EV
Manufacture
)
(
agent
?EV ?MEM)
(
patient
?EV ?THING)
(
material
Paper
?THING))))
naics.kif 2717-2728
Wenn
Collection
ist ein
fall
von
Organization
%n{nicht} und
PaperManufacturing
ist ein
attribut
von
** Collection
%n{nicht},
dann es gibt
AutonomousAgent
,
Process
, and und
CorpuscularObject
um
** AutonomousAgent
ist ein
fall
von
Industry
%n{nicht} und
** AutonomousAgent
ist ein
Mitglied
von
** Collection
%n{nicht} und
** Process
ist ein
fall
von
Manufacture
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** CorpuscularObject
ist ein
patient
von
** Process
%n{nicht} und
Paper
ist von
** CorpuscularObject
gebildet
(=>
(
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}
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