Term Intersection
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
Term 1:
Term 2:
(=>
(
instance
?PE
ProtectiveEyewear
)
(
hasPurpose
?PE
(=>
(
exists
(?PERSON)
(
and
(
instance
?PERSON
Human
)
(
wears
?PERSON ?PE)))
(
exists
(?PROTECT ?EYE ?INJ ?I ?T)
(
and
(
instance
?PROTECT
Process
)
(
instrument
?PROTECT ?PE)
(
subclass
?INJ
(
KappaFn
?I
(
exists
(?HUMAN)
(
and
(
instance
?I
Injuring
)
(
instance
?EYE
Eye
)
(
instance
?HUMAN
Human
)
(
properPart
?EYE ?HUMAN)
(
patient
?I ?EYE)
(=>
(
holdsDuring
?T
(
patient
?I ?PERSON))
(
not
(
holdsDuring
?T
(
patient
?PROTECT ?PERSON))))))))
(
prevents
?PROTECT ?INJ))))))
Cars.kif 3482-3509
If
a physical
is an
instance
of
protective eyewear
,
then
the physical
has the purpose
if there exists
the physical
RSON such that
the physical
RSON is an
instance
of
human
and
the physical
RSON
wear
s
the physical
,
then there exist
another entity
,
a third entity
,, ,
a fourth entity
,, ,
a fifth entity
and
a sixth entity
such that
the other entity
is an
instance
of
process
and
the physical
is an
instrument
for
the other entity
and
the fourth entity
is a
subclass
of the
class
described by
the fifth entity
and
the other entity
prevent
s the occurrence of
the fourth entity
(=>
(
and
(
functionRoomAmenity
?FR ?PHY)
(
instance
?RM ?FR)
(
element
?RM
(
PropertyFn
?HOTEL))
(
instance
?RENT
Renting
)
(
patient
?RENT ?RM)
(
agent
?RENT ?HOTEL)
(
destination
?RENT ?CUST)
(
subclass
?PHY
Object
))
(
modalAttribute
(
exists
(?O ?P)
(
and
(
instance
?O ?PHY)
(
instance
?P
Process
)
(
or
(
resource
?P ?O)
(
instrument
?P ?O)
(
patient
?P ?O))
(
or
(
agent
?P ?CUST)
(
experiencer
?P ?CUST))))
Possibility
))
Hotel.kif 811-832
If use of
a kind of physical
is free for
a kind of hotel function room
and
an entity
is an
instance
of
a kind of hotel function room
and
the entity
is an
element
of
belongings
of
an agent
and
a process
is an
instance
of
renting
and
the entity
is a
patient
of
the process
and
the agent
is an
agent
of
the process
and
the process
end
s up at
another entity
and
a kind of physical
is a
subclass
of
object
,
then the statement there exist
a third entity
and
a fourth entity
such that
the third entity
is an
instance
of
the kind of physical
and
the fourth entity
is an
instance
of
process
and
the third entity
is a
resource
for
the fourth entity
or
the third entity
is an
instrument
for
the fourth entity
or
the third entity
is a
patient
of
the fourth entity
and
the other entity
is an
agent
of
the fourth entity
or
the other entity
experience
s
the fourth entity
has the
modal
force
of
possibility
(=>
(
and
(
sheddingLeaves
?T ?L)
(
instance
?T
DeciduousTree
)
(
instance
?L
PlantLeaf
))
(
exists
(?SHED ?S)
(
and
(
subclass
?SHED
Removing
)
(
frequency
?SHED
YearDuration
)
(
instance
?S ?SHED)
(
origin
?S ?T)
(
patient
?S ?L))))
Geography.kif 6393-6404
If
a plant
is a
Removing
a plant leaf
from its stems and
the plant
is an
instance
of
deciduous tree
and
the plant leaf
is an
instance
of
plant leaf
,
then there exist
a kind of process
and
another process
such that
a kind of process
is a
subclass
of
removing
and
the kind of process
occur
s every
year duration
and
the other process
is an
instance
of
the kind of process
and
the other process
originate
s at
the plant
and
the plant leaf
is a
patient
of
the other process
(=>
(
and
(
instance
?V
ViolentContest
)
(
patient
?V ?H)
(
attribute
?H
(
InjuryCausedFn
?PC))
(
attribute
?H
(
ImpairedBodyPartFn
Airway
)))
(
modalAttribute
(
or
(
subclass
?PC
Combustion
)
(
exists
(?FI)
(
and
(
instance
?I
Injuring
)
(
located
?I ?F)
(
instance
?F
Face
)
(
patient
?I ?H))))
Likely
))
Medicine.kif 698-715
If
a process
is an
instance
of
violent contest
and
an object
is a
patient
of
the process
and an
injury
caused by
another kind of process
is an
attribute
of
the object
and
impaired body part fn
airway
is an
attribute
of
the object
,
then the statement
another kind of process
is a
subclass
of
burning
or there exists
an entity
such that
another entity
is an
instance
of
injuring
and
the other entity
is
located
at
a third entity
and
the third entity
is an
instance
of
face
and
the object
is a
patient
of
the other entity
has the
modal
force
of
likely
(=>
(
instance
?X
Protecting
)
(
hasPurpose
?X
(
exists
(?OBJ ?T ?H ?HARM)
(
and
(
instance
?OBJ
Object
)
(
patient
?X
Object
)
(
subclass
?HARM
(
KappaFn
?H
(
and
(
or
(
instance
?H
CriminalAction
)
(
instance
?H
Damaging
))
(=>
(
holdsDuring
?T
(
patient
?H ?OBJ))
(
not
(
holdsDuring
?T
(
patient
?X ?OBJ)))))))
(
or
(
prevents
?X ?HARM)
(
hinders
?X ?HARM))))))
Mid-level-ontology.kif 18421-18442
If
a physical
is an
instance
of
protecting
,
then
the physical
has the purpose there exist
an entity
,
another entity
,, ,
a third entity
and
the third entity
ARM such that
the entity
is an
instance
of
object
and
object
is a
patient
of
the physical
and
the third entity
ARM is a
subclass
of the
class
described by
the third entity
and
the physical
prevent
s the occurrence of
the third entity
ARM or
the physical
hinders
the third entity
ARM
(=>
(
and
(
paidRoomAmenity
?ROOM ?PROC)
(
subclass
?PROC
Process
)
(
instance
?R ?ROOM)
(
stays
?GUEST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
patient
?P ?GUEST)
(
or
(
instance
?P ?PROC)
(
and
(
instance
?S ?PROC)
(
subProcess
?P ?S)))
(
located
?P ?R))
(
exists
(?PRICE ?U)
(
and
(
price
?P
(
MeasureFn
?PRICE ?U) ?GUEST)
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?PRICE 0))))
Hotel.kif 419-438
If renters of
a kind of hotel unit
can
pay
to use
a kind of physical
and
a kind of physical
is a
subclass
of
process
and
a temporary residence
is an
instance
of
a kind of hotel unit
and
a human
stays
at
the temporary residence
and
the temporary residence
is an
element
of
belongings
of
an agent
and
the human
is a
patient
of
a process
and
the process
is an
instance
of
the kind of physical
or
another process
is an
instance
of
the kind of physical
and
the process
is a
subprocess
of
the other process
and
the process
is
located
at
the temporary residence
,
then there exist
the process
RICE and
an unit of measure
such that
the process
is
price
the process
RICE
the unit of measure
(s) for
the human
and
the unit of measure
is an
instance
of
unit of currency
and
the process
RICE is
greater
than 0
(=>
(
subclass
?F
Fertilisation
)
(
capability
?F
patient
Organism
))
Mid-level-ontology.kif 23988-23990
If
a kind of process
is a
subclass
of
conceiving
,
then
organism
is
capable
of doing
a kind of process
as a
patient
(=>
(
and
(
instance
?HP
HearingProtection
)
(
instance
?PERSON
Human
)
(
wears
?PERSON ?HP))
(
hasPurpose
?HP
(
exists
(?PROC ?INJ ?I)
(
and
(
instance
?PROC
Process
)
(
subclass
?INJ
(
KappaFn
?I
(
and
(
instance
?I
Injuring
)
(
exists
(?SOUND ?HEAR ?HUMAN ?T)
(
and
(
instance
?SOUND
RadiatingSound
)
(
instance
?HEAR
Hearing
)
(
instance
?HUMAN
Human
)
(
patient
?HEAR ?SOUND)
(
experiencer
?HEAR ?HUMAN)
(
causes
?HEAR ?I)
(
experiencer
?I ?HUMAN)
(=>
(
holdsDuring
?T
(
experiencer
?I ?PERSON))
(
not
(
holdsDuring
?T
(
patient
?PROC ?PERSON)))))))))
(
prevents
?PROC ?INJ)
(
instrument
?PROC ?HP)))))
Cars.kif 3447-3476
If
a wearable item
is an
instance
of
hearing protection
and
an animal
is an
instance
of
human
and
the animal
wear
s
the wearable item
,
then
the wearable item
has the purpose there exist
an entity
,
another entity
and
a third entity
such that
the entity
is an
instance
of
process
and
the other entity
is a
subclass
of the
class
described by
the third entity
and
the entity
prevent
s the occurrence of
the other entity
and
the wearable item
is an
instrument
for
the entity
(=>
(
and
(
instance
?B
Buying
)
(
patient
?B ?ITEM)
(
origin
?B ?AGENT)
(
or
(
publishedPrice
?ENT ?PRICE ?AGENT ?PS)
(
unitPrice
?ENT ?QUANT ?AGENT ?PS))
(
subclass
?ENT
Physical
)
(
immediateInstance
?ITEM ?ENT)
(
validPaymentType
?PS ?PAY))
(
modalAttribute
(
exists
(?PAYMENT)
(
and
(
instance
?PAYMENT ?PAY)
(
subProcess
?PAYMENT ?B)))
Likely
))
Catalog.kif 337-352
If
a process
is an
instance
of
buying
and
an entity
is a
patient
of
the process
and
the process
originate
s at
a cognitive agent
and the
price
of
another kind of entity
from
the cognitive agent
according to
a pricing scheme
is
a currency measure
or the
unit
price
charged
the cognitive agent
under
the pricing scheme
for
a function quantity
is
another kind of entity
and
the other kind of entity
is a
subclass
of
physical
and
the entity
is an
immediate
instance of
the other kind of entity
and
a kind of payment
is a
valid
payment
under
the pricing scheme
,
then the statement there exists
a kind of payment
MENT such that
the kind of payment
MENT is an
instance
of
the kind of payment
and
the kind of payment
MENT is a
subprocess
of
the process
has the
modal
force
of
likely
(=>
(
and
(
or
(
publishedPrice
?ENT ?PRICE ?AGENT ?PS)
(
unitPrice
?ENT ?QUANT ?AGENT ?PS))
(
subclass
?ENT
Physical
)
(
immediateInstance
?ITEM ?ENT)
(
validityPeriod
?PS ?TIMEINT))
(
holdsDuring
?TIMEINT
(
modalAttribute
(=>
(
and
(
instance
?S
Selling
)
(
agent
?S ?AGENT)
(
patient
?S ?ITEM))
(
transactionAmount
?S ?PRICE))
Likely
)))
Catalog.kif 372-387
If the
price
of
a kind of entity
from
a cognitive agent
according to
a pricing scheme
is
a currency measure
or the
unit
price
charged
the cognitive agent
under
the pricing scheme
for
a function quantity
is
a kind of entity
and
the kind of entity
is a
subclass
of
physical
and
another entity
is an
immediate
instance of
the kind of entity
and
the pricing scheme
is
valid
during
a time interval
,
then the statement
if
a third entity
is an
instance
of
selling
and
the cognitive agent
is an
agent
of
the third entity
and
the other entity
is a
patient
of
the third entity
,
then
the currency measure
is a
transaction
amount of
the third entity
has the
modal
force
of
likely
holds
during
the time interval
(=>
(
and
(
offers
?AGENT ?CATALOG)
(
catalogItem
?CLASS ?CATALOG)
(
subclass
?CLASS
Object
)
(
instance
?PROCESSINST ?PROCESS)
(
subclass
?PROCESS
Process
)
(
instance
?OBJ ?CLASS)
(
patient
?PROCESSINST ?OBJ))
(
capability
?PROCESS
agent
?AGENT))
Catalog.kif 98-107
If
an agent
offers
items for sale in
a catalog
and
a kind of entity
is in
the catalog
and
a kind of entity
is a
subclass
of
object
and
a process
is an
instance
of
another kind of process
and
another kind of process
is a
subclass
of
process
and
another entity
is an
instance
of
the kind of entity
and
the other entity
is a
patient
of
the process
,
then
the agent
is
capable
of doing
the other kind of process
as a
agent
(=>
(
and
(
instance
?SEAT
AuditoriumSeat
)
(
part
?SEAT ?AUDITORIUM)
(
part
?STAGE ?AUDITORIUM)
(
instance
?AUDITORIUM
Auditorium
)
(
instance
?STAGE
PerformanceStage
)
(
located
?PERSON ?SEAT)
(
instance
?PERSON
Human
)
(
subclass
?SEE
Seeing
)
(
forall
(?INST)
(=>
(
instance
?INST ?SEE)
(
patient
?INST ?STAGE))))
(
capability
?SEE
agent
?PERSON))
Mid-level-ontology.kif 7351-7365
If
an object
is an
instance
of
auditorium seat
and
the object
is a
part
of
another object
and
a third object
is a
part
of
the other object
and
the other object
is an
instance
of
auditorium
and
the third object
is an
instance
of
performance stage
and
a fourth object
is
located
at
the object
and
the fourth object
is an
instance
of
human
and
a kind of process
is a
subclass
of
seeing
and for all
another process
if
the other process
is an
instance
of
a kind of process
,
then
the third object
is a
patient
of
the other process
,
then
the fourth object
is
capable
of doing
the kind of process
as a
agent
(=>
(
and
(
freeRoomAmenity
?ROOM ?PROC)
(
subclass
?PROC
Process
)
(
instance
?R ?ROOM)
(
stays
?GUEST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
patient
?P ?GUEST)
(
or
(
instance
?P ?PROC)
(
and
(
instance
?S ?PROC)
(
subProcess
?P ?S)))
(
located
?P ?R))
(
price
?P
(
MeasureFn
0.0
UnitedStatesDollar
) ?GUEST))
Hotel.kif 364-378
If use of
a kind of physical
is free for
a kind of hotel unit
and
a kind of physical
is a
subclass
of
process
and
a temporary residence
is an
instance
of
a kind of hotel unit
and
a human
stays
at
the temporary residence
and
the temporary residence
is an
element
of
belongings
of
an agent
and
the human
is a
patient
of
a process
and
the process
is an
instance
of
the kind of physical
or
another process
is an
instance
of
the kind of physical
and
the process
is a
subprocess
of
the other process
and
the process
is
located
at
the temporary residence
,
then
the process
is
price
0.0
united states dollar
(s) for
the human
(=>
(
and
(
customer
?CUST ?AGENT)
(
propertyAmenity
?AGENT ?PHYS)
(
subclass
?PHYS
Object
)
(
instance
?X ?PHYS))
(
confersRight
(
exists
(?PROC)
(
and
(
instance
?PROC
Process
)
(
or
(
resource
?PROC ?X)
(
instrument
?PROC ?X)
(
patient
?PROC ?X))
(
or
(
agent
?PROC ?CUST)
(
experiencer
?PROC ?CUST)))) ?AGENT ?CUST))
Hotel.kif 504-520
If
an agent
is a
customer
of
a cognitive agent
and
the agent
has
a kind of physical
and
a kind of physical
is a
subclass
of
object
and
an entity
is an
instance
of
the kind of physical
,
then
the agent
allow
s
the cognitive agent
to perform task of the type there exists
another entity
such that
the other entity
is an
instance
of
process
and
the entity
is a
resource
for
the other entity
or
the entity
is an
instrument
for
the other entity
or
the entity
is a
patient
of
the other entity
and
the cognitive agent
is an
agent
of
the other entity
or
the cognitive agent
experience
s
the other entity
(=>
(
and
(
instance
?SH
SafetyHarness
)
(
instance
?PERSON
Animal
)
(
wears
?PERSON ?SH))
(
hasPurpose
?SH
(
exists
(?PROC ?INJ ?I)
(
and
(
instance
?PROC
Process
)
(
instrument
?PROC ?SH)
(
patient
?PROC ?PERSON)
(
subclass
?INJ
(
KappaFn
?I
(
and
(
instance
?I
Injuring
)
(
exists
(?F ?H ?T)
(
and
(
instance
?H
Human
)
(
experiencer
?I ?H)
(
instance
?F
Falling
)
(
experiencer
?F ?H)
(
causes
?F ?I)
(=>
(
holdsDuring
?T
(
experiencer
?I ?PERSON))
(
not
(
holdsDuring
?T
(
patient
?PROC ?PERSON)))))))))
(
prevents
?PROC ?INJ)))))
Cars.kif 3389-3417
If
a wearable item
is an
instance
of
safety harness
and
an animal
is an
instance
of
animal
and
the animal
wear
s
the wearable item
,
then
the wearable item
has the purpose there exist
an entity
,
another entity
and
a third entity
such that
the entity
is an
instance
of
process
and
the wearable item
is an
instrument
for
the entity
and
the animal
is a
patient
of
the entity
and
the other entity
is a
subclass
of the
class
described by
the third entity
and
the entity
prevent
s the occurrence of
the other entity
(=>
(
and
(
instance
?X
Respirator
)
(
instance
?PERSON
Animal
)
(
wears
?PERSON ?X))
(
hasPurpose
?X
(
exists
(?INHAL ?INJ ?PROTECT ?I)
(
and
(
instance
?PROTECT
Process
)
(
instrument
?PROTECT ?X)
(
prevents
?PROTECT ?INJ)
(
subclass
?INJ
(
KappaFn
?I
(
and
(
instance
?I
Injuring
)
(
exists
(?H)
(
and
(
instance
?H
Human
)
(
patient
?I ?H)
(
instance
?INHAL
Inhaling
)
(
agent
?INHAL ?H)
(
causes
?I ?INHAL))))))))))
Cars.kif 3531-3552
If
a wearable item
is an
instance
of
respirator
and
an animal
is an
instance
of
animal
and
the animal
wear
s
the wearable item
,
then
the wearable item
has the purpose there exist
an entity
,
another entity
,, ,
a third entity
and
a fourth entity
such that
the third entity
is an
instance
of
process
and
the wearable item
is an
instrument
for
the third entity
and
the third entity
prevent
s the occurrence of
the other entity
and
the other entity
is a
subclass
of the
class
described by
the fourth entity
(=>
(
and
(
subclass
?TEXT
Periodical
)
(
equal
(
SeriesVolumeFn
?TEXT ?INT1) ?VOLUME1)
(
equal
(
SeriesVolumeFn
?TEXT ?INT2) ?VOLUME2)
(
greaterThan
?INT2 ?INT1)
(
instance
?PUB1
Publication
)
(
instance
?PUB2
Publication
)
(
instance
?CBO1 ?VOLUME1)
(
instance
?CBO2 ?VOLUME2)
(
patient
?PUB1 ?CBO1)
(
patient
?PUB2 ?CBO2)
(
date
?PUB1 ?DATE1)
(
date
?PUB2 ?DATE2))
(
before
(
EndFn
?DATE1)
(
EndFn
?DATE2)))
Mid-level-ontology.kif 14624-14638
If
a kind of series
is a
subclass
of
periodical
and volume
a positive integer
in the
series
a kind of series
is
equal
to
a kind of text
and volume
another positive integer
in the
series
the kind of series
is
equal
to
another kind of text
and
the other positive integer
is
greater
than
the positive integer
and
a process
is an
instance
of
publication
and
another process
is an
instance
of
publication
and
an entity
is an
instance
of
a kind of text
and
another entity
is an
instance
of
another kind of text
and
the entity
is a
patient
of
the process
and
the other entity
is a
patient
of
the other process
and
date
of
the process
is
a day
and
date
of
the other process
is
another day
,
then the
end
of
the day
happens
before
the
end
of
the other day
(=>
(
and
(
offersAtTime
?AGENT ?CATALOG ?TIMEINT)
(
catalogItem
?CLASS ?CATALOG)
(
subclass
?CLASS
Object
)
(
instance
?PROCESSINSTANCE ?PROCESS)
(
subclass
?PROCESS
Process
)
(
instance
?OBJ ?CLASS)
(
patient
?PROCESSINSTANCE ?OBJ)
(
instance
?TIMEINT ?TIME)
(
subclass
?TIME
TimeInterval
))
(
capabilityDuring
?PROCESS
agent
?AGENT ?TIME))
Catalog.kif 139-150
If
an agent
offers
items for sale in
a catalog
during
a time interval
and
a kind of entity
is in
the catalog
and
a kind of entity
is a
subclass
of
object
and
a process
is an
instance
of
another kind of process
and
another kind of process
is a
subclass
of
process
and
another entity
is an
instance
of
the kind of entity
and
the other entity
is a
patient
of
the process
and
the time interval
is an
instance
of
another kind of time interval
and
another kind of time interval
is a
subclass
of
time interval
,
then
the agent
is
capable
of being a
agent
in
the other kind of process
during
the other kind of time interval
(=>
(
subclass
?C
(
CoveringFn
?B))
(
hasPurpose
?C
(
exists
(?P ?BI ?CI)
(
and
(
instance
?P
Covering
)
(
instance
?BI ?B)
(
instance
?CI ?C)
(
destination
?P ?BI)
(
patient
?P ?CI)))))
Mid-level-ontology.kif 29730-29739
If
a physical
is a
subclass
of a
covering
for
a kind of body part
,
then
the physical
has the purpose there exist
an entity
,
a kind of body part
I and
the physical
I such that
the entity
is an
instance
of
covering
and
the kind of body part
I is an
instance
of
the kind of body part
and
the physical
I is an
instance
of
the physical
and
the entity
end
s up at
the kind of body part
I and
the physical
I is a
patient
of
the entity
(=>
(
and
(
or
(
publishedPrice
?ENT ?PRICE ?AGENT ?PS)
(
unitPrice
?ENT ?QUANT ?AGENT ?PS))
(
subclass
?ENT
Physical
)
(
immediateInstance
?ITEM ?ENT)
(
validFor
?PS ?CUSTCLASS)
(
instance
?CUSTOMER ?CUSTCLASS))
(
modalAttribute
(=>
(
and
(
instance
?B
Buying
)
(
agent
?B ?CUSTOMER)
(
origin
?B ?AGENT)
(
patient
?B ?ITEM))
(
transactionAmount
?B ?PRICE))
Likely
))
Catalog.kif 354-370
If the
price
of
a kind of entity
from
a cognitive agent
according to
a pricing scheme
is
a currency measure
or the
unit
price
charged
the cognitive agent
under
the pricing scheme
for
a function quantity
is
a kind of entity
and
the kind of entity
is a
subclass
of
physical
and
another entity
is an
immediate
instance of
the kind of entity
and
the pricing scheme
is
valid
for
a kind of agent
and
a third entity
is an
instance
of
a kind of agent
,
then the statement
if
a fourth entity
is an
instance
of
buying
and
the third entity
is an
agent
of
the fourth entity
and
the fourth entity
originate
s at
the cognitive agent
and
the other entity
is a
patient
of
the fourth entity
,
then
the currency measure
is a
transaction
amount of
the fourth entity
has the
modal
force
of
likely
(=>
(
and
(
attribute
?X
DutyFree
)
(
instance
?X
Store
))
(
exists
(?AREA ?OBJ ?O ?SELL)
(
and
(
instance
?AREA
GeopoliticalArea
)
(
located
?X ?AREA)
(
subclass
?O
Object
)
(
importCommodityType
?AREA ?O)
(
instance
?OBJ ?O)
(
instance
?SELL
Selling
)
(
patient
?SELL ?OBJ)
(
located
?SELL ?X))))
Hotel.kif 1478-1491
If
duty free
is an
attribute
of
an object
and
the object
is an
instance
of
store
,
then there exist
a geopolitical area
,
an entity
,, ,
another kind of object
and
a process
such that
the geopolitical area
is an
instance
of
geopolitical area
and
the object
is
located
at
the geopolitical area
and
another kind of object
is a
subclass
of
object
and
the other kind of object
is an
import
commodity type of
the geopolitical area
and
the entity
is an
instance
of
the other kind of object
and
the process
is an
instance
of
selling
and
the entity
is a
patient
of
the process
and
the process
is
located
at
the object
(=>
(
and
(
offers
?AGENT ?CATALOG)
(
catalogItem
?PROP ?CATALOG)
(
subclass
?PROP
Proposition
))
(
modalAttribute
(
exists
(?P ?S ?X)
(
and
(
instance
?P ?PROP)
(
realization
?X ?P)
(
instance
?S
Selling
)
(
patient
?S ?X)
(
agent
?S ?AGENT)))
Possibility
))
Catalog.kif 64-76
If
an agent
offers
items for sale in
a catalog
and
a kind of entity
is in
the catalog
and
a kind of entity
is a
subclass
of
proposition
,
then the statement there exist
another entity
,
a third entity
and
a fourth entity
such that
the other entity
is an
instance
of
the kind of entity
and
the fourth entity
express
es the content of
the other entity
and
the third entity
is an
instance
of
selling
and
the fourth entity
is a
patient
of
the third entity
and
the agent
is an
agent
of
the third entity
has the
modal
force
of
possibility
(=>
(
and
(
offers
?AGENT ?CATALOG)
(
catalogItem
?OBJ ?CATALOG)
(
subclass
?OBJ
Physical
))
(
modalAttribute
(
exists
(?S ?X)
(
and
(
instance
?X ?OBJ)
(
instance
?S
Selling
)
(
agent
?S ?AGENT)
(
patient
?S ?X)))
Possibility
))
Catalog.kif 51-62
If
an agent
offers
items for sale in
a catalog
and
a kind of entity
is in
the catalog
and
a kind of entity
is a
subclass
of
physical
,
then the statement there exist
another entity
and
a third entity
such that
the third entity
is an
instance
of
the kind of entity
and
the other entity
is an
instance
of
selling
and
the agent
is an
agent
of
the other entity
and
the third entity
is a
patient
of
the other entity
has the
modal
force
of
possibility
(=>
(
and
(
freeRoomAmenity
?ROOM ?OBJ)
(
subclass
?OBJ
Object
)
(
instance
?R ?ROOM)
(
stays
?GUEST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
instance
?O ?OBJ)
(
located
?O ?R)
(
instance
?P
Process
)
(
agent
?P ?GUEST)
(
or
(
patient
?P ?O)
(
instrument
?P ?O)
(
resource
?P ?O)))
(
price
?O
(
MeasureFn
0
UnitedStatesDollar
) ?GUEST))
Hotel.kif 346-361
If use of
a kind of physical
is free for
a kind of hotel unit
and
a kind of physical
is a
subclass
of
object
and
a temporary residence
is an
instance
of
a kind of hotel unit
and
a human
stays
at
the temporary residence
and
the temporary residence
is an
element
of
belongings
of
an agent
and
an object
is an
instance
of
the kind of physical
and
the object
is
located
at
the temporary residence
and
a process
is an
instance
of
process
and
the human
is an
agent
of
the process
and
the object
is a
patient
of
the process
or
the object
is an
instrument
for
the process
or
the object
is a
resource
for
the process
,
then
the object
is
price
0
united states dollar
(s) for
the human
(=>
(
and
(
customer
?CUST ?AGENT)
(
propertyAmenity
?AGENT ?PHYS)
(
subclass
?PHYS
Process
))
(
modalAttribute
(
exists
(?S ?LOC ?PROC)
(
and
(
element
?LOC
(
PropertyFn
?AGENT))
(
agent
?S ?AGENT)
(
patient
?S ?CUST)
(
or
(
instance
?S ?PHYS)
(
and
(
instance
?PROC ?PHYS)
(
subProcess
?S ?PROC)))
(
located
?S ?LOC)))
Possibility
))
Hotel.kif 522-538
If
an agent
is a
customer
of
a cognitive agent
and
the agent
has
a kind of physical
and
a kind of physical
is a
subclass
of
process
,
then the statement there exist
an entity
,
another entity
and
a third entity
such that
the other entity
is an
element
of
belongings
of
the agent
and
the agent
is an
agent
of
the entity
and
the cognitive agent
is a
patient
of
the entity
and
the entity
is an
instance
of
the kind of physical
or
the third entity
is an
instance
of
the kind of physical
and
the entity
is a
subprocess
of
the third entity
and
the entity
is
located
at
the other entity
has the
modal
force
of
possibility
(=>
(
and
(
paidRoomAmenity
?ROOM ?OBJ)
(
subclass
?OBJ
Object
)
(
instance
?R ?ROOM)
(
stays
?GUEST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
instance
?O ?OBJ)
(
located
?O ?R)
(
instance
?P
Process
)
(
agent
?P ?GUEST)
(
or
(
located
?P ?R)
(
patient
?P ?O)
(
instrument
?P ?O)
(
resource
?P ?O)))
(
exists
(?PRICE ?U)
(
and
(
price
?O
(
MeasureFn
?PRICE ?U) ?GUEST)
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?PRICE 0))))
Hotel.kif 396-417
If renters of
a kind of hotel unit
can
pay
to use
a kind of physical
and
a kind of physical
is a
subclass
of
object
and
a temporary residence
is an
instance
of
a kind of hotel unit
and
a human
stays
at
the temporary residence
and
the temporary residence
is an
element
of
belongings
of
an agent
and
an object
is an
instance
of
the kind of physical
and
the object
is
located
at
the temporary residence
and
a process
is an
instance
of
process
and
the human
is an
agent
of
the process
and
the process
is
located
at
the temporary residence
or
the object
is a
patient
of
the process
or
the object
is an
instrument
for
the process
or
the object
is a
resource
for
the process
,
then there exist
the process
RICE and
an unit of measure
such that
the object
is
price
the process
RICE
the unit of measure
(s) for
the human
and
the unit of measure
is an
instance
of
unit of currency
and
the process
RICE is
greater
than 0
(=>
(
and
(
guest
?CUST ?HOTEL)
(
stays
?CUST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
instance
?R ?ROOM)
(
roomAmenity
?ROOM ?OBJ)
(
subclass
?OBJ
Object
))
(
exists
(?O)
(
and
(
instance
?O ?OBJ)
(
located
?O ?R)
(
confersRight
(
exists
(?PROC)
(
and
(
agent
?PROC ?CUST)
(
or
(
instrument
?PROC ?O)
(
patient
?PROC ?O)
(
resource
?PROC ?O)))) ?HOTEL ?CUST))))
Hotel.kif 294-313
If
a human
is a
guest
at
an agent
and
the human
stays
at
a temporary residence
and
the temporary residence
is an
element
of
belongings
of
the agent
and
the temporary residence
is an
instance
of
the temporary residence
OOM and
a kind of physical
is an
amenity
in
the temporary residence
OOM and
a kind of physical
is a
subclass
of
object
,
then there exists
another physical
such that
the other physical
is an
instance
of
the kind of physical
and
the other physical
is
located
at
the temporary residence
and
the agent
allow
s
the human
to perform task of the type there exists
an entity
such that
the human
is an
agent
of
the entity
and
the other physical
is an
instrument
for
the entity
or
the other physical
is a
patient
of
the entity
or
the other physical
is a
resource
for
the entity
(=>
(
and
(
instance
?DECIDE
Deciding
)
(
agent
?DECIDE ?AGENT)
(
instance
?S
Set
)
(
patient
?DECIDE ?S)
(
element
?M ?S))
(
believes
?AGENT
(
exists
(?CLASS)
(
and
(
instance
?M ?CLASS)
(
subclass
?CLASS
IntentionalProcess
)
(
capability
?CLASS
agent
?AGENT)))))
Merge.kif 12014-12026
If
a process
is an
instance
of
deciding
and
a cognitive agent
is an
agent
of
the process
and
a set
is an
instance
of
set
and
the set
is a
patient
of
the process
and
an entity
is an
element
of
the set
,
then
the cognitive agent
believe
s there exists
another entity
such that
the entity
is an
instance
of
the other entity
and
the other entity
is a
subclass
of
intentional process
and
the cognitive agent
is
capable
of doing
the other entity
as a
agent
(=>
(
attribute
?H
Pulmonologist
)
(
exists
(?P1 ?P2 ?PAT ?L)
(
and
(
subclass
?PROCESS1
DiagnosticProcess
)
(
subclass
?PROCESS2
TherapeuticProcess
)
(
patient
?P1 ?PAT)
(
patient
?P2 ?PAT)
(
instance
?L
Lung
)
(
part
?L ?PAT)
(
located
?P1
Lung
)
(
located
?P2
Lung
))))
Medicine.kif 4481-4492
If
pulmonologist
is an
attribute
of
an object
,
then there exist
a process
,
another process
,, ,
another object
and
a third object
such that
a class
is a
subclass
of
diagnostic process
and
another class
is a
subclass
of
therapeutic process
and
the other object
is a
patient
of
the process
and
the other object
is a
patient
of
the other process
and
the third object
is an
instance
of
lung
and
the third object
is a
part
of
the other object
and
the process
is
located
at
lung
and
the other process
is
located
at
lung
(=>
(
and
(
subclass
?PROGRAM
NewsProgram
)
(
instance
?EPISODE
(
SeriesVolumeFn
?PROGRAM ?NUMBER)))
(
exists
(?DISSEMINATE)
(
and
(
instance
?DISSEMINATE
Disseminating
)
(
patient
?DISSEMINATE ?EPISODE))))
Mid-level-ontology.kif 14606-14613
If
a kind of series
is a
subclass
of
newsprogram
and
an entity
is an
instance
of volume
a positive integer
in the
series
a kind of series
,
then there exists
a process
such that
the process
is an
instance
of
disseminating
and
the entity
is a
patient
of
the process
(=>
(
and
(
instance
?P
Plant
)
(
part
?TIS ?P))
(
exists
(?K ?W ?CLASS)
(
and
(
instance
?K ?CLASS)
(
subclass
?CLASS
Keeping
)
(
instance
?W
FreshWater
)
(
patient
?K ?W)
(
capability
?CLASS
instrument
?TIS)
(
or
(
instance
?TIS
PlantLeaf
)
(
instance
?TIS
PlantStem
)))))
Mid-level-ontology.kif 9561-9574
If
an object
is an
instance
of
plant
and
another object
is a
part
of
the object
,
then there exist
a process
,
an entity
and
another kind of process
such that
the process
is an
instance
of
another kind of process
and
the other kind of process
is a
subclass
of
keeping
and
the entity
is an
instance
of
freshwater
and
the entity
is a
patient
of
the process
and
the other object
is
capable
of doing
the other kind of process
as a
instrument
and
the other object
is an
instance
of
plant leaf
or
the other object
is an
instance
of
plant stem
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