Organization
(organization)
(=>
(
and
(
instance
?JOIN
JoiningAnOrganization
)
(
instance
?ORG
Organization
)
(
agent
?JOIN ?PERSON)
(
patient
?JOIN ?ORG))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?JOIN))
(
not
(
member
?PERSON ?ORG)))
(
holdsDuring
(
EndFn
(
WhenFn
?JOIN))
(
member
?PERSON ?ORG))))
Merge.kif 10578-10586
If
a process
is an
instance
of
joining an organization
and
an entity
is an
instance
of
organization
and
an agent
is an
agent
of
the process
and
the entity
is a
patient
of
the process
,
then
the agent
is not a
member
of
the entity
holds
during
the
beginning
of the
time
of existence of
the process
and
the agent
is a
member
of
the entity
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?LEAVE
Firing
)
(
instance
?ORG
Organization
)
(
agent
?LEAVE ?ORG)
(
patient
?LEAVE ?P))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?LEAVE))
(
member
?P ?ORG))
(
holdsDuring
(
EndFn
(
WhenFn
?LEAVE))
(
not
(
member
?P ?ORG)))))
Merge.kif 10683-10691
If
a process
is an
instance
of
firing
and
an agent
is an
instance
of
organization
and
the agent
is an
agent
of
the process
and
an entity
is a
patient
of
the process
,
then
the entity
is a
member
of
the agent
holds
during
the
beginning
of the
time
of existence of
the process
and
the entity
is not a
member
of
the agent
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?LEAVE
LeavingAnOrganization
)
(
instance
?ORG
Organization
)
(
agent
?LEAVE ?PERSON)
(
patient
?LEAVE ?ORG))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?LEAVE))
(
member
?PERSON ?ORG))
(
holdsDuring
(
EndFn
(
WhenFn
?LEAVE))
(
not
(
member
?PERSON ?ORG)))))
Merge.kif 10651-10659
If
a process
is an
instance
of
leaving an organization
and
an entity
is an
instance
of
organization
and
an agent
is an
agent
of
the process
and
the entity
is a
patient
of
the process
,
then
the agent
is a
member
of
the entity
holds
during
the
beginning
of the
time
of existence of
the process
and
the agent
is not a
member
of
the entity
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?LEAVE
Quitting
)
(
instance
?ORG
Organization
)
(
agent
?LEAVE ?PERSON)
(
patient
?LEAVE ?ORG))
(
desires
?PERSON
(
holdsDuring
(
EndFn
(
WhenFn
?LEAVE))
(
not
(
member
?PERSON ?ORG)))))
Merge.kif 10665-10675
If
a process
is an
instance
of
quitting
and
an entity
is an
instance
of
organization
and
a cognitive agent
is an
agent
of
the process
and
the entity
is a
patient
of
the process
,
then
the cognitive agent
desire
s
the cognitive agent
is not a
member
of
the entity
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?OP
BeginningOperations
)
(
instance
?ORG
Organization
)
(
agent
?OP ?ORG))
(
starts
?OP
(
WhenFn
?ORG)))
Mid-level-ontology.kif 16294-16299
If
a time interval
is an
instance
of
beginning operations
and
an agent
is an
instance
of
organization
and
the agent
is an
agent
of
the time interval
,
then
the time interval
start
s the
time
of existence of
the agent
(=>
(
and
(
instance
?OP
CeasingOperations
)
(
instance
?ORG
Organization
)
(
agent
?OP ?ORG))
(
finishes
?OP
(
WhenFn
?ORG)))
Mid-level-ontology.kif 16331-16336
If
a time interval
is an
instance
of
ceasing operations
and
an agent
is an
instance
of
organization
and
the agent
is an
agent
of
the time interval
,
then
the time interval
finish
es the
time
of existence of
the agent
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG ?INDUSTRY)
(
industryProductType
?INDUSTRY ?TYPE))
(
exists
(?EVENT ?ITEM)
(
and
(
instance
?EVENT
Making
)
(
instance
?ITEM ?TYPE)
(
agent
?EVENT ?ORG)
(
result
?EVENT ?ITEM))))
Economy.kif 1607-1617
If
an agent
is an
instance
of
organization
and
an industry attribute
is an
attribute
of
the agent
and
a kind of object
is an
industry
product type of
the industry attribute
,
then there exist
a process
and
an entity
such that
the process
is an
instance
of
making
and
the entity
is an
instance
of
a kind of object
and
the agent
is an
agent
of
the process
and
the entity
is a
result
of
the process
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG ?INDUSTRY)
(
industryServiceType
?INDUSTRY ?TYPE))
(
exists
(?EVENT)
(
and
(
instance
?EVENT ?TYPE)
(
agent
?EVENT ?ORG))))
Economy.kif 1649-1657
If
an agent
is an
instance
of
organization
and
an industry attribute
is an
attribute
of
the agent
and
a kind of intentional process
is an
industry
service type of
the industry attribute
,
then there exists
a process
such that
the process
is an
instance
of
a kind of intentional process
and
the agent
is an
agent
of
the process
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
AgricultureForestryFishingAndHunting
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?EV ?MEM)
(
exists
(?THING ?EV2 ?MEM2)
(
and
(
or
(
instance
?EV
Killing
)
(
instance
?EV
Maintaining
))
(
patient
?EV ?THING)
(
or
(
instance
?THING
Animal
)
(
instance
?THING
Plant
))
(
not
(
instance
?THING
Human
))
(
member
?MEM2 ?ORG)
(
instance
?EV2
Selling
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 50-72
If
a collection
is an
instance
of
organization
and
agriculture forestry fishing and hunting
is an
attribute
of
the collection
,
then there exist
a process
and
an agent
such that
the agent
is a
member
of
the collection
and
the agent
is an
agent
of
the process
and there exist
an entity
,
the process
2 and
the agent
2 such that
the process
is an
instance
of
killing
or
the process
is an
instance
of
maintaining
and
the entity
is a
patient
of
the process
and
the entity
is an
instance
of
animal
or
the entity
is an
instance
of
plant
and
the entity
is not an
instance
of
human
and
the agent
2 is a
member
of
the collection
and
the process
2 is an
instance
of
selling
and
the agent
2 is an
agent
of
the process
2 and
the entity
is a
patient
of
the process
2
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
AirTransportationIndustry
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?P)
(
and
(
instance
?EV
Selling
)
(
instance
?P
Human
)
(
patient
?EV ?P)
(
confersRight
(
exists
(?FLY ?PLANE ?OBJ)
(
and
(
instance
?FLY
Transportation
)
(
or
(
patient
?FLY ?P)
(
and
(
possesses
?P ?OBJ)
(
patient
?FLY ?OBJ)
(
instance
?OBJ
Object
)))
(
possesses
?ORG ?PLANE)
(
instance
?PLANE
Aircraft
))) ?MEM ?P))))))
naics.kif 7953-7978
If
a collection
is an
instance
of
organization
and
air transportation industry
is an
attribute
of
the collection
,
then there exist
an agent
and
a process
such that
the process
is a
member
of
the collection
and
the agent
is an
agent
of
the process
and there exists
a cognitive agent
such that
the agent
is an
instance
of
selling
and
the cognitive agent
is an
instance
of
human
and
the cognitive agent
is a
patient
of
the agent
and
the process
allow
s
the cognitive agent
to perform task of the type there exist
an entity
,
the cognitive agent
LANE and
a third entity
such that
the entity
is an
instance
of
transportation
and
the cognitive agent
is a
patient
of
the entity
or
the cognitive agent
possess
es
the third entity
and
the third entity
is a
patient
of
the entity
and
the third entity
is an
instance
of
object
and
the collection
possess
es
the cognitive agent
LANE and
the cognitive agent
LANE is an
instance
of
aircraft
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
ApparelManufacturing
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?MEM2 ?EV2)
(
and
(
instance
?EV
Manufacture
)
(
instance
?THING
Clothing
)
(
patient
?EV ?THING)
(
member
?MEM2 ?ORG)
(
instance
?EV2
Selling
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 2194-2210
If
a collection
is an
instance
of
organization
and
apparel manufacturing
is an
attribute
of
the collection
,
then there exist
an agent
and
a process
such that
the process
is a
member
of
the collection
and
the agent
is an
agent
of
the process
and there exist
an entity
,
the process
2 and
the agent
2 such that
the agent
is an
instance
of
manufacture
and
the entity
is an
instance
of
clothing
and
the entity
is a
patient
of
the agent
and
the process
2 is a
member
of
the collection
and
the agent
2 is an
instance
of
selling
and
the process
2 is an
agent
of
the agent
2 and
the entity
is a
patient
of
the agent
2
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
BeverageAndTobaccoProductManufacturing
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?MEM2 ?EV2)
(
and
(
instance
?EV
Manufacture
)
(
or
(
instance
?THING
Beverage
)
(
instance
?THING
TobaccoProduct
))
(
patient
?EV ?THING)
(
member
?MEM2 ?ORG)
(
instance
?EV2
Selling
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 1837-1855
If
a collection
is an
instance
of
organization
and
beverage and tobacco product manufacturing
is an
attribute
of
the collection
,
then there exist
an agent
and
a process
such that
the process
is a
member
of
the collection
and
the agent
is an
agent
of
the process
and there exist
an entity
,
the process
2 and
the agent
2 such that
the agent
is an
instance
of
manufacture
and
the entity
is an
instance
of
beverage
or
the entity
is an
instance
of
tobacco product
and
the entity
is a
patient
of
the agent
and
the process
2 is a
member
of
the collection
and
the agent
2 is an
instance
of
selling
and
the process
2 is an
agent
of
the agent
2 and
the entity
is a
patient
of
the agent
2
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
BuildingMaterialAndGardenEquipmentAndSuppliesDealers
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING)
(
and
(
instance
?EV
Selling
)
(
instance
?THING
Object
)
(
or
(
capability
Constructing
resource
?THING)
(
capability
Agriculture
resource
?THING))
(
patient
?EV ?THING))))))
naics.kif 7242-7257
If
a collection
is an
instance
of
organization
and
building material and garden equipment and supplies dealers
is an
attribute
of
the collection
,
then there exist
an agent
and
a process
such that
the process
is a
member
of
the collection
and
the agent
is an
agent
of
the process
and there exists
an object
such that
the agent
is an
instance
of
selling
and
the object
is an
instance
of
object
and
the object
is
capable
of doing
constructing
as a
resource
or
the object
is
capable
of doing
agriculture
as a
resource
and
the object
is a
patient
of
the agent
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
ChemicalManufacturing
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?MEM2 ?EV2)
(
and
(
instance
?EV
Manufacture
)
(
instance
?THING
PureSubstance
)
(
patient
?EV ?THING)
(
member
?MEM2 ?ORG)
(
instance
?EV2
Selling
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 3125-3141
If
a collection
is an
instance
of
organization
and
chemical manufacturing
is an
attribute
of
the collection
,
then there exist
an agent
and
a process
such that
the process
is a
member
of
the collection
and
the agent
is an
agent
of
the process
and there exist
an entity
,
the process
2 and
the agent
2 such that
the agent
is an
instance
of
manufacture
and
the entity
is an
instance
of
pure substance
and
the entity
is a
patient
of
the agent
and
the process
2 is a
member
of
the collection
and
the agent
2 is an
instance
of
selling
and
the process
2 is an
agent
of
the agent
2 and
the entity
is a
patient
of
the agent
2
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
ClothingAndClothingAccessoriesStores
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING)
(
and
(
instance
?EV
Selling
)
(
instance
?THING
Clothing
)
(
patient
?EV ?THING))))))
naics.kif 7509-7521
If
a collection
is an
instance
of
organization
and
clothing and clothing accessories stores
is an
attribute
of
the collection
,
then there exist
an agent
and
a process
such that
the process
is a
member
of
the collection
and
the agent
is an
agent
of
the process
and there exists
an entity
such that
the agent
is an
instance
of
selling
and
the entity
is an
instance
of
clothing
and
the entity
is a
patient
of
the agent
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
ComputerAndElectronicProductManufacturing
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?MEM2 ?EV2)
(
and
(
instance
?EV
Manufacture
)
(
or
(
instance
?THING
Computer
)
(
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 5126-5150
If
a collection
is an
instance
of
organization
and
computer and electronic product manufacturing
is an
attribute
of
the collection
,
then there exist
an agent
and
a process
such that
the process
is a
member
of
the collection
and
the agent
is an
agent
of
the process
and there exist
an entity
,
the process
2 and
the agent
2 such that
the agent
is an
instance
of
manufacture
and
the entity
is an
instance
of
computer
or
the entity
is an
instance
of
machine
and there exist
the agent
3 and
an object
such that
the entity
is a
patient
of
the agent
3 and
the object
is a
resource
for
the agent
3 and
the object
is an
instance
of
electricity
and
the entity
is a
patient
of
the agent
and
the process
2 is a
member
of
the collection
and
the agent
2 is an
instance
of
selling
and
the process
2 is an
agent
of
the agent
2 and
the entity
is a
patient
of
the agent
2
(=>
(
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
If
a collection
is an
instance
of
organization
and
construction
is an
attribute
of
the collection
,
then there exist
an agent
and
a process
such that
the process
is a
member
of
the collection
and
the agent
is an
agent
of
the process
and there exist
an entity
,
the process
2 and
the agent
2 such that
the agent
is an
instance
of
constructing
and
the entity
is a
patient
of
the agent
and
the process
2 is a
member
of
the collection
and
the agent
2 is an
instance
of
selling
and
the process
2 is an
agent
of
the agent
2 and
the entity
is a
patient
of
the agent
2
(=>
(
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
If
a collection
is an
instance
of
organization
and
couriers and messengers
is an
attribute
of
the collection
,
then there exist
an agent
and
a process
such that
the process
is a
member
of
the collection
and
the agent
is an
agent
of
the process
and there exist
a cognitive agent
and
an entity
such that
the agent
is an
instance
of
selling
and
the entity
is an
instance
of
object
and
the cognitive agent
is an
instance
of
human
and
the cognitive agent
is a
patient
of
the agent
and
the process
allow
s
the cognitive agent
to perform task of the type there exists
another entity
such that
the other entity
is an
instance
of
transportation
and
the cognitive agent
possess
es
the entity
and
the entity
is a
patient
of
the other entity
(=>
(
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
If
a collection
is an
instance
of
organization
and
electrical equipment appliance and component manufacturing
is an
attribute
of
the collection
,
then there exist
an agent
and
a process
such that
the process
is a
member
of
the collection
and
the agent
is an
agent
of
the process
and there exist
an entity
,
the process
2 and
the agent
2 such that
the agent
is an
instance
of
manufacture
and
the entity
is an
instance
of
machine
and there exist
the agent
3 and
an object
such that
the entity
is a
patient
of
the agent
3 and
the object
is a
resource
for
the agent
3 and
the object
is an
instance
of
electricity
and
the entity
is a
patient
of
the agent
and
the process
2 is a
member
of
the collection
and
the agent
2 is an
instance
of
selling
and
the process
2 is an
agent
of
the agent
2 and
the entity
is a
patient
of
the agent
2
(=>
(
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
If
a collection
is an
instance
of
organization
and
electronics and appliance stores
is an
attribute
of
the collection
,
then there exist
an agent
and
a process
such that
the process
is a
member
of
the collection
and
the agent
is an
agent
of
the process
and there exists
an entity
such that
the agent
is an
instance
of
selling
and
the entity
is an
instance
of
electric device
and
the entity
is a
patient
of
the agent
(=>
(
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
If
a collection
is an
instance
of
organization
and
fabricated metal product manufacturing
is an
attribute
of
the collection
,
then there exist
an agent
and
a process
such that
the process
is a
member
of
the collection
and
the agent
is an
agent
of
the process
and there exist
an entity
,
the process
2 and
the agent
2 such that
the agent
is an
instance
of
manufacture
and
the entity
is an
instance
of
metal
and
the entity
is a
patient
of
the agent
and
the process
2 is a
member
of
the collection
and
the agent
2 is an
instance
of
selling
and
the process
2 is an
agent
of
the agent
2 and
the entity
is a
patient
of
the agent
2
(=>
(
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
If
a collection
is an
instance
of
organization
and
food and beverage stores
is an
attribute
of
the collection
,
then there exist
an agent
and
a process
such that
the process
is a
member
of
the collection
and
the agent
is an
agent
of
the process
and there exists
an entity
such that
the agent
is an
instance
of
selling
and
the entity
is an
instance
of
food
for
animal
or
the entity
is an
instance
of
beverage
and
the entity
is a
patient
of
the agent
(=>
(
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
If
a collection
is an
instance
of
organization
and
food manufacturing
is an
attribute
of
the collection
,
then there exist
an agent
and
a process
such that
the process
is a
member
of
the collection
and
the agent
is an
agent
of
the process
and there exist
an entity
,
the process
2 and
the agent
2 such that
the agent
is an
instance
of
cooking
and
the agent
is an
instance
of
manufacture
and
the entity
is a
patient
of
the agent
and
the process
2 is a
member
of
the collection
and
the agent
2 is an
instance
of
selling
and
the process
2 is an
agent
of
the agent
2 and
the entity
is a
patient
of
the agent
2
(=>
(
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
If
a collection
is an
instance
of
organization
and
furniture and home furnishings stores
is an
attribute
of
the collection
,
then there exist
an agent
and
a process
such that
the process
is a
member
of
the collection
and
the agent
is an
agent
of
the process
and there exists
an entity
such that
the agent
is an
instance
of
selling
and
the entity
is an
instance
of
furniture
and
the entity
is a
patient
of
the agent
(=>
(
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
If
a collection
is an
instance
of
organization
and
furniture and related product manufacturing
is an
attribute
of
the collection
,
then there exist
an agent
and
a process
such that
the process
is a
member
of
the collection
and
the agent
is an
agent
of
the process
and there exist
an entity
,
the process
2 and
the agent
2 such that
the agent
is an
instance
of
manufacture
and
the entity
is an
instance
of
furniture
and
the entity
is a
patient
of
the agent
and
the process
2 is a
member
of
the collection
and
the agent
2 is an
instance
of
selling
and
the process
2 is an
agent
of
the agent
2 and
the entity
is a
patient
of
the agent
2
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