member
(=>
(
and
(
instance
?EV
Evacuation
)
(
origin
?EV ?O)
(
agent
?EV ?A))
(
exists
(?M ?MA)
(
and
(
instance
?M
Maintaining
)
(
eventLocated
?M ?O)
(
subProcess
?M ?EV)
(
or
(
subOrganization
?MA ?A)
(
member
?MA ?A)
(
equal
?MA ?A))
(
agent
?M ?MA))))
MilitaryProcesses.kif 2573-2587
If
a process
is an
instance
of
evacuating
and
the process
originate
s at
an object
and
an organization
is an
agent
of
the process
,
then there exist
another process
and
the other process
A such that
the other process
is an
instance
of
maintaining
and
the other process
is
located
at
the object
and
the other process
is a
subprocess
of
the process
and
the other process
A is a part of the organization
the organization
or
the other process
A is a
member
of
the organization
or
the other process
A is
equal
to
the organization
and
the other process
A is an
agent
of
the other process
(=>
(
and
(
instance
?EV
Evacuation
)
(
origin
?EV ?O)
(
agent
?EV ?A))
(
exists
(?T ?TA)
(
and
(
instance
?T
Transportation
)
(
destination
?T ?O)
(
or
(
subOrganization
?TA ?A)
(
member
?TA ?A)
(
equal
?TA ?A))
(
or
(
agent
?T ?TA)
(
patient
?T ?TA)))))
MilitaryProcesses.kif 2554-2569
If
a process
is an
instance
of
evacuating
and
the process
originate
s at
an object
and
an organization
is an
agent
of
the process
,
then there exist
another process
and
the other process
A such that
the other process
is an
instance
of
transportation
and
the other process
end
s up at
the object
and
the other process
A is a part of the organization
the organization
or
the other process
A is a
member
of
the organization
or
the other process
A is
equal
to
the organization
and
the other process
A is an
agent
of
the other process
or
the other process
A is a
patient
of
the other process
(=>
(
and
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?INTERVAL
TimeInterval
))
(
equal
(
DivisionFn
(
CardinalityFn
(
KappaFn
?PURCHASE
(
and
(
instance
?PURCHASE
Buying
)
(
member
?PURCHASE
(
QualifyingPurchasesFn
?EXPERIMENT))
(
during
(
WhenFn
?PURCHASE) ?INTERVAL))))
(
CardinalityFn
(
KappaFn
?USER
(
and
(
member
?USER
(
TreatedUsersFn
?EXPERIMENT))
(
instance
?ACCESSING
AccessingWebPage
)
(
during
(
WhenFn
?ACCESSING) ?INTERVAL)
(
agent
?ACCESSING ?USER)))))
(
PPIFn
?EXPERIMENT ?INTERVAL)))
UXExperimentalTerms.kif 3095-3114
If
an experimenting
is an
instance
of
experimenting
and
a time interval
is an
instance
of
time interval
,
then the number of
instances
in the
class
described by
a symbolic string
and the number of
instances
in the
class
described by
another symbolic string
is
equal
to
purchases
per
user
in
the experimenting
during
the time interval
(=>
(
and
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?INTERVAL
TimeInterval
))
(
equal
(
DivisionFn
(
CardinalityFn
(
KappaFn
?PURCHASE
(
and
(
instance
?PURCHASE
Buying
)
(
member
?PURCHASE
(
QualifyingPurchasesFn
?EXPERIMENT)))))
(
CardinalityFn
(
KappaFn
?USER
(
and
(
member
?USER
(
TreatedUsersFn
?EXPERIMENT))
(
instance
?ACCESSING
AccessingWebPage
)
(
agent
?ACCESSING ?USER)))))
(
PPSFn
?EXPERIMENT)))
UXExperimentalTerms.kif 3056-3073
If
an experimenting
is an
instance
of
experimenting
and
an entity
is an
instance
of
time interval
,
then the number of
instances
in the
class
described by
a symbolic string
and the number of
instances
in the
class
described by
another symbolic string
is
equal
to
purchases
per
user
in
the experimenting
(=>
(
and
(
instance
?G
Grinding
)
(
patient
?G ?O)
(
instance
?O
CorpuscularObject
))
(
holdsDuring
(
EndFn
(
WhenFn
?G))
(
exists
(?C)
(
and
(
result
?G ?C)
(
instance
?C
Collection
)
(
forall
(?M)
(=>
(
member
?M ?C)
(
part
?M ?O)))))))
Food.kif 1012-1026
If
a process
is an
instance
of
grinding
and
an entity
is a
patient
of
the process
and
the entity
is an
instance
of
corpuscular object
,
then there exists
another entity
such that
the other entity
is a
result
of
the process
and
the other entity
is an
instance
of
collection
and for all
a third entity
if
the third entity
is a
member
of
the other entity
,
then
the third entity
is a
part
of
the entity
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?I
Immigrating
)
(
agent
?I ?A))
(
exists
(?N1 ?N2)
(
and
(
instance
?N1
Nation
)
(
instance
?N2
Nation
)
(
origin
?I ?N1)
(
destination
?I ?N2)
(
not
(
equal
?N1 ?N2))
(
member
?A
(
CitizenryFn
?N1))
(
not
(
member
?A
(
CitizenryFn
?N2)))
(
hasPurpose
?I
(
inhabits
?A ?N2)))))
Mid-level-ontology.kif 17352-17368
If
a process
is an
instance
of
immigrating
and
an agent
is an
agent
of
the process
,
then there exist
a geopolitical area
and
another geopolitical area
such that
the geopolitical area
is an
instance
of
nation
and
the other geopolitical area
is an
instance
of
nation
and
the process
originate
s at
the geopolitical area
and
the process
end
s up at
the other geopolitical area
and
the geopolitical area
is not
equal
to
the other geopolitical area
and
the agent
is a
member
of the
citizenry
of
the geopolitical area
and
the agent
is not a
member
of the
citizenry
of
the other geopolitical area
and
the process
has the purpose
the agent
live
s in
the other geopolitical area
(=>
(
and
(
instance
?IC
IhramClothing
)
(
wears
?IC ?M)
(
attribute
?M
Male
))
(
exists
(?C ?B ?S)
(
and
(
instance
?C
Cloak
)
(
instance
?B
Belt
)
(
instance
?S
Sandal
)
(
member
?C ?IC)
(
member
?B ?IC)
(
member
?S ?IC))))
ArabicCulture.kif 151-163
If
an animal
is an
instance
of
ihram clothing
and
the animal
wear
s
a wearable item
and
male
is an
attribute
of
the wearable item
,
then there exist
a physical
,
another physical
and
a third physical
such that
the physical
is an
instance
of
cloak
and
the other physical
is an
instance
of
belt
and
the third physical
is an
instance
of
sandal
and
the physical
is a
member
of
the animal
and
the other physical
is a
member
of
the animal
and
the third physical
is a
member
of
the animal
(=>
(
and
(
instance
?INTERVAL
TimeInterval
)
(
instance
?SITE
WebSite
))
(
exists
(?NEWBUYERS)
(
and
(
instance
?NEWBUYERS
Collection
)
(
forall
(?AGENT)
(=>
(
member
?AGENT ?NEWBUYERS)
(
and
(
exists
(?BUYING)
(
and
(
instance
?AGENT
AutonomousAgent
)
(
instance
?BUYING
Buying
)
(
agent
?BUYING ?AGENT)
(
instrument
?BUYING ?SITE)
(
during
?BUYING ?INTERVAL)))
(
not
(
exists
(?INTERVAL_BEFORE)
(
and
(
instance
?INTERVAL_BEFORE
TimeInterval
)
(
earlier
?INTERVAL_BEFORE ?INTERVAL)
(
holdsDuring
?INTERVAL_BEFORE
(
exists
(?BUYING_BEFORE)
(
and
(
instance
?BUYING_BEFORE
Buying
)
(
agent
?BUYING_BEFORE ?AGENT)
(
instrument
?BUYING_BEFORE ?SITE)
(
during
?BUYING_BEFORE ?INTERVAL))))))))))
(
equal
(
SiteWideNewBuyersFn
?INTERVAL ?SITE) ?NEWBUYERS))))
UXExperimentalTerms.kif 3376-3408
If
a time interval
is an
instance
of
time interval
and
a web site
is an
instance
of
web site
,
then there exists
a collection
such that
the collection
is an
instance
of
collection
and for all
an agent
if
the agent
is a
member
of
the collection
,
then there exists
another time interval
such that
the agent
is an
instance
of
agent
and
the other time interval
is an
instance
of
buying
and
the agent
is an
agent
of
the other time interval
and
the web site
is an
instrument
for
the other time interval
and
the other time interval
takes place
during
the time interval
and there doesn't exist
the time interval
_BEFORE such that
the time interval
_BEFORE is an
instance
of
time interval
and
the time interval
_BEFORE happens
earlier
than
the time interval
and there exists
the other time interval
_BEFORE such that
the other time interval
_BEFORE is an
instance
of
buying
and
the agent
is an
agent
of
the other time interval
_BEFORE and
the web site
is an
instrument
for
the other time interval
_BEFORE and
the other time interval
_BEFORE takes place
during
the time interval
holds
during
the time interval
_BEFORE
and
new
buyers
at
the web site
during
the time interval
is
equal
to
the collection
(=>
(
and
(
instance
?INTERVAL
TimeInterval
)
(
instance
?SITE
WebSite
))
(
exists
(?NEWREGISTRATIONS)
(
and
(
instance
?NEWREGISTRATIONS
Collection
)
(
forall
(?USER)
(=>
(
and
(
instance
?USER
Human
)
(
not
(
exists
(?INTERVAL_BEFORE)
(
and
(
instance
?INTERVAL_BEFORE
TimeInterval
)
(
earlier
?INTERVAL_BEFORE ?INTERVAL)
(
holdsDuring
?INTERVAL_BEFORE
(
registeredUser
?USER ?SITE)))))
(
exists
(?INTERVAL_DURING)
(
and
(
instance
?INTERVAL_DURING
TimeInterval
)
(
during
?INTERVAL_DURING ?INTERVAL)
(
holdsDuring
?INTERVAL
(
registeredUser
?USER ?SITE)))))
(
member
?USER ?NEWREGISTRATIONS)))
(
equal
?NEWREGISTRATIONS
(
SiteWideNewRegistrationsFn
?INTERVAL ?SITE)))))
UXExperimentalTerms.kif 3428-3455
If
a time interval
is an
instance
of
time interval
and
a web site
is an
instance
of
web site
,
then there exists
a collection
such that
the collection
is an
instance
of
collection
and for all
a physical
if
the physical
is an
instance
of
human
and there doesn't exist
the time interval
_BEFORE such that
the time interval
_BEFORE is an
instance
of
time interval
and
the time interval
_BEFORE happens
earlier
than
the time interval
and
the physical
is a
registered
user
of
the web site
holds
during
the time interval
_BEFORE and there exists
the time interval
_DURING such that
the time interval
_DURING is an
instance
of
time interval
and
the time interval
_DURING takes place
during
the time interval
and
the physical
is a
registered
user
of
the web site
holds
during
the time interval
,
then
the physical
is a
member
of
the collection
and
the collection
is
equal
to
new
registrations
at
the web site
during
the time interval
(=>
(
and
(
instance
?INTERVAL
TimeInterval
)
(
instance
?SITE
WebSite
))
(
exists
(?NEWSELLERS)
(
and
(
instance
?NEWSELLERS
Collection
)
(
forall
(?AGENT)
(=>
(
member
?AGENT ?NEWSELLERS)
(
and
(
exists
(?SELLING)
(
and
(
instance
?AGENT
AutonomousAgent
)
(
instance
?SELLING
Selling
)
(
agent
?SELLING ?AGENT)
(
instrument
?SELLING ?SITE)
(
during
?SELLING ?INTERVAL)))
(
not
(
exists
(?INTERVAL_BEFORE)
(
and
(
instance
?INTERVAL_BEFORE
TimeInterval
)
(
earlier
?INTERVAL_BEFORE ?INTERVAL)
(
holdsDuring
?INTERVAL_BEFORE
(
exists
(?SELLING_BEFORE)
(
and
(
instance
?SELLING_BEFORE
Selling
)
(
agent
?SELLING_BEFORE ?AGENT)
(
instrument
?SELLING_BEFORE ?SITE)
(
during
?SELLING_BEFORE ?INTERVAL))))))))))
(
equal
(
SiteWideNewSellersFn
?INTERVAL ?SITE) ?NEWSELLERS))))
UXExperimentalTerms.kif 3475-3507
If
a time interval
is an
instance
of
time interval
and
a web site
is an
instance
of
web site
,
then there exists
a collection
such that
the collection
is an
instance
of
collection
and for all
an agent
if
the agent
is a
member
of
the collection
,
then there exists
another time interval
such that
the agent
is an
instance
of
agent
and
the other time interval
is an
instance
of
selling
and
the agent
is an
agent
of
the other time interval
and
the web site
is an
instrument
for
the other time interval
and
the other time interval
takes place
during
the time interval
and there doesn't exist
the time interval
_BEFORE such that
the time interval
_BEFORE is an
instance
of
time interval
and
the time interval
_BEFORE happens
earlier
than
the time interval
and there exists
the other time interval
_BEFORE such that
the other time interval
_BEFORE is an
instance
of
selling
and
the agent
is an
agent
of
the other time interval
_BEFORE and
the web site
is an
instrument
for
the other time interval
_BEFORE and
the other time interval
_BEFORE takes place
during
the time interval
holds
during
the time interval
_BEFORE
and
new
sellers
at
the web site
during
the time interval
is
equal
to
the collection
(=>
(
and
(
instance
?JOIN
Hiring
)
(
instance
?ORG
Organization
)
(
agent
?JOIN ?ORG)
(
patient
?JOIN ?PERSON))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?JOIN))
(
not
(
member
?PERSON ?ORG)))
(
holdsDuring
(
EndFn
(
WhenFn
?JOIN))
(
member
?PERSON ?ORG))))
Merge.kif 10610-10618
If
a process
is an
instance
of
hiring
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 not a
member
of
the agent
holds
during
the
beginning
of the
time
of existence of
the process
and
the entity
is a
member
of
the agent
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?JOIN
JoiningAnOrganization
)
(
instance
?AGENT
AutonomousAgent
)
(
agent
?JOIN ?AGENT)
(
patient
?JOIN ?ORG)
(
instance
?JOIN
Organization
))
(
member
?AGENT ?ORG))
Government.kif 2501-2508
If
a process
is an
instance
of
joining an organization
and
an agent
is an
instance
of
agent
and
the agent
is an
agent
of
the process
and
a collection
is a
patient
of
the process
and
the process
is an
instance
of
organization
,
then
the agent
is a
member
of
the collection
(=>
(
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
?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
?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
?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
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