patient
(=>
(
and
(
instance
?LISTING
WebListing
)
(
instance
?ITEM
Object
)
(
instance
?CREATOR
AutonomousAgent
)
(
attribute
?LISTING
AuctionAttribute
)
(
patient
?ITEM ?LISTING)
(
creator
?CREATOR ?LISTING))
(
desires
?CREATOR
(
exists
(?AUCTION)
(
and
(
instance
?AUCTION
Auctioning
)
(
patient
?AUCTION ?ITEM)))))
UXExperimentalTerms.kif 313-325
If
an object
is an
instance
of
web listing
and
a process
is an
instance
of
object
and
a cognitive agent
is an
instance
of
agent
and
auction attribute
is an
attribute
of
the object
and
the object
is a
patient
of
the process
and
the cognitive agent
created
the object
,
then
the cognitive agent
desire
s there exists
an entity
such that
the entity
is an
instance
of
auctioning
and
the process
is a
patient
of
the entity
(=>
(
and
(
instance
?M
GuidedMissile
)
(
instance
?FLYING
Flying
)
(
patient
?FLYING ?M))
(
exists
(?GUIDING)
(
and
(
instance
?GUIDING
Guiding
)
(
patient
?GUIDING ?FLYING)
(
agent
?GUIDING ?M)
(
during
(
WhenFn
?GUIDING)
(
WhenFn
?FLYING)))))
MilitaryDevices.kif 1051-1063
If
an agent
is an
instance
of
guided missile
and
a process
is an
instance
of
flying
and
the agent
is a
patient
of
the process
,
then there exists
another process
such that
the other process
is an
instance
of
guiding
and
the process
is a
patient
of
the other process
and
the agent
is an
agent
of
the other process
and the
time
of existence of
the other process
takes place
during
the
time
of existence of
the process
(=>
(
and
(
instance
?MC
MusicalComposition
)
(
realization
?MC ?MUSIC))
(
not
(
exists
(?LC ?V)
(
and
(
instance
?V
Singing
)
(
patient
?V ?LC)
(
instance
?LC
LyricalContent
)
(
subProcess
?V ?MUSIC)))))
Mid-level-ontology.kif 13752-13762
If
a process
is an
instance
of
musical composition
and
the process
express
es the content of
another process
,
then there don't exist
an entity
and
a third process
such that
the third process
is an
instance
of
singing
and
the entity
is a
patient
of
the third process
and
the entity
is an
instance
of
lyrical content
and
the third process
is a
subprocess
of
the other process
(=>
(
and
(
instance
?MOTION
BodyMotion
)
(
moves
?MOTION ?OBJ))
(
and
(
instance
?OBJ
BodyPart
)
(
patient
?MOTION ?OBJ)))
Merge.kif 11110-11116
If
a motion
is an
instance
of
body motion
and
an object
moves during
the motion
,
then
the object
is an
instance
of
body part
and
the object
is a
patient
of
the motion
(=>
(
and
(
instance
?MOTION
Ducking
)
(
agent
?MOTION ?AGENT))
(
hasPurpose
?MOTION
(
not
(
exists
(?IMPACT)
(
and
(
instance
?IMPACT
Impacting
)
(
patient
?IMPACT ?AGENT))))))
Mid-level-ontology.kif 13124-13131
If
a process
is an
instance
of
ducking
and
an agent
is an
agent
of
the process
,
then
the process
has the purpose there doesn't exist
an entity
such that
the entity
is an
instance
of
impacting
and
the agent
is a
patient
of
the entity
(=>
(
and
(
instance
?OBJ
Object
)
(
attribute
?OBJ
Pliable
))
(
exists
(?CHANGE)
(
and
(
instance
?CHANGE
ShapeChange
)
(
patient
?CHANGE ?OBJ))))
Merge.kif 17746-17753
If
an object
is an
instance
of
object
and
pliable
is an
attribute
of
the object
,
then there exists
a process
such that
the process
is an
instance
of
shape change
and
the object
is a
patient
of
the process
(=>
(
and
(
instance
?OEW
OpeningEyesWidely
)
(
agent
?OEW ?A))
(
exists
(?EL)
(
and
(
instance
?EL
Eyelid
)
(
part
?EL ?A)
(
patient
?OEW ?EL))))
emotion.kif 1668-1676
If
a process
is an
instance
of
opening eyes widely
and
an agent
is an
agent
of
the process
,
then there exists
an object
such that
the object
is an
instance
of
eyelid
and
the object
is a
part
of
the agent
and
the object
is a
patient
of
the process
(=>
(
and
(
instance
?ORD
Ordaining
)
(
patient
?ORD ?X)
(
instance
?X
Human
)
(
member
?X
Christianity
))
(
hasPurpose
?ORD
(
exists
(?CER ?A)
(
and
(
instance
?CER
Ceremony
)
(
instance
?A
Appointing
)
(
subProcess
?A ?CER)
(
patient
?A ?X)
(
appointedPosition
?A ?X
Cleric
)))))
Biography.kif 156-169
If
a process
is an
instance
of
Ordaining
and
a physical
is a
patient
of
the process
and
the physical
is an
instance
of
human
and
the physical
is a
member
of
christianity
,
then
the process
has the purpose there exist
an entity
and
another entity
such that
the entity
is an
instance
of
ceremony
and
the other entity
is an
instance
of
appointing
and
the other entity
is a
subprocess
of
the entity
and
the physical
is a
patient
of
the other entity
and
appointedPosition
the other entity
,
the physical
and
cleric
(=>
(
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