or
(=>
(
and
(
instance
?H
Hulling
)
(
patient
?H ?O))
(
or
(
instance
?O
Seed
)
(
instance
?O
Fruit
)))
Food.kif 174-180
If
a process
is an
instance
of
hulling
and
an entity
is a
patient
of
the process
,
then
the entity
is an
instance
of
seed
or
the entity
is an
instance
of
fruit
(=>
(
and
(
instance
?H
Hunting
)
(
patient
?H ?P))
(
hasPurpose
?H
(
exists
(?PROC)
(
and
(
patient
?PROC ?P)
(
or
(
instance
?PROC
Confining
)
(
instance
?PROC
Killing
))))))
Merge.kif 12910-12920
If
a process
is an
instance
of
hunting
and
an entity
is a
patient
of
the process
,
then
the process
has the purpose there exists
the entity
ROC such that
the entity
is a
patient
of
the entity
ROC and
the entity
ROC is an
instance
of
confining
or
the entity
ROC is an
instance
of
killing
(=>
(
and
(
instance
?H
Hurricane
)
(
eventLocated
?H ?P)
(
instance
?P
GeographicArea
)
(
or
(
located
?P ?SEA)
(
meetsSpatially
?P ?SEA)))
(
or
(
equal
?SEA
NortheasternPacificOcean
)
(
equal
?SEA
NorthAtlanticOcean
)))
Weather.kif 753-763
If
a process
is an
instance
of
hurricane
and
the process
is
located
at
an object
and
the object
is an
instance
of
geographic area
and
the object
is
located
at
another object
or
the object
meet
s
the other object
,
then
the other object
is
equal
to
Northeastern Pacific ocean
or
the other object
is
equal
to
north atlantic ocean
(=>
(
and
(
instance
?HELPING
Helping
)
(
agent
?HELPING ?AGENT)
(
result
?HELPING ?RESULT))
(
exists
(?PATIENT)
(
and
(
not
(
equal
?AGENT ?PATIENT))
(
or
(
patient
?HELPING ?PATIENT)
(
experiencer
?HELPING ?PATIENT))
(
wants
?PATIENT ?RESULT))))
MilitaryProcesses.kif 1419-1431
If
a process
is an
instance
of
helping
and
an agent
is an
agent
of
the process
and
a physical
is a
result
of
the process
,
then there exists
a cognitive agent
such that
the agent
is not
equal
to
the cognitive agent
and
the cognitive agent
is a
patient
of
the process
or
the cognitive agent
experience
s
the process
and
the cognitive agent
want
s
the physical
(=>
(
and
(
instance
?I
HealthInsuranceCompany
)
(
customer
?I ?C))
(
hasPurposeForAgent
?I
(
exists
(?D ?P)
(
and
(
or
(
instance
?D
DiagnosticProcess
)
(
instance
?D
TherapeuticProcess
))
(
experiencer
?D ?C)
(
instance
?P
Payment
)
(
agent
?P ?I)
(
refers
?P ?D))) ?C))
Mid-level-ontology.kif 7159-7172
If
a cognitive agent
is an
instance
of
health insurance company
and
an agent
is a
customer
of
the cognitive agent
,
then
the cognitive agent
has the purpose there exist
an entity
and
another entity
such that
the entity
is an
instance
of
diagnostic process
or
the entity
is an
instance
of
therapeutic process
and
the agent
experience
s
the entity
and
the other entity
is an
instance
of
payment
and
the cognitive agent
is an
agent
of
the other entity
and
the other entity
includes a
reference
to
the entity
for
the agent
(=>
(
and
(
instance
?IBD
UlcerativeColitis
)
(
experiencer
?IBD ?H))
(
or
(
attribute
?H
(
ImpairedBodyPartFn
LargeIntestine
))
(
attribute
?H
(
ImpairedBodyPartFn
Rectum
))))
Medicine.kif 2301-2309
If
a process
is an
instance
of
ulcerative colitis
and
an agent
experience
s
the process
,
then
impaired body part fn
large intestine
is an
attribute
of
the agent
or
impaired body part fn
rectum
is an
attribute
of
the agent
(=>
(
and
(
instance
?L
LawEnforcement
)
(
agent
?L ?P))
(
or
(
instance
?P
PoliceOrganization
)
(
exists
(?O)
(
and
(
instance
?O
PoliceOrganization
)
(
member
?P ?O)))))
Mid-level-ontology.kif 13909-13918
If
a process
is an
instance
of
law enforcement
and
an agent
is an
agent
of
the process
,
then
the agent
is an
instance
of
police organization
or there exists
a collection
such that
the collection
is an
instance
of
police organization
and
the agent
is a
member
of
the collection
(=>
(
and
(
instance
?LEAP
LeapYear
)
(
instance
?LEAP
(
YearFn
?NUMBER)))
(
or
(
and
(
equal
(
RemainderFn
?NUMBER 4) 0)
(
not
(
equal
(
RemainderFn
?NUMBER 100) 0)))
(
equal
(
RemainderFn
?NUMBER 400) 0)))
Merge.kif 9001-9009
If
an entity
is an
instance
of
leap year
and
the entity
is an
instance
of the
year
an integer
,
then
the integer
mod
4 is
equal
to 0 and
the integer
mod
100 is not
equal
to 0 or
the integer
mod
400 is
equal
to 0
(=>
(
and
(
instance
?LOGO
Logo
)
(
represents
?LOGO ?OBJ))
(
or
(
instance
?OBJ
AutonomousAgent
)
(
instance
?OBJ
Product
)))
Media.kif 895-901
If
an entity
is an
instance
of
logo
and
the entity
express
es
another entity
,
then
the other entity
is an
instance
of
agent
or
the other entity
is an
instance
of
product
(=>
(
and
(
instance
?MANEUVER
Maneuver
)
(
instance
?CONTEST
ViolentContest
)
(
subProcess
?MANEUVER ?CONTEST))
(
or
(
instance
?MANEUVER
Attack
)
(
instance
?MANEUVER
DefensiveManeuver
)))
Merge.kif 13442-13449
If
a process
is an
instance
of
maneuver
and
another process
is an
instance
of
violent contest
and
the process
is a
subprocess
of
the other process
,
then
the process
is an
instance
of
attack
or
the process
is an
instance
of
defensive maneuver
(=>
(
and
(
instance
?N
Nucleotide
)
(
part
?N ?M))
(
or
(
instance
?M
DNAMolecule
)
(
instance
?M
RNAMolecule
)))
VirusProteinAndCellPart.kif 56-62
If
an object
is an
instance
of
Nucleotide
and
the object
is a
part
of
another object
,
then
the other object
is an
instance
of
DNA molecule
or
the other object
is an
instance
of
RNA molecule
(=>
(
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
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
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
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
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
If
a collection
is an
instance
of
organization
and
leather and allied 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
clothing
or
the entity
is an
instance
of
fabric
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
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
If
a collection
is an
instance
of
organization
and
motor vehicle and parts 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
transportation device
or there exists
another object
such that
the object
is a
part
of
the other object
and
the other object
is an
instance
of
transportation device
or
the object
is a
patient
of
the agent
(=>
(
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
If
a collection
is an
instance
of
organization
and
plastics and rubber products 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
plastic
or
the entity
is an
instance
of
rubber
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
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
If
a collection
is an
instance
of
organization
and
rail transportation
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
,
another entity
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 other entity
and
the other entity
is an
instance
of
rail vehicle
(=>
(
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
If
a collection
is an
instance
of
organization
and
sporting goods hobby book and music 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 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
sport
as a
instrument
or
the object
is
capable
of doing
making music
as a
instrument
or
the object
is an
instance
of
book
or
the object
is an
instance
of
music recording
or
the object
is an
instance
of
music text
and
the object
is a
patient
of
the agent
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
Utilities
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?MEM2 ?EV2)
(
and
(
or
(
instance
?EV
Removing
)
(
instance
?THING
Sewage
))
(
patient
?EV ?THING)
(
or
(
instance
?THING
Electron
)
(
instance
?THING
Water
)
(
and
(
instance
?THING
PureSubstance
)
(
capability
Combustion
patient
?THING)))
(
member
?MEM2 ?ORG)
(
instance
?EV2
FinancialTransaction
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 954-977
If
a collection
is an
instance
of
organization
and
utilities
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 object
,
the process
2 and
the agent
2 such that
the agent
is an
instance
of
removing
or
the object
is an
instance
of
sewage
and
the object
is a
patient
of
the agent
and
the object
is an
instance
of
electron
or
the object
is an
instance
of
water
or
the object
is an
instance
of
pure substance
and
the object
is
capable
of doing
burning
as a
patient
and
the process
2 is a
member
of
the collection
and
the agent
2 is an
instance
of
financial transaction
and
the process
2 is an
agent
of
the agent
2 and
the object
is a
patient
of
the agent
2
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
WaterTransportationIndustry
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?P)
(
and
(
instance
?EV
Selling
)
(
instance
?P
Human
)
(
patient
?EV ?P)
(
confersRight
(
exists
(?T ?V ?OBJ)
(
and
(
instance
?T
Transportation
)
(
or
(
patient
?T ?P)
(
and
(
possesses
?P ?OBJ)
(
patient
?T ?OBJ)
(
instance
?OBJ
Object
)))
(
possesses
?ORG ?V)
(
instance
?V
WaterVehicle
))) ?MEM ?P))))))
naics.kif 8080-8105
If
a collection
is an
instance
of
organization
and
water 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
,
another entity
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 other entity
and
the other entity
is an
instance
of
water vehicle
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
WoodProductManufacturing
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?MEM2 ?EV2)
(
and
(
instance
?EV
Manufacture
)
(
or
(
instance
?THING
Wood
)
(
material
Wood
?THING))
(
patient
?EV ?THING)
(
member
?MEM2 ?ORG)
(
instance
?EV2
Selling
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 2563-2581
If
a collection
is an
instance
of
organization
and
wood 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
a corpuscular object
,
the process
2 and
the agent
2 such that
the agent
is an
instance
of
manufacture
and
the corpuscular object
is an
instance
of
wood
or
the corpuscular object
is
made
of
wood
and
the corpuscular object
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 corpuscular object
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