located
(=>
(
and
(
instance
?MT
MusicalTone
)
(
soundFrequency
?MT
(
MeasureFn
?FREQ
Hertz
))
(
loudness
?MT
(
MeasureFn
?LLB
Decibel
))
(
located
?MT
(
WhereFn
?H
(
BeginFn
(
WhenFn
?MT))))
(
greaterThan
?LLIMIT ?LLB)
(
greaterThan
?LLB ?ULIMIT)
(
greaterThan
?FREQ 250)
(
greaterThan
8000 ?FREQ)
(
instance
?H
Human
)
(
instance
?L
Listening
)
(
agent
?L ?H))
(
hearingAcuity
?H
(
MeasureFn
?LLIMIT
Decibel
)
(
MeasureFn
?ULIMIT
Decibel
)))
Medicine.kif 1753-1773
If
a musical tone
is an
instance
of
musical tone
and the
frequency
of
the musical tone
is
a real number
hertz
(s) and the
sound
of
the musical tone
is
another real number
dB(A)
(s) and
the musical tone
is
located
at the place
where
a human
was at the
beginning
of the
time
of existence of
the musical tone
and
a third real number
is
greater
than
the other real number
and
the other real number
is
greater
than
a fourth real number
and
the real number
is
greater
than 250 and 8000 is
greater
than
the real number
and
the human
is an
instance
of
human
and
a process
is an
instance
of
listening
and
the human
is an
agent
of
the process
,
then
the human
can hear frequency of
the third real number
dB(A)
(s) at
the fourth real number
dB(A)
(s) decibels
(=>
(
and
(
instance
?P
Pulling
)
(
origin
?P ?O)
(
agent
?P ?A)
(
holdsDuring
(
BeginFn
?P)
(
located
?A ?ALOC))
(
destination
?P ?D))
(
holdsDuring
(
ImmediateFutureFn
(
BeginFn
?P))
(
exists
(?LARGER ?U ?SMALLER)
(
and
(
distance
?ALOC ?D
(
MeasureFn
?SMALLER ?U))
(
distance
?ALOC ?O
(
MeasureFn
?LARGER ?U))
(
greaterThan
?LARGER ?SMALLER)))))
Mid-level-ontology.kif 17638-17656
If
a time interval
is an
instance
of
pulling
and
the time interval
originate
s at
an object
and
an agent
is an
agent
of
the time interval
and
the agent
is
located
at
the agent
LOC holds
during
the
beginning
of
the time interval
and
the time interval
end
s up at
another entity
,
then there exist
a third entity
,
a fourth entity
and
a fifth entity
such that the
distance
between
the agent
LOC and
the other entity
is
the fifth entity
the fourth entity
(s) and the
distance
between
the agent
LOC and
the object
is
the third entity
the fourth entity
(s) and
the third entity
is
greater
than
the fifth entity
holds
during
immediately
after
the
beginning
of
the time interval
(=>
(
and
(
instance
?P
Pushing
)
(
origin
?P ?O)
(
agent
?P ?A)
(
holdsDuring
(
BeginFn
?P)
(
located
?A ?ALOC))
(
destination
?P ?D))
(
holdsDuring
(
ImmediateFutureFn
(
BeginFn
?P))
(
exists
(?LARGER ?U ?SMALLER)
(
and
(
distance
?ALOC ?D
(
MeasureFn
?SMALLER ?U))
(
distance
?ALOC ?O
(
MeasureFn
?LARGER ?U))
(
greaterThan
?LARGER ?SMALLER)))))
Mid-level-ontology.kif 17616-17634
If
a time interval
is an
instance
of
pushing
and
the time interval
originate
s at
an object
and
an agent
is an
agent
of
the time interval
and
the agent
is
located
at
the agent
LOC holds
during
the
beginning
of
the time interval
and
the time interval
end
s up at
another entity
,
then there exist
a third entity
,
a fourth entity
and
a fifth entity
such that the
distance
between
the agent
LOC and
the other entity
is
the fifth entity
the fourth entity
(s) and the
distance
between
the agent
LOC and
the object
is
the third entity
the fourth entity
(s) and
the third entity
is
greater
than
the fifth entity
holds
during
immediately
after
the
beginning
of
the time interval
(=>
(
and
(
instance
?PLACE
GeographicArea
)
(
located
?PLACE ?T)
(
instance
?T
Tropics
))
(
exists
(?NUM1 ?LONG ?DIR ?NUM2 ?U)
(
and
(
objectGeographicCoordinates
?PLACE
(
MeasureFn
?NUM1 ?U) ?LONG)
(
instance
?U
UnitOfAngularMeasure
)
(
lessThan
?NUM1 ?NUM2)
(
equal
(
MeasureFn
?NUM2 ?U)
(
LatitudeFn
?DIR
(
MeasureFn
23.0
AngularDegree
)
(
MeasureFn
26.0
ArcMinute
)
(
MeasureFn
11.5
ArcSecond
)))
(
instance
?DIR
DirectionalAttribute
)
(
or
(
equal
?DIR
North
)
(
equal
?DIR
South
)))))
Geography.kif 3595-3615
If
an object
is an
instance
of
geographic area
and
the object
is
located
at
another object
and
the other object
is an
instance
of
tropics
,
then there exist
a real number
,
a longitude
,, ,
a directional attribute
,, ,
another real number
and
an unit of measure
such that
the object
is
object
geographic coordinates
the real number
the unit of measure
(s) for
the longitude
and
the unit of measure
is an
instance
of
unit of angular measure
and
the real number
is
less
than
the other real number
and
the other real number
the unit of measure
(s) is
equal
to the
region
the directional attribute
of 23.0
angular degree
(s) and
the directional attribute
is an
instance
of
directional attribute
and
the directional attribute
is
equal
to
north
or
the directional attribute
is
equal
to
south
(=>
(
and
(
instance
?PURCHASES
Collection
)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?PURCHASES)
(
instance
?MEMBER
Buying
)))
(
exists
(?REGION)
(
and
(
instance
?REGION
GeopoliticalArea
)
(
forall
(?BUYER ?BUYING)
(=>
(
and
(
instance
?BUYER
AutonomousAgent
)
(
instance
?BUYING
Buying
)
(
member
?BUYING ?PURCHASES)
(
agent
?BUYING ?BUYER))
(
located
?BUYER ?REGION))))))
(
exists
(?AMOUNT ?PURCHASE ?TOTAL_PURCHASE_AMOUNT)
(
and
(
total
(
KappaFn
?AMOUNT
(
and
(
instance
?PURCHASE
Buying
)
(
member
?PURCHASE ?PURCHASES)
(
transactionAmount
?PURCHASE ?AMOUNT))) ?TOTAL_PURCHASE_AMOUNT)
(
equal
(
GMBFn
?PURCHASES) ?TOTAL_PURCHASE_AMOUNT))))
UXExperimentalTerms.kif 2956-2983
If
a collection
is an
instance
of
collection
and for all
a physical
if
the physical
is a
member
of
the collection
,
then
the physical
is an
instance
of
buying
and there exists
an object
such that
the object
is an
instance
of
geopolitical area
and for all
an agent
and
a process
if
the agent
is an
instance
of
agent
and
the process
is an
instance
of
buying
and
the process
is a
member
of
the collection
and
the agent
is an
agent
of
the process
,
then
the agent
is
located
at
the object
,
then there exist
a symbolic string
,
an entity
and
another entity
_PURCHASE_AMOUNT such that the
total
of values in the
class
described by
the symbolic string
is
the other entity
_PURCHASE_AMOUNT and the
value
of
the collection
is
equal
to
the other entity
_PURCHASE_AMOUNT
(=>
(
and
(
instance
?RC
RibCage
)
(
part
?RC ?H)
(
instance
?H
Human
)
(
attribute
?H
Living
)
(
not
(
and
(
instance
?P
PathologicProcess
)
(
located
?P ?H))))
(
exists
(?HT ?LG)
(
and
(
instance
?HT
Heart
)
(
instance
?HT
Lung
)
(
contains
?RC ?LG)
(
contains
?RC ?HT))))
Mid-level-ontology.kif 11247-11262
If
a self connected object
is an
instance
of
rib cage
and
the self connected object
is a
part
of
an object
and
the object
is an
instance
of
human
and
living
is an
attribute
of
the object
and ~{
a physical
is an
instance
of
pathologic process
} or ~{
the physical
is
located
at
the object
},
then there exist
the object
T and
a third object
such that
the object
T is an
instance
of
heart
and
the object
T is an
instance
of
lung
and
the self connected object
contain
s
the third object
and
the self connected object
contain
s
the object
T
(=>
(
and
(
instance
?REGION
GeographicArea
)
(
located
?REGION
AntarcticArea
))
(
exists
(?DAY)
(
and
(
instance
?DAY
Day
)
(
holdsDuring
?DAY
(
not
(
attribute
?REGION
Illuminated
))))))
Geography.kif 3631-3640
If
a physical
is an
instance
of
geographic area
and
the physical
is
located
at
antarctic area
,
then there exists
a time position
such that
the time position
is an
instance
of
day
and
illuminated
is not an
attribute
of
the physical
holds
during
the time position
(=>
(
and
(
instance
?REGION
GeographicArea
)
(
located
?REGION
ArcticRegion
))
(
exists
(?DAY)
(
and
(
instance
?DAY
Day
)
(
holdsDuring
?DAY
(
not
(
attribute
?REGION
Illuminated
))))))
Geography.kif 3570-3579
If
a physical
is an
instance
of
geographic area
and
the physical
is
located
at
arctic region
,
then there exists
a time position
such that
the time position
is an
instance
of
day
and
illuminated
is not an
attribute
of
the physical
holds
during
the time position
(=>
(
and
(
instance
?S
Stroke
)
(
instance
?B
Brain
)
(
located
?S ?B))
(
exists
(?N ?D)
(
and
(
instance
?N
NerveCell
)
(
located
?N ?B)
(
instance
?D
Destruction
)
(
subProcess
?D ?S)
(
patient
?D ?N))))
Mid-level-ontology.kif 11934-11945
If
a process
is an
instance
of
stroke
and
an object
is an
instance
of
brain
and
the process
is
located
at
the object
,
then there exist
a physical
and
another process
such that
the physical
is an
instance
of
nerve cell
and
the physical
is
located
at
the object
and
the other process
is an
instance
of
destruction
and
the other process
is a
subprocess
of
the process
and
the physical
is a
patient
of
the other process
(=>
(
and
(
instance
?SALES
Collection
)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?SALES)
(
instance
?MEMBER
Selling
)))
(
exists
(?REGION)
(
and
(
instance
?REGION
GeopoliticalArea
)
(
forall
(?SELLER ?SELLING)
(=>
(
and
(
instance
?SELLER
AutonomousAgent
)
(
instance
?SELLING
Buying
)
(
member
?SELLING ?SALES)
(
agent
?SELLING ?SELLER))
(
located
?SELLER ?REGION))))))
(
exists
(?AMOUNT ?SALE ?TOTAL_SALE_AMOUNT)
(
and
(
total
(
KappaFn
?AMOUNT
(
and
(
instance
?SALE
Selling
)
(
member
?SALE ?SALES)
(
transactionAmount
?SALE ?AMOUNT))) ?TOTAL_SALE_AMOUNT)
(
equal
(
GMVFn
?SALES) ?TOTAL_SALE_AMOUNT))))
UXExperimentalTerms.kif 2999-3026
If
a collection
is an
instance
of
collection
and for all
a physical
if
the physical
is a
member
of
the collection
,
then
the physical
is an
instance
of
selling
and there exists
an object
such that
the object
is an
instance
of
geopolitical area
and for all
an agent
and
a process
if
the agent
is an
instance
of
agent
and
the process
is an
instance
of
buying
and
the process
is a
member
of
the collection
and
the agent
is an
agent
of
the process
,
then
the agent
is
located
at
the object
,
then there exist
a symbolic string
,
an entity
and
another entity
_SALE_AMOUNT such that the
total
of values in the
class
described by
the symbolic string
is
the other entity
_SALE_AMOUNT and the
value
of
the collection
is
equal
to
the other entity
_SALE_AMOUNT
(=>
(
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
(
instance
?SEEING
Seeing
)
(
patient
?SEEING ?OBJ)
(
agent
?SEEING ?AGENT)
(
instance
?OBJ
Object
)
(
time
?SEEING ?TIME)
(
holdsDuring
?TIME
(
located
?OBJ ?PLACE)))
(
observedAtTimeInPlace
?OBJ ?AGENT ?TIME ?PLACE))
Justice.kif 61-69
If
a process
is an
instance
of
seeing
and
an object
is a
patient
of
the process
and
an agent
is an
agent
of
the process
and
the object
is an
instance
of
object
and
the process
exists
during
a time position
and
the object
is
located
at
another object
holds
during
the time position
,
then
the object
is
observed
at time in place
the agent
for
the time position
with
the other object
(=>
(
and
(
instance
?T
TemperatureFallingExperiencedAsFeelingCold
)
(
located
?T ?L)
(
experiencer
?T ?A))
(
holdsDuring
(
WhenFn
?T)
(
believes
?A
(
attribute
?L
ColdTemperature
))))
emotion.kif 1551-1558
If
a process
is an
instance
of
temperature falling (experienced as feeling cold)
and
the process
is
located
at
an object
and
an agent
experience
s
the process
,
then
the agent
believe
s
cold
is an
attribute
of
the object
holds
during
the
time
of existence of
the process
(=>
(
and
(
instance
?T
TemperatureRisingExperiencedAsFeelingWarm
)
(
located
?T ?L)
(
experiencer
?T ?A))
(
holdsDuring
(
WhenFn
?T)
(
believes
?A
(
attribute
?L
WarmTemperature
))))
emotion.kif 1569-1576
If
a process
is an
instance
of
temperature rising (experienced as feeling warm)
and
the process
is
located
at
an object
and
an agent
experience
s
the process
,
then
the agent
believe
s
warm
is an
attribute
of
the object
holds
during
the
time
of existence of
the process
(=>
(
and
(
instance
?T
Ticket
)
(
possesses
?T ?CUST)
(
issuedBy
?T ?ORG)
(
attribute
?ORG
AmusementGamblingAndRecreationIndustries
)
(
located
?ORG ?LOC))
(
confersNorm
?ORG
(
exists
(?REC)
(
and
(
instance
?REC
RecreationOrExercise
)
(
experiencer
?REC ?CUST)
(
eventLocated
?REC ?LOC)))
Permission
))
naics.kif 11456-11468
If
an agent
is an
instance
of
ticket
and
the agent
possess
es
an object
and
a cognitive agent
is an
issued
by of
the agent
and
amusement gambling and recreation industries
is an
attribute
of
the cognitive agent
and
the cognitive agent
is
located
at
another object
,
then
the cognitive agent
confers
norm there exists
an entity
such that
the entity
is an
instance
of
recreation or exercise
and
the object
experience
s
the entity
and
the entity
is
located
at
the other object
for
permission
(=>
(
and
(
instance
?T
Tunnel
)
(
located
?T ?L))
(
instance
?L
UndergroundArea
))
Transportation.kif 1637-1641
If
a physical
is an
instance
of
tunnel
and
the physical
is
located
at
an object
,
then
the object
is an
instance
of
underground area
(=>
(
and
(
instance
?U
SoftwareUnInstallation
)
(
equal
?T2
(
WhenFn
?U))
(
dataProcessed
?U ?P)
(
instance
?P
ComputerProgram
)
(
located
?U ?C))
(
exists
(?I ?T1)
(
and
(
instance
?I
SoftwareInstallation
)
(
equal
?T1
(
WhenFn
?I))
(
dataProcessed
?I ?P)
(
instance
?P
ComputerProgram
)
(
located
?I ?C)
(
earlier
?T1 ?T2))))
ComputingBrands.kif 3603-3617
If
a computer process
is an
instance
of
un installation
and
a time interval
is
equal
to the
time
of existence of
the computer process
and
a digital data
is
processed
by
the computer process
and
the digital data
is an
instance
of
computer program
and
the computer process
is
located
at
an object
,
then there exist
another computer process
and
another time interval
such that
the other computer process
is an
instance
of
installation
and
the other time interval
is
equal
to the
time
of existence of
the other computer process
and
the digital data
is
processed
by
the other computer process
and
the digital data
is an
instance
of
computer program
and
the other computer process
is
located
at
the object
and
the other time interval
happens
earlier
than
the time interval
(=>
(
and
(
instance
?UNIT
CommercialUnit
)
(
instance
?ORG
Organization
)
(
located
?ORG ?UNIT))
(
not
(
exists
(?OTHER)
(
and
(
instance
?OTHER
Organization
)
(
located
?OTHER ?UNIT)
(
not
(
equal
?OTHER ?ORG))))))
Mid-level-ontology.kif 7068-7077
If
an object
is an
instance
of
commercial unit
and
a physical
is an
instance
of
organization
and
the physical
is
located
at
the object
,
then there doesn't exist
another physical
such that
the other physical
is an
instance
of
organization
and
the other physical
is
located
at
the object
and
the other physical
is not
equal
to
the physical
(=>
(
and
(
instance
?W
Wind
)
(
located
?W ?L)
(
equal
?T
(
WhenFn
?W))
(
holdsDuring
?T
(
surfaceWindSpeed
?L
(
MeasureFn
?N
MilesPerHour
))))
(
greaterThan
?N 20.0))
Merge.kif 11264-11272
If
a physical
is an
instance
of
wind
and
the physical
is
located
at
an object
and
a time interval
is
equal
to the
time
of existence of
the physical
and
a real number
miles per hour
(s) is a
surface
wind speed of
the object
holds
during
the time interval
,
then
the real number
is
greater
than 20.0
(=>
(
and
(
instance
?X
Buffet
)
(
member
?ITEM ?X)
(
located
?X ?LOC1)
(
instance
?E
Eating
)
(
agent
?E ?AGENT)
(
eventLocated
?E ?LOC2)
(
patient
?E ?ITEM))
(
and
(
not
(
equal
?LOC1 ?LOC2))
(
exists
(?G)
(
and
(
instance
?G
Getting
)
(
patient
?G ?ITEM)
(
origin
?G ?LOC1)
(
agent
?G ?AGENT)
(
before
(
WhenFn
?G)
(
WhenFn
?E))))))
Dining.kif 274-291
If
a collection
is an
instance
of
buffet
and
a physical
is a
member
of
the collection
and
the collection
is
located
at
an object
and
a process
is an
instance
of
eating
and
an agent
is an
agent
of
the process
and
the process
is
located
at
another object
and
the physical
is a
patient
of
the process
,
then
the object
is not
equal
to
the other object
and there exists
another process
such that
the other process
is an
instance
of
getting
and
the physical
is a
patient
of
the other process
and
the other process
originate
s at
the object
and
the agent
is an
agent
of
the other process
and the
time
of existence of
the other process
happens
before
the
time
of existence of
the process
(=>
(
and
(
instance
?X
FireAlarm
)
(
attribute
?X
DeviceOn
)
(
located
?X ?LOC))
(
exists
(?RS)
(
and
(
instance
?RS
RadiatingSound
)
(
instrument
?RS ?X)
(
hasPurpose
?RS
(
exists
(?GRP)
(
and
(
instance
?GRP
GroupOfPeople
)
(
located
?GRP ?LOC)
(
knows
?GRP
(
exists
(?FIRE)
(
and
(
instance
?FIRE
Fire
)
(
eventLocated
?FIRE ?LOC))))))))))
Mid-level-ontology.kif 26457-26475
If
an object
is an
instance
of
fire alarm
and
device on
is an
attribute
of
the object
and
the object
is
located
at
another object
,
then there exists
a process
such that
the process
is an
instance
of
radiating sound
and
the object
is an
instrument
for
the process
and
the process
has the purpose there exists
an entity
such that
the entity
is an
instance
of
group of people
and
the entity
is
located
at
the other object
and
the entity
know
s there exists
another entity
such that
the other entity
is an
instance
of
fire
and
the other entity
is
located
at
the other object
(=>
(
and
(
instance
?X
HotTub
)
(
located
?WATER ?X)
(
instance
?WATER
Water
))
(
modalAttribute
(
exists
(?HEAT)
(
and
(
instance
?HEAT
Heating
)
(
instrument
?HEAT ?X)
(
patient
?HEAT ?WATER)))
Possibility
))
Mid-level-ontology.kif 25305-25315
If
an object
is an
instance
of
hot tub
and
a physical
is
located
at
the object
and
the physical
is an
instance
of
water
,
then the statement there exists
an entity
such that
the entity
is an
instance
of
heating
and
the object
is an
instrument
for
the entity
and
the physical
is a
patient
of
the entity
has the
modal
force
of
possibility
(=>
(
and
(
instance
?X
SurveillanceSystem
)
(
member
?X ?VIDEO)
(
member
?X ?DISPLAY)
(
located
?VIDEO ?LOC1)
(
instance
?VIDEO
Camera
)
(
located
?DISPLAY ?LOC2)
(
not
(
equal
?LOC1 ?LOC2))
(
instance
?DISPLAY
VideoDisplay
))
(
hasPurpose
?X
(
exists
(?PROC ?VID ?RL ?CAPTURE)
(
and
(
instance
?PROC
Process
)
(
eventLocated
?PROC ?LOC1)
(
represents
?VID ?PROC)
(
instrument
?CAPTURE
Camera
)
(
result
?CAPTURE ?VID)
(
instance
?RL
RadiatingLight
)
(
instrument
?RL ?DISPLAY)
(
patient
?RL ?VID)
(
before
(
BeginFn
?PROC)
(
BeginFn
?CAPTURE))
(
before
(
BeginFn
?CAPTURE)
(
BeginFn
?RL))))))
Mid-level-ontology.kif 26973-26999
If
a physical
is an
instance
of
surveillance system
and
the physical
is a
member
of
a collection
and
the physical
is a
member
of
another collection
and
the collection
is
located
at
an object
and
the collection
is an
instance
of
camera
and
the other collection
is
located
at
another object
and
the object
is not
equal
to
the other object
and
the other collection
is an
instance
of
video display
,
then
the physical
has the purpose there exist
an entity
,
another entity
,, ,
a third entity
and
a fourth entity
such that
the entity
is an
instance
of
process
and
the entity
is
located
at
the object
and
the other entity
express
es
the entity
and
camera
is an
instrument
for
the fourth entity
and
the other entity
is a
result
of
the fourth entity
and
the third entity
is an
instance
of
radiating light
and
the other collection
is an
instrument
for
the third entity
and
the other entity
is a
patient
of
the third entity
and the
beginning
of
the entity
happens
before
the
beginning
of
the fourth entity
and the
beginning
of
the fourth entity
happens
before
the
beginning
of
the third entity
(=>
(
and
(
located
?T ?R)
(
instance
?T
Toilet
)
(
instance
?R
Room
))
(
instance
?R
Bathroom
))
Mid-level-ontology.kif 2202-2207
If
a physical
is
located
at
an object
and
the physical
is an
instance
of
toilet
and
the object
is an
instance
of
room
,
then
the object
is an
instance
of
bathroom
(=>
(
and
(
muscleInsertion
?MC ?BPC)
(
instance
?H
Human
)
(
holdsDuring
?T
(
attribute
?H
StandardAnatomicalPosition
))
(
attribute
?H
Healthy
)
(
instance
?C
MuscularContraction
)
(
during
(
WhenFn
?C) ?T)
(
instance
?M ?MC)
(
part
?M ?H)
(
instrument
?C ?M)
(
physicalEnd
?E ?M)
(
meetsSpatially
?E ?BP)
(
holdsDuring
(
BeginFn
?C)
(
located
?E ?L)))
(
holdsDuring
(
EndFn
?C)
(
not
(
located
?E ?L))))
Anatomy.kif 1758-1780
If the
insertion
point of
a kind of muscle
is
a kind of body part
and
an object
is an
instance
of
human
and
standard anatomical position
is an
attribute
of
the object
holds
during
a time interval
and
healthy
is an
attribute
of
the object
and
another time interval
is an
instance
of
muscular contraction
and the
time
of existence of
the other time interval
takes place
during
the time interval
and
another object
is an
instance
of
a kind of muscle
and
the other object
is a
part
of
the object
and
the other object
is an
instrument
for
the other time interval
and one end of
the other object
is
a third object
and
the third object
meet
s
a fourth object
and
the third object
is
located
at
an entity
holds
during
the
beginning
of
the other time interval
,
then
the third object
is not
located
at
the entity
holds
during
the
end
of
the other time interval
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