not
(=>
(
and
(
instance
?MONTH
(
MonthFn
February
?YEAR))
(
instance
?Y ?YEAR)
(
not
(
instance
?Y
LeapYear
)))
(
duration
?MONTH
(
MeasureFn
28
DayDuration
)))
Merge.kif 9066-9071
If
a time interval
is an
instance
of the
month
February
and
an entity
is an
instance
of
the entity
EAR and
the entity
is not an
instance
of
leap year
,
then
duration
of
the time interval
is 28
day duration
(s)
(=>
(
and
(
instance
?NUMBER
Integer
)
(
not
(
equal
?NUMBER 0)))
(
equal
1
(
MultiplicationFn
?NUMBER
(
ReciprocalFn
?NUMBER))))
Merge.kif 5086-5091
If
a real number
is an
instance
of
integer
and
the real number
is not
equal
to 0,
then 1 is
equal
to
the real number
and the
reciprocal
of
the real number
(=>
(
and
(
instance
?P
PerniciousAnemia
)
(
experiencer
?P ?H1)
(
amount
VitaminB12
?H1
(
MeasureFn
?N1 ?U))
(
amount
VitaminB12
?H2
(
MeasureFn
?N2 ?U))
(
attribute
?H2
Healthy
)
(
not
(
equal
?H1 ?H2)))
(
greaterThan
?N2 ?N1))
Medicine.kif 2695-2704
If
a process
is an
instance
of
pernicious anemia
and
an agent
experience
s
the process
and
amount
cobalamin
,
the agent
and
a real number
an unit of measure
(s) and
amount
cobalamin
,
a corpuscular object
and
another real number
the unit of measure
(s) and
healthy
is an
attribute
of
the corpuscular object
and
the agent
is not
equal
to
the corpuscular object
,
then
the other real number
is
greater
than
the real number
(=>
(
and
(
instance
?POINT
TimePoint
)
(
not
(
equal
?POINT
NegativeInfinity
)))
(
before
NegativeInfinity
?POINT))
Merge.kif 7887-7891
If
a time point
is an
instance
of
time point
and
the time point
is not
equal
to
negative infinity
,
then
negative infinity
happens
before
the time point
(=>
(
and
(
instance
?POINT
TimePoint
)
(
not
(
equal
?POINT
NegativeInfinity
)))
(
exists
(?OTHERPOINT)
(
temporallyBetween
NegativeInfinity
?OTHERPOINT ?POINT)))
Merge.kif 7893-7898
If
a time point
is an
instance
of
time point
and
the time point
is not
equal
to
negative infinity
,
then there exists
another time point
such that
the other time point
is
between
negative infinity
and
the time point
(=>
(
and
(
instance
?POINT
TimePoint
)
(
not
(
equal
?POINT
PositiveInfinity
)))
(
before
?POINT
PositiveInfinity
))
Merge.kif 7869-7873
If
a time point
is an
instance
of
time point
and
the time point
is not
equal
to
positive infinity
,
then
the time point
happens
before
positive infinity
(=>
(
and
(
instance
?POINT
TimePoint
)
(
not
(
equal
?POINT
PositiveInfinity
)))
(
exists
(?OTHERPOINT)
(
temporallyBetween
?POINT ?OTHERPOINT
PositiveInfinity
)))
Merge.kif 7875-7880
If
a time point
is an
instance
of
time point
and
the time point
is not
equal
to
positive infinity
,
then there exists
another time point
such that
the other time point
is
between
the time point
and
positive infinity
(=>
(
and
(
instance
?PROCESS ?PROCESS_CLASS)
(
subclass
?PROCESS_CLASS
Process
)
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?AGENT
AutonomousAgent
)
(
agent
?PROCESS ?AGENT)
(
agent
?ACCESSING ?AGENT)
(
during
?PROCESS ?ACCESSING)
(
instance
?TIMETOFIRST
TimeInterval
)
(
not
(
exists
(?PROCESS2)
(
and
(
instance
?PROCESS2 ?PROCESS_CLASS)
(
agent
?PROCESS2 ?AGENT)
(
during
?PROCESS2 ?ACCESSING)
(
before
(
BeginFn
(
WhenFn
?PROCESS2))
(
BeginFn
(
WhenFn
?PROCESS))))))
(
equal
(
BeginFn
(
WhenFn
?ACCESSING))
(
BeginFn
(
WhenFn
?TIMETOFIRST)))
(
equal
(
BeginFn
(
WhenFn
?PROCESS))
(
EndFn
(
WhenFn
?TIMETOFIRST))))
(
equal
(
TTFxFn
?PROCESS_CLASS ?ACCESSING) ?TIMETOFIRST))
UXExperimentalTerms.kif 1496-1518
If
a time interval
is an
instance
of
the time interval
_CLASS and
the time interval
_CLASS is a
subclass
of
process
and
an accessing web page
is an
instance
of
accessing web page
and
an agent
is an
instance
of
agent
and
the agent
is an
agent
of
the time interval
and
the agent
is an
agent
of
the accessing web page
and
the time interval
takes place
during
the accessing web page
and
a physical
is an
instance
of
time interval
and there doesn't exist
the time interval
2 such that
the time interval
2 is an
instance
of
the time interval
_CLASS and
the agent
is an
agent
of
the time interval
2 and
the time interval
2 takes place
during
the accessing web page
and the
beginning
of the
time
of existence of
the time interval
2 happens
before
the
beginning
of the
time
of existence of
the time interval
and the
beginning
of the
time
of existence of
the accessing web page
is
equal
to the
beginning
of the
time
of existence of
the physical
and the
beginning
of the
time
of existence of
the time interval
is
equal
to the
end
of the
time
of existence of
the physical
,
then the
time
of
the accessing web page
in the class
the time interval
_CLASS is
equal
to
the physical
(=>
(
and
(
instance
?PROCESS
TakingOff
)
(
patient
?PROCESS ?DUD)
(
not
(
exists
(?EXPLOSION)
(
and
(
instance
?EXPLOSION
Explosion
)
(
patient
?EXPLOSION ?DUD)))))
(
instance
?DUD
AbsoluteDud
))
MilitaryDevices.kif 1409-1418
If
a process
is an
instance
of
taking off
and
an entity
is a
patient
of
the process
and there doesn't exist
another process
such that
the other process
is an
instance
of
explosion
and
the entity
is a
patient
of
the other process
,
then
the entity
is an
instance
of
absolute dud
(=>
(
and
(
instance
?R
CervicalVertebraBone
)
(
part
?R ?H)
(
instance
?H
Human
)
(
not
(
attribute
?H
DiseaseOrSyndrome
)))
(
exists
(?S)
(
and
(
instance
?S
CervicalVertebraBone
)
(
not
(
equal
?S ?R))
(
part
?S ?H)
(
connectedBodyPart
?S ?R))))
Anatomy.kif 561-574
If
a kind of body part
is an
instance
of
cervical vertebra bone
and
a kind of body part
is a
part
of
an object
and
the object
is an
instance
of
human
and
disease or syndrome
is not an
attribute
of
the object
,
then there exists
another kind of body part
such that
another kind of body part
is an
instance
of
cervical vertebra bone
and
the other kind of body part
is not
equal
to
the kind of body part
and
the other kind of body part
is a
part
of
the object
and a
the other kind of body part
is
connected
to a
the kind of body part
(=>
(
and
(
instance
?R
FalseRibBone
)
(
part
?R ?H)
(
instance
?H
Human
)
(
not
(
attribute
?H
DiseaseOrSyndrome
)))
(
not
(
exists
(?S)
(
and
(
instance
?S
Sternum
)
(
part
?S ?H)
(
connectedBodyPart
?S ?R)))))
Anatomy.kif 505-517
If
a kind of body part
is an
instance
of
costae spuriae
and
a kind of body part
is a
part
of
an object
and
the object
is an
instance
of
human
and
disease or syndrome
is not an
attribute
of
the object
,
then there doesn't exist
another kind of body part
such that
another kind of body part
is an
instance
of
sternum
and
the other kind of body part
is a
part
of
the object
and a
the other kind of body part
is
connected
to a
the kind of body part
(=>
(
and
(
instance
?R
LumbarVertebraBone
)
(
part
?R ?H)
(
instance
?H
Human
)
(
not
(
attribute
?H
DiseaseOrSyndrome
)))
(
exists
(?S)
(
and
(
instance
?S
LumbarVertebraBone
)
(
not
(
equal
?S ?R))
(
part
?S ?H)
(
connectedBodyPart
?S ?R))))
Anatomy.kif 601-614
If
a kind of body part
is an
instance
of
lumbar vertebra bone
and
a kind of body part
is a
part
of
an object
and
the object
is an
instance
of
human
and
disease or syndrome
is not an
attribute
of
the object
,
then there exists
another kind of body part
such that
another kind of body part
is an
instance
of
lumbar vertebra bone
and
the other kind of body part
is not
equal
to
the kind of body part
and
the other kind of body part
is a
part
of
the object
and a
the other kind of body part
is
connected
to a
the kind of body part
(=>
(
and
(
instance
?R
Ratchet
)
(
instance
?A
AttachingDevice
)
(
instance
?RO1
Rotating
)
(
attribute
?RO1 ?DIR1)
(
instance
?RO2
Rotating
)
(
attribute
?RO2 ?DIR2)
(
instance
?DIR1
RotationalAttribute
)
(
instance
?DIR2
RotationalAttribute
)
(
not
(
equal
?RO1 ?RO2))
(
causes
?RO1 ?RO2)
(
patient
?RO1
Ratchet
)
(
patient
?RO2 ?A))
(
equal
?DIR1 ?DIR2))
Cars.kif 4927-4942
If
an entity
is an
instance
of
ratchet
and
another entity
is an
instance
of
attaching device
and
the entity
O1 is an
instance
of
rotating
and
an attribute
is an
attribute
of
the entity
O1 and
the entity
O2 is an
instance
of
rotating
and
another attribute
is an
attribute
of
the entity
O2 and
the attribute
is an
instance
of
rotational attribute
and
the other attribute
is an
instance
of
rotational attribute
and
the entity
O1 is not
equal
to
the entity
O2 and
the entity
O1
cause
s
the entity
O2 and
ratchet
is a
patient
of
the entity
O1 and
the other entity
is a
patient
of
the entity
O2,
then
the attribute
is
equal
to
the other attribute
(=>
(
and
(
instance
?R
ThoracicVertebraBone
)
(
part
?R ?H)
(
instance
?H
Human
)
(
not
(
attribute
?H
DiseaseOrSyndrome
)))
(
exists
(?S)
(
and
(
instance
?S
ThoracicVertebraBone
)
(
not
(
equal
?S ?R))
(
part
?S ?H)
(
connectedBodyPart
?S ?R))))
Anatomy.kif 669-682
If
a kind of body part
is an
instance
of
thoracic vertebra bone
and
a kind of body part
is a
part
of
an object
and
the object
is an
instance
of
human
and
disease or syndrome
is not an
attribute
of
the object
,
then there exists
another kind of body part
such that
another kind of body part
is an
instance
of
thoracic vertebra bone
and
the other kind of body part
is not
equal
to
the kind of body part
and
the other kind of body part
is a
part
of
the object
and a
the other kind of body part
is
connected
to a
the kind of body part
(=>
(
and
(
instance
?R
TrueRibBone
)
(
part
?R ?H)
(
instance
?H
Human
)
(
not
(
attribute
?H
DiseaseOrSyndrome
)))
(
exists
(?S)
(
and
(
instance
?S
Sternum
)
(
part
?S ?H)
(
connectedBodyPart
?S ?R))))
Anatomy.kif 492-503
If
a kind of body part
is an
instance
of
costae verae
and
a kind of body part
is a
part
of
an object
and
the object
is an
instance
of
human
and
disease or syndrome
is not an
attribute
of
the object
,
then there exists
another kind of body part
such that
another kind of body part
is an
instance
of
sternum
and
the other kind of body part
is a
part
of
the object
and a
the other kind of body part
is
connected
to a
the kind of body part
(=>
(
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
?S
Soldering
)
(
patient
?S ?OBJ1)
(
patient
?S ?OBJ2)
(
not
(
equal
?OBJ1 ?OBJ2)))
(
exists
(?A)
(
and
(
instance
?A
MetallicAlloy
)
(
connects
?A ?OBJ1 ?OBJ2))))
Mid-level-ontology.kif 5630-5639
If
a process
is an
instance
of
soldering
and
an object
is a
patient
of
the process
and
another object
is a
patient
of
the process
and
the object
is not
equal
to
the other object
,
then there exists
a third object
such that
the third object
is an
instance
of
metallic alloy
and
the third object
connect
s
the object
and
the other object
(=>
(
and
(
instance
?SEA
Ocean
)
(
not
(
equal
?SEA
ArcticOcean
)))
(
smaller
ArcticOcean
?SEA))
Geography.kif 4643-4647
If
an object
is an
instance
of
ocean
and
the object
is not
equal
to
arctic ocean
,
then
arctic ocean
is
smaller
than
the object
(=>
(
and
(
instance
?SH1
Shaft
)
(
instance
?SH2
Shaft
)
(
not
(
equal
?SH1 ?SH2))
(
instance
?R1
Rotating
)
(
patient
?R1 ?SH1)
(
instance
?R2
Rotating
)
(
patient
?R2 ?SH2)
(
causes
?R1 ?R2)
(
instance
?CV
CVJoint
)
(
connectedEngineeringComponents
?R1 ?CV)
(
connectedEngineeringComponents
?R2 ?CV)
(
holdsDuring
(
WhenFn
?R1)
(
equal
?SH1
(
RotationFn
?N ?T))))
(
holdsDuring
(
WhenFn
?R2)
(
equal
?SH2
(
RotationFn
?N ?T))))
Cars.kif 2114-2133
If
an entity
is an
instance
of
shaft
and
another entity
is an
instance
of
shaft
and
the entity
is not
equal
to
the other entity
and
an engineering component
is an
instance
of
rotating
and
the entity
is a
patient
of
the engineering component
and
another engineering component
is an
instance
of
rotating
and
the other entity
is a
patient
of
the other engineering component
and
the engineering component
cause
s
the other engineering component
and
a third engineering component
is an
instance
of
C.V. joint
and
the engineering component
is
connected
to
the third engineering component
and
the other engineering component
is
connected
to
the third engineering component
and
the entity
is
equal
to the rotation of
a third entity
during
a fourth entity
holds
during
the
time
of existence of
the engineering component
,
then
the other entity
is
equal
to the rotation of
the third entity
during
the fourth entity
holds
during
the
time
of existence of
the other engineering component
(=>
(
and
(
instance
?SM
StripMall
)
(
instance
?RS1
RetailStore
)
(
part
?RS1 ?SM)
(
instance
?RS2
RetailStore
)
(
part
?RS2 ?SM)
(
not
(
equal
?RS1 ?RS2)))
(
not
(
exists
(?H)
(
and
(
instance
?H
Hallway
)
(
connects
?RS1 ?H ?RS2)))))
Medicine.kif 5132-5145
If
an object
is an
instance
of
StripMall
and
another object
is an
instance
of
retail store
and
the other object
is a
part
of
the object
and
a third object
is an
instance
of
retail store
and
the third object
is a
part
of
the object
and
the other object
is not
equal
to
the third object
,
then there doesn't exist
a fourth object
such that
the fourth object
is an
instance
of
hall
and
the other object
connect
s
the fourth object
and
the third object
(=>
(
and
(
instance
?STATE
AmericanState
)
(
not
(
equal
?STATE
California
)))
(
greaterThan
(
CardinalityFn
(
ResidentFn
California
))
(
CardinalityFn
(
ResidentFn
?STATE))))
CountriesAndRegions.kif 897-901
If
a geopolitical area
is an
instance
of
american state
and
the geopolitical area
is not
equal
to
california
,
then the number of
instances
in the
resident
of
california
is
greater
than the number of
instances
in the
resident
of
the geopolitical area
(=>
(
and
(
instance
?SYSTEM
InlandWaterSystem
)
(
instance
?WATER1
WaterArea
)
(
instance
?WATER2
WaterArea
)
(
not
(
equal
?WATER1 ?WATER2))
(
not
(
connected
?WATER1 ?WATER2))
(
geographicSubregion
?WATER1 ?SYSTEM)
(
geographicSubregion
?WATER2 ?SYSTEM))
(
exists
(?WATER3)
(
and
(
instance
?WATER3
WaterArea
)
(
not
(
equal
?WATER3 ?WATER1))
(
not
(
equal
?WATER3 ?WATER1))
(
part
?WATER3 ?SYSTEM)
(
connects
?WATER3 ?WATER1 ?WATER2))))
Geography.kif 5380-5395
If
a geographic area
is an
instance
of
inland water system
and
another geographic area
is an
instance
of
water area
and
a third geographic area
is an
instance
of
water area
and
the other geographic area
is not
equal
to
the third geographic area
and
the other geographic area
is not
connected
to
the third geographic area
and
the other geographic area
is a
geographic
subregion of
the geographic area
and
the third geographic area
is a
geographic
subregion of
the geographic area
,
then there exists
an object
such that
the object
is an
instance
of
water area
and
the object
is not
equal
to
the other geographic area
and
the object
is not
equal
to
the other geographic area
and
the object
is a
part
of
the geographic area
and
the object
connect
s
the other geographic area
and
the third geographic area
(=>
(
and
(
instance
?T
TimePeriod
)
(
duration
?T
(
MeasureFn
?N
MinuteDuration
))
(
greaterThan
?N 5.0)
(
instance
?H
Human
)
(
not
(
exists
(?B)
(
and
(
instance
?B
Breathing
)
(
during
(
WhenFn
?B) ?T)
(
patient
?B ?H)))))
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
Death
)
(
experiencer
?D ?H)
(
meetsTemporally
?T
(
WhenFn
?D))))
Likely
))
Medicine.kif 5997-6017
If
a time interval
is an
instance
of
TimePeriod
and
duration
of
the time interval
is
a real number
minute duration
(s) and
the real number
is
greater
than 5.0 and
an entity
is an
instance
of
human
and there doesn't exist
a process
such that
the process
is an
instance
of
breathing
and the
time
of existence of
the process
takes place
during
the time interval
and
the entity
is a
patient
of
the process
,
then the statement there exists
another entity
such that
the other entity
is an
instance
of
death
and
the entity
experience
s
the other entity
and
the time interval
meet
s the
time
of existence of
the other entity
has the
modal
force
of
likely
(=>
(
and
(
instance
?UNIT
AreaMeasure
)
(
measure
Alaska
(
MeasureFn
?NUMBER1 ?UNIT))
(
measure
?STATE
(
MeasureFn
?NUMBER2 ?UNIT))
(
instance
?STATE
AmericanState
)
(
not
(
equal
Alaska
?STATE)))
(
lessThan
?NUMBER2 ?NUMBER1))
CountriesAndRegions.kif 871-878
If
an unit of measure
is an
instance
of
area measure
and the
measure
of
alaska
is
a real number
the unit of measure
(s) and the
measure
of
a physical
is
another real number
the unit of measure
(s) and
the physical
is an
instance
of
american state
and
alaska
is not
equal
to
the physical
,
then
the other real number
is
less
than
the real number
(=>
(
and
(
instance
?UNIT
SingleFamilyResidence
)
(
home
?PERSON ?UNIT)
(
possesses
?PERSON ?UNIT)
(
not
(
instance
?UNIT
Building
)))
(
instance
?UNIT
CondominiumUnit
))
Mid-level-ontology.kif 6921-6927
If
a permanent residence
is an
instance
of
single family residence
and the
home
of
a human
is
the permanent residence
and
the human
possess
es
the permanent residence
and
the permanent residence
is not an
instance
of
building
,
then
the permanent residence
is an
instance
of
condominium unit
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