attribute
(=>
(
and
(
instance
?A
Anesthetizing
)
(
patient
?A ?P))
(
holdsDuring
(
WhenFn
?A)
(
and
(
attribute
?P
Unconscious
)
(
not
(
attribute
?P
Pain
)))))
Medicine.kif 966-975
If
a process
is an
instance
of
anesthetizing
and
an entity
is a
patient
of
the process
,
then
unconscious
is an
attribute
of
the entity
and
pain
is not an
attribute
of
the entity
holds
during
the
time
of existence of
the process
(=>
(
and
(
instance
?A
Anesthetizing
)
(
patient
?A ?P))
(
holdsDuring
(
WhenFn
?A)
(
or
(
attribute
?P
Unconscious
)
(
not
(
attribute
?P
Pain
)))))
Medicine.kif 949-958
If
a process
is an
instance
of
anesthetizing
and
an entity
is a
patient
of
the process
,
then
unconscious
is an
attribute
of
the entity
or
pain
is not an
attribute
of
the entity
holds
during
the
time
of existence of
the process
(=>
(
and
(
instance
?A
LocalAnesthetizing
)
(
located
?A ?BP)
(
instance
?BP
BodyPart
)
(
part
?BP ?P)
(
patient
?A ?P))
(
holdsDuring
(
WhenFn
?A)
(
not
(
attribute
?P
(
PainFn
?BP)))))
Medicine.kif 1008-1019
If
a process
is an
instance
of
local anesthetizing
and
the process
is
located
at
an object
and
the object
is an
instance
of
body part
and
the object
is a
part
of
another object
and
the other object
is a
patient
of
the process
,
then
pain
in the
the object
is not an
attribute
of
the other object
holds
during
the
time
of existence of
the process
(=>
(
and
(
instance
?A
Sedating
)
(
patient
?A ?P))
(
holdsDuring
(
WhenFn
?A)
(
and
(
attribute
?P
Conscious
)
(
not
(
attribute
?P
Anxiety
)))))
Medicine.kif 983-992
If
a process
is an
instance
of
Sedating
and
an entity
is a
patient
of
the process
,
then
conscious
is an
attribute
of
the entity
and
anxiety
is not an
attribute
of
the entity
holds
during
the
time
of existence of
the process
(=>
(
and
(
instance
?ACT
ActivatingADeactivatedAccount
)
(
instance
?AC
UserAccount
)
(
patient
?ACT ?AC))
(
and
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?ACT))
(
attribute
?AC
AccountDeactivated
))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?ACT))
(
attribute
?AC
AccountActive
))))
ComputingBrands.kif 4482-4491
If
a process
is an
instance
of
activating a deactivated account
and
an entity
is an
instance
of
user account
and
the entity
is a
patient
of
the process
,
then
account deactivated
is an
attribute
of
the entity
holds
during
immediately
before
the
time
of existence of
the process
and
account active
is an
attribute
of
the entity
holds
during
immediately
after
the
time
of existence of
the process
(=>
(
and
(
instance
?ACT
Drinking
)
(
resource
?ACT ?FOOD))
(
attribute
?FOOD
Liquid
))
Merge.kif 10276-10280
If
a process
is an
instance
of
drinking
and
an object
is a
resource
for
the process
,
then
liquid
is an
attribute
of
the object
(=>
(
and
(
instance
?ACT
Eating
)
(
resource
?ACT ?FOOD))
(
attribute
?FOOD
Solid
))
Merge.kif 10265-10269
If
a process
is an
instance
of
eating
and
an object
is a
resource
for
the process
,
then
solid
is an
attribute
of
the object
(=>
(
and
(
instance
?AGENT
AutonomousAgent
)
(
instance
?ORG
Organization
)
(
member
?AGENT ?ORG))
(
attribute
?AGENT
(
MemberFn
?ORG)))
Government.kif 1767-1772
If
an object
is an
instance
of
agent
and
an organization
is an
instance
of
organization
and
the object
is a
member
of
the organization
,
then the
member
of
the organization
is an
attribute
of
the object
(=>
(
and
(
instance
?AGENT
Human
)
(
instance
?ORG
Organization
)
(
instance
?POSITION
Position
)
(
attribute
?AGENT
(
MemberRoleFn
?ORG ?POSITION)))
(
attribute
?AGENT
(
MemberFn
?ORG)))
Government.kif 1789-1795
If
an object
is an
instance
of
human
and
an organization
is an
instance
of
organization
and
a position
is an
instance
of
position
and the
member
role of
the organization
and
the position
is an
attribute
of
the object
,
then the
member
of
the organization
is an
attribute
of
the object
(=>
(
and
(
instance
?AGENT
SentientAgent
)
(
attribute
?AGENT
Living
))
(
exists
(?ATTR)
(
and
(
instance
?ATTR
ConsciousnessAttribute
)
(
attribute
?AGENT ?ATTR))))
Merge.kif 18299-18306
If
an object
is an
instance
of
sentient agent
and
living
is an
attribute
of
the object
,
then there exists
an attribute
such that
the attribute
is an
instance
of
consciousness attribute
and
the attribute
is an
attribute
of
the object
(=>
(
and
(
instance
?ALT
ShapeChange
)
(
patient
?ALT ?OBJ))
(
exists
(?PROPERTY)
(
and
(
instance
?PROPERTY
ShapeAttribute
)
(
or
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ALT))
(
attribute
?OBJ ?PROPERTY))
(
holdsDuring
(
EndFn
(
WhenFn
?ALT))
(
not
(
attribute
?OBJ ?PROPERTY))))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ALT))
(
not
(
attribute
?OBJ ?PROPERTY)))
(
holdsDuring
(
EndFn
(
WhenFn
?ALT))
(
attribute
?OBJ ?PROPERTY)))))))
Merge.kif 12656-12669
If
a process
is an
instance
of
shape change
and
an entity
is a
patient
of
the process
,
then there exists
another entity
such that
the other entity
is an
instance
of
shape attribute
and
the other entity
is an
attribute
of
the entity
holds
during
the
beginning
of the
time
of existence of
the process
and
the other entity
is not an
attribute
of
the entity
holds
during
the
end
of the
time
of existence of
the process
or
the other entity
is not an
attribute
of
the entity
holds
during
the
beginning
of the
time
of existence of
the process
and
the other entity
is an
attribute
of
the entity
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?ALT
SurfaceChange
)
(
patient
?ALT ?OBJ))
(
exists
(?PART ?PROPERTY)
(
and
(
superficialPart
?PART ?OBJ)
(
or
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ALT))
(
attribute
?PART ?PROPERTY))
(
holdsDuring
(
EndFn
(
WhenFn
?ALT))
(
not
(
attribute
?PART ?PROPERTY))))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ALT))
(
not
(
attribute
?PART ?PROPERTY)))
(
holdsDuring
(
EndFn
(
WhenFn
?ALT))
(
attribute
?PART ?PROPERTY)))))))
Merge.kif 12616-12629
If
a process
is an
instance
of
surface change
and
an object
is a
patient
of
the process
,
then there exist
another object
and
an entity
such that
the other object
is a
superficial
part of
the object
and
the entity
is an
attribute
of
the other object
holds
during
the
beginning
of the
time
of existence of
the process
and
the entity
is not an
attribute
of
the other object
holds
during
the
end
of the
time
of existence of
the process
or
the entity
is not an
attribute
of
the other object
holds
during
the
beginning
of the
time
of existence of
the process
and
the entity
is an
attribute
of
the other object
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?AMBULATE
Ambulating
)
(
agent
?AMBULATE ?AGENT))
(
attribute
?AGENT
Standing
))
Merge.kif 18063-18067
If
a process
is an
instance
of
ambulating
and
an agent
is an
agent
of
the process
,
then
standing
is an
attribute
of
the agent
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?BLOW
VolcanicEruption
)
(
eventLocated
?BLOW ?AREA))
(
not
(
attribute
?AREA
GeologicallyStable
)))
Geography.kif 1865-1870
If
an object
is an
instance
of
geographic area
and
a process
is an
instance
of
volcanic eruption
and
the process
is
located
at
the object
,
then
geologically stable
is not an
attribute
of
the object
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?CONE
Volcano
)
(
attribute
?CONE
VolcanicallyActive
))
(
not
(
attribute
?AREA
GeologicallyStable
)))
Geography.kif 1858-1863
If
an object
is an
instance
of
geographic area
and
another object
is an
instance
of
volcano
and
volcanically active
is an
attribute
of
the other object
,
then
geologically stable
is not an
attribute
of
the object
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?FAULT
GeologicalFault
)
(
located
?FAULT ?AREA))
(
not
(
attribute
?AREA
GeologicallyStable
)))
Geography.kif 1879-1884
If
an object
is an
instance
of
geographic area
and
a physical
is an
instance
of
geological fault
and
the physical
is
located
at
the object
,
then
geologically stable
is not an
attribute
of
the object
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?SHAKING
EarthTremor
)
(
eventLocated
?SHAKING ?AREA))
(
not
(
attribute
?AREA
GeologicallyStable
)))
Geography.kif 1872-1877
If
an object
is an
instance
of
geographic area
and
a process
is an
instance
of
earth tremor
and
the process
is
located
at
the object
,
then
geologically stable
is not an
attribute
of
the object
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
governmentType
?AREA ?TYPE))
(
attribute
(
GovernmentFn
?AREA) ?TYPE))
Government.kif 142-146
If
a geopolitical area
is an
instance
of
geopolitical area
and
a form of government
is a
government
type of
the geopolitical area
,
then
the form of government
is an
attribute
of the
government
of
the geopolitical area
(=>
(
and
(
instance
?AS
AirStream
)
(
part
?AIR ?AS))
(
attribute
?AR
Gas
))
Weather.kif 69-73
If
an object
is an
instance
of
air stream
and
another object
is a
part
of
the object
,
then
gas
is an
attribute
of
a third object
(=>
(
and
(
instance
?ATTR
AlbumAttribute
)
(
albumType
?A ?ATTR))
(
attribute
?A ?ATTR))
Music.kif 297-301
If
a relational attribute
is an
instance
of
album attribute
and
an album
is a
the relational attribute
,
then
the relational attribute
is an
attribute
of
the album
(=>
(
and
(
instance
?ATTR
ConsciousnessAttribute
)
(
attribute
?AGENT ?ATTR))
(
and
(
instance
?AGENT
SentientAgent
)
(
attribute
?AGENT
Living
)))
Merge.kif 18308-18314
If
an attribute
is an
instance
of
consciousness attribute
and
the attribute
is an
attribute
of
an object
,
then
the object
is an
instance
of
sentient agent
and
living
is an
attribute
of
the object
(=>
(
and
(
instance
?ATTRIBUTE
ShapeAttribute
)
(
attribute
?OBJ ?ATTRIBUTE)
(
surface
?SURFACE ?OBJ))
(
attribute
?SURFACE ?ATTRIBUTE))
Merge.kif 17736-17741
If
an attribute
is an
instance
of
shape attribute
and
the attribute
is an
attribute
of
a self connected object
and
another self connected object
is a
surface
of
the self connected object
,
then
the attribute
is an
attribute
of
the other self connected object
(=>
(
and
(
instance
?ATTRIBUTE
TextureAttribute
)
(
attribute
?OBJ ?ATTRIBUTE)
(
surface
?SURFACE ?OBJ))
(
attribute
?SURFACE ?ATTRIBUTE))
Merge.kif 17764-17769
If
an attribute
is an
instance
of
texture attribute
and
the attribute
is an
attribute
of
a self connected object
and
another self connected object
is a
surface
of
the self connected object
,
then
the attribute
is an
attribute
of
the other self connected object
(=>
(
and
(
instance
?B
BecomingDrunk
)
(
experiencer
?B ?A))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?B))
(
attribute
?A
Sober
))
(
holdsDuring
(
EndFn
(
WhenFn
?B))
(
attribute
?A
Drunk
))))
Mid-level-ontology.kif 16343-16353
If
a process
is an
instance
of
becoming drunk
and
an agent
experience
s
the process
,
then
sober
is an
attribute
of
the agent
holds
during
the
beginning
of the
time
of existence of
the process
and
drunk
is an
attribute
of
the agent
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?B
Blushing
)
(
experiencer
?B ?A))
(
exists
(?T1 ?T2 ?S1 ?S2)
(
and
(
instance
?S1
EmotionalState
)
(
instance
?S2
EmotionalState
)
(
not
(
equal
?S1 ?S2))
(
holdsDuring
?T1
(
attribute
?A ?S1))
(
holdsDuring
?T2
(
attribute
?A ?S2))
(
starts
(
WhenFn
?B) ?T2)
(
finishes
(
WhenFn
?B) ?T1))))
Mid-level-ontology.kif 21474-21489
If
a process
is an
instance
of
blushing
and
an agent
experience
s
the process
,
then there exist
a time interval
,
another time interval
,, ,
an entity
and
another entity
such that
the entity
is an
instance
of
emotional state
and
the other entity
is an
instance
of
emotional state
and
the entity
is not
equal
to
the other entity
and
the entity
is an
attribute
of
the agent
holds
during
the time interval
and
the other entity
is an
attribute
of
the agent
holds
during
the other time interval
and the
time
of existence of
the process
start
s
the other time interval
and the
time
of existence of
the process
finish
es
the 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