refers
(=>
(
describes
?FORMULA ?OBJECT)
(
exists
(?STATING ?AGENT)
(
and
(
instance
?STATING
Stating
)
(
agent
?STATING ?AGENT)
(
patient
?STATING ?FORMULA)
(
refers
?STATING ?OBJECT))))
Mid-level-ontology.kif 16153-16160
If
a formula
describes
an object
,
then there exist
a process
and
an agent
such that
the process
is an
instance
of
stating
and
the agent
is an
agent
of
the process
and
the formula
is a
patient
of
the process
and
the process
includes a
reference
to
the object
(=>
(
evidence
?LA ?P)
(
exists
(?A ?PROP)
(
and
(
instance
?PROP
Proposition
)
(
instance
?A
Argument
)
(
refers
?A ?LA)
(
represents
?PROP ?P)
(
premise
?A ?PROP))))
Law.kif 180-188
If
a physical
is evidence in
a legal action
,
then there exist
an argument
and
the physical
ROP such that
the physical
ROP is an
instance
of
proposition
and
the argument
is an
instance
of
argument
and
the argument
includes a
reference
to
the legal action
and
the physical
ROP
express
es
the physical
and
the physical
ROP is a
premise
of
the argument
(=>
(
experimentUpdate
?CBP ?EXP)
(
refers
?CBP ?EXP))
UXExperimentalTerms.kif 2680-2682
If
a content bearing physical
is an
update
of
an experimenting
,
then
the content bearing physical
includes a
reference
to
the experimenting
(=>
(
finalExperimentReport
?CBP ?EXP)
(
refers
?CBP ?EXP))
UXExperimentalTerms.kif 2709-2711
If the
final
report
for
an experimenting
is
a content bearing physical
,
then
the content bearing physical
includes a
reference
to
the experimenting
(=>
(
instance
?A
Announcement
)
(
exists
(?CD ?I)
(
and
(
instance
?CD
ContentDevelopment
)
(
result
?CD ?A)
(
refers
?A ?I)
(
instance
?I
SocialInteraction
)
(
earlier
(
WhenFn
?CD)
(
WhenFn
?I)))))
Mid-level-ontology.kif 14523-14533
If
an entity
is an
instance
of
announcement
,
then there exist
a process
and
a physical
such that
the process
is an
instance
of
content development
and
the entity
is a
result
of
the process
and
the entity
includes a
reference
to
the physical
and
the physical
is an
instance
of
social interaction
and the
time
of existence of
the process
happens
earlier
than the
time
of existence of
the physical
(=>
(
instance
?A
Aqiqah
)
(
exists
(?BIRTH)
(
and
(
refers
?A ?BIRTH)
(
earlier
(
WhenFn
?BIRTH)
(
WhenFn
?A)))))
ArabicCulture.kif 333-338
If
a physical
is an
instance
of
aqiqah
,
then there exists
another physical
such that
the physical
includes a
reference
to
the other physical
and the
time
of existence of
the other physical
happens
earlier
than the
time
of existence of
the physical
(=>
(
instance
?ADVERT
Advertising
)
(
exists
(?OBJ)
(
and
(
refers
?ADVERT ?OBJ)
(
hasPurpose
?ADVERT
(
exists
(?SALE)
(
and
(
instance
?SALE
Selling
)
(
patient
?SALE ?OBJ)))))))
Merge.kif 13101-13106
If
a physical
is an
instance
of
advertising
,
then there exists
an entity
such that
the physical
includes a
reference
to
the entity
and
the physical
has the purpose there exists
another entity
such that
the other entity
is an
instance
of
selling
and
the entity
is a
patient
of
the other entity
(=>
(
instance
?AID
AppleID
)
(
exists
(?E)
(
and
(
instance
?E
EmailAddress
)
(
refers
?AID ?E))))
ComputingBrands.kif 2025-2030
If
an entity
is an
instance
of
Apple ID
,
then there exists
another entity
such that
the other entity
is an
instance
of
email address
and
the entity
includes a
reference
to
the other entity
(=>
(
instance
?ANSWER
Answering
)
(
exists
(?QUESTION)
(
and
(
instance
?QUESTION
Questioning
)
(
refers
?ANSWER ?QUESTION)
(
earlier
(
WhenFn
?QUESTION)
(
WhenFn
?ANSWER)))))
Mid-level-ontology.kif 898-904
If
a physical
is an
instance
of
answering
,
then there exists
another physical
such that
the other physical
is an
instance
of
questioning
and
the physical
includes a
reference
to
the other physical
and the
time
of existence of
the other physical
happens
earlier
than the
time
of existence of
the physical
(=>
(
instance
?B
Biography
)
(
exists
(?H)
(
and
(
instance
?H
Human
)
(
refers
?B ?H))))
Mid-level-ontology.kif 14898-14903
If
an entity
is an
instance
of
biography
,
then there exists
another entity
such that
the other entity
is an
instance
of
human
and
the entity
includes a
reference
to
the other entity
(=>
(
instance
?C
CalendarText
)
(
exists
(?D)
(
and
(
instance
?D
Day
)
(
refers
?C ?D))))
ComputingBrands.kif 2295-2300
If
an entity
is an
instance
of
calendar
,
then there exists
another entity
such that
the other entity
is an
instance
of
day
and
the entity
includes a
reference
to
the other entity
(=>
(
instance
?C
Congratulating
)
(
exists
(?P ?A ?D)
(
and
(
destination
?C ?D)
(
agent
?P ?D)
(
agent
?C ?A)
(
wants
?A ?P)
(
refers
?C ?P))))
Mid-level-ontology.kif 12995-13003
If
a process
is an
instance
of
congratulating
,
then there exist
another process
,
a cognitive agent
and
an agent
such that
the process
end
s up at
the agent
and
the agent
is an
agent
of
the other process
and
the cognitive agent
is an
agent
of
the process
and
the cognitive agent
want
s
the other process
and
the process
includes a
reference
to
the other process
(=>
(
instance
?C
Correcting
)
(
exists
(?D ?S ?SP ?CP)
(
and
(
instance
?D
Disagreeing
)
(
subProcess
?C ?D)
(
instance
?S
Stating
)
(
subProcess
?S ?D)
(
containsInformation
?S ?SP)
(
containsInformation
?C ?CP)
(
refers
?CP ?SP)
(
not
(
consistent
?CP ?SP)))))
Mid-level-ontology.kif 29691-29703
If
a process
is an
instance
of
correcting
,
then there exist
another process
,
a third process
,, ,
the third process
P and
the process
P such that
the other process
is an
instance
of
disagreeing
and
the process
is a
subprocess
of
the other process
and
the third process
is an
instance
of
stating
and
the third process
is a
subprocess
of
the other process
and
the third process
contain
s information
the third process
P and
the process
contain
s information
the process
P and
the process
P includes a
reference
to
the third process
P and
the third process
P is not a
consistent
of
the process
P
(=>
(
instance
?C
HolidayCard
)
(
exists
(?H)
(
and
(
instance
?H
Holiday
)
(
refers
?C ?H))))
Mid-level-ontology.kif 14875-14880
If
an entity
is an
instance
of
holiday card
,
then there exists
another entity
such that
the other entity
is an
instance
of
holiday
and
the entity
includes a
reference
to
the other entity
(=>
(
instance
?CALL
GameCall
)
(
exists
(?GAME)
(
and
(
instance
?GAME
Game
)
(
refers
?CALL ?GAME))))
Mid-level-ontology.kif 16281-16286
If
an entity
is an
instance
of
game call
,
then there exists
another entity
such that
the other entity
is an
instance
of
game
and
the entity
includes a
reference
to
the other entity
(=>
(
instance
?CD
ComputerDesktopImage
)
(
hasPurpose
?CD
(
and
(
refers
?CD ?F)
(
or
(
instance
?F
DigitalData
)
(
instance
?F
ComputerProgram
)))))
ComputingBrands.kif 3167-3174
If
a physical
is an
instance
of
computer desktop image
,
then
the physical
has the purpose
the physical
includes a
reference
to
an entity
and
the entity
is an
instance
of
digital data
or
the entity
is an
instance
of
computer program
(=>
(
instance
?CHART
Chart
)
(
exists
(?QUANTITY)
(
and
(
instance
?QUANTITY
PhysicalQuantity
)
(
refers
?CHART ?QUANTITY))))
Mid-level-ontology.kif 13244-13249
If
an entity
is an
instance
of
chart
,
then there exists
another entity
such that
the other entity
is an
instance
of
physical quantity
and
the entity
includes a
reference
to
the other entity
(=>
(
instance
?COMMENT
DigitalComment
)
(
exists
(?POST)
(
and
(
instance
?POST
DigitalPost
)
(
refers
?COMMENT ?POST))))
ComputerInput.kif 2864-2869
If
an entity
is an
instance
of
digital comment
,
then there exists
another entity
such that
the other entity
is an
instance
of
digital post
and
the entity
includes a
reference
to
the other entity
(=>
(
instance
?COMMUNICATE
Communication
)
(
exists
(?PHYS ?ENTITY ?AGENT1 ?AGENT2)
(
and
(
refers
?PHYS ?ENTITY)
(
patient
?COMMUNICATE ?PHYS)
(
instance
?AGENT1
CognitiveAgent
)
(
agent
?COMMUNICATE ?AGENT1)
(
instance
?AGENT2
CognitiveAgent
)
(
destination
?COMMUNICATE ?AGENT2))))
Merge.kif 13045-13054
If
a process
is an
instance
of
communication
,
then there exist
an entity
,
another entity
,, ,
an agent
and
a third entity
such that
the entity
includes a
reference
to
the other entity
and
the entity
is a
patient
of
the process
and
the agent
is an
instance
of
cognitive agent
and
the agent
is an
agent
of
the process
and
the third entity
is an
instance
of
cognitive agent
and
the process
end
s up at
the third entity
(=>
(
instance
?DECISION
LegalDecision
)
(
exists
(?ACTION)
(
and
(
instance
?ACTION
LegalAction
)
(
refers
?DECISION ?ACTION))))
Merge.kif 10794-10799
If
an entity
is an
instance
of
legal decision
,
then there exists
another entity
such that
the other entity
is an
instance
of
legal action
and
the entity
includes a
reference
to
the other entity
(=>
(
instance
?DESCRIPTIONPAGE
ProductDescriptionPage
)
(
exists
(?PRODUCT ?DESCRIPTION ?STATING ?DESCRIPTIONCONTENT)
(
and
(
instance
?PRODUCT
Class
)
(
instance
?STATING
Stating
)
(
patient
?STATING ?DESCRIPTION)
(
refers
?DESCRIPTION ?PRODUCT)
(
result
?DESCRIPTION ?DESCRIPTIONCONTENT)
(
part
?DESCRIPTIONCONTENT ?DESCRIPTIONPAGE))))
UXExperimentalTerms.kif 2043-2052
If
an object
is an
instance
of
product description page
,
then there exist
an entity
,
a process
,, ,
another process
and
the process
CONTENT such that
the entity
is an
instance
of
class
and
the other process
is an
instance
of
stating
and
the process
is a
patient
of
the other process
and
the process
includes a
reference
to
the entity
and
the process
CONTENT is a
result
of
the process
and
the process
CONTENT is a
part
of
the object
(=>
(
instance
?F
Funeral
)
(
exists
(?D)
(
and
(
instance
?D
Death
)
(
refers
?F ?D))))
Mid-level-ontology.kif 16007-16012
If
an entity
is an
instance
of
funeral
,
then there exists
another entity
such that
the other entity
is an
instance
of
death
and
the entity
includes a
reference
to
the other entity
(=>
(
instance
?F
NationalFlag
)
(
exists
(?N)
(
and
(
instance
?N
Nation
)
(
refers
?F ?N))))
Mid-level-ontology.kif 13266-13271
If
an entity
is an
instance
of
national flag
,
then there exists
another entity
such that
the other entity
is an
instance
of
nation
and
the entity
includes a
reference
to
the other entity
(=>
(
instance
?G
Chart
)
(
exists
(?Q)
(
and
(
instance
?Q
PhysicalQuantity
)
(
refers
?G ?Q))))
Mid-level-ontology.kif 13273-13278
If
an entity
is an
instance
of
chart
,
then there exists
another entity
such that
the other entity
is an
instance
of
physical quantity
and
the entity
includes a
reference
to
the other entity
(=>
(
instance
?HL
HypertextLink
)
(
refers
?HL
DigitalData
))
UXExperimentalTerms.kif 3312-3314
If
an entity
is an
instance
of
hyperlink
,
then
the entity
includes a
reference
to
digital data
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