Browsing Interface
: 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
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
result
Sigma KEE - result
result
appearance as argument number 1
(
disjointRelation
result
instrument
)
Merge.kif 2515-2515
result
and
instrument
are
disjoint
(
documentation
result
ChineseLanguage
"(result ?ACTION ?OUTPUT)的意思是 ?OUTPUT 是 ?ACTION 的产品。例如：在以下'埃里克建了一栋房子'这命题，房子是个
result
。")
chinese_format.kif 1895-1896
result
and
instrument
are
disjoint
(
documentation
result
EnglishLanguage
"(result ?ACTION ?OUTPUT) means that ?OUTPUT is a product of ?ACTION. For example, house is a
result
in the following proposition: Eric built a house.")
Merge.kif 2554-2556
result
and
instrument
are
disjoint
(
documentation
result
JapaneseLanguage
"(result ?ACTION ?OUTPUT) とは、?OUTPUTO が ?ACTION のプロダクトであることを意味する。 例：家は次の命題の
result
である: エリックは家を建てた。")
japanese_format.kif 521-522
result
and
instrument
are
disjoint
(
domain
result
1
Process
)
Merge.kif 2551-2551
The number 1 argument of
result
is an
instance
of
process
(
domain
result
2
Entity
)
Merge.kif 2552-2552
The number 2 argument of
result
is an
instance
of
entity
(
instance
result
CaseRole
)
Merge.kif 2549-2549
result
is an
instance
of
case role
(
instance
result
PartialValuedRelation
)
Merge.kif 2550-2550
result
is an
instance
of
partial valued relation
(
subrelation
result
patient
)
Merge.kif 2548-2548
result
is a
subrelation
of
patient
appearance as argument number 2
(
disjointRelation
resource
result
)
Merge.kif 2513-2513
resource
and
result
are
disjoint
(
format
ChineseLanguage
result
"%2 %n 是 %1 的
result
")
chinese_format.kif 183-183
resource
and
result
are
disjoint
(
format
EnglishLanguage
result
"%2 is %n a
result
of %1")
english_format.kif 184-184
resource
and
result
are
disjoint
(
format
FrenchLanguage
result
"%2 est %n le
result
at de %1")
french_format.kif 111-111
resource
and
result
are
disjoint
(
format
ItalianLanguage
result
"%2 è %n un risultato di %1")
relations-it.txt 257-257
resource
and
result
are
disjoint
(
format
JapaneseLanguage
result
"%2 は %1 の
result
では %n")
japanese_format.kif 1940-1940
resource
and
result
are
disjoint
(
format
PortugueseLanguage
result
"%2 e' %n o
result
ado de %1")
portuguese_format.kif 63-63
resource
and
result
are
disjoint
(
format
cz
result
"%2 %p{je} %n{nen�} v�sledkem %1")
relations-cz.txt 87-87
resource
and
result
are
disjoint
(
format
de
result
"%2 ist ein
result
at von %1 %n{nicht}")
relations-de.txt 232-232
resource
and
result
are
disjoint
(
format
hi
result
"%2 %1 kaa pariNaama %n hai")
relations-hindi.txt 294-294
resource
and
result
are
disjoint
(
format
ro
result
"%2 %n{nu} este un
result
%t{rezultat} al lui %1")
relations-ro.kif 130-130
resource
and
result
are
disjoint
(
format
sv
result
"%2 är %n{inte} ett
result
at av %1")
relations-sv.txt 116-116
resource
and
result
are
disjoint
(
format
tg
result
"%2 %n ay ang hangga ng %1")
relations-tg.txt 449-449
resource
and
result
are
disjoint
(
termFormat
ChineseLanguage
result
"结果")
chinese_format.kif 184-184
resource
and
result
are
disjoint
(
termFormat
ChineseTraditionalLanguage
result
"結果")
domainEnglishFormat.kif 49830-49830
resource
and
result
are
disjoint
(
termFormat
EnglishLanguage
result
"result")
domainEnglishFormat.kif 49829-49829
resource
and
result
are
disjoint
(
termFormat
de
result
"resultat")
terms-de.txt 73-73
resource
and
result
are
disjoint
antecedent
(<=>
(
and
(
instance
?COMBINE
Combining
)
(
resource
?COMBINE ?OBJ1)
(
result
?COMBINE ?OBJ2))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?COMBINE))
(
not
(
part
?OBJ1 ?OBJ2)))
(
holdsDuring
(
EndFn
(
WhenFn
?COMBINE))
(
part
?OBJ1 ?OBJ2))))
Merge.kif 12526-12533
A process
is an
instance
of
combining
and
an object
is a
resource
for
the process
and
an entity
is a
result
of
the process
if and only if
the object
is not a
part
of
the entity
holds
during
the
beginning
of the
time
of existence of
the process
and
the object
is a
part
of
the entity
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
actedIn
?ACTOR ?O)
(
instance
?PERF
DramaticActing
)
(
patient
?PERF ?ACTOR)
(
result
?PERF ?O))
(
holdsDuring
(
WhenFn
?PERF)
(
attribute
?ACTOR
Actor
)))
Mid-level-ontology.kif 21050-21057
If
a human
&actedIn
a content bearing physical
. and
a process
is an
instance
of
dramatic acting
and
the human
is a
patient
of
the process
and
the content bearing physical
is a
result
of
the process
,
then
actor
is an
attribute
of
the human
holds
during
the
time
of existence of
the process
(=>
(
and
(
agent
?PROCESS ?AGENT)
(
result
?PROCESS ?WORK)
(
instance
?WORK
ArtWork
))
(
holdsDuring
(
WhenFn
?PROCESS)
(
attribute
?AGENT
Artist
)))
Mid-level-ontology.kif 19127-19133
If
an agent
is an
agent
of
a process
and
an entity
is a
result
of
the process
and
the entity
is an
instance
of
art work
,
then
artist
is an
attribute
of
the agent
holds
during
the
time
of existence of
the process
(=>
(
and
(
attribute
?X
Writer
)
(
instance
?TEXT ?CLASS)
(
or
(
subclass
?CLASS
Text
)
(
subclass
?CLASS
Document
))
(
instance
?WRITE
Writing
)
(
agent
?WRITE ?X)
(
result
?WRITE ?TEXT))
(
authors
?X ?CLASS))
Biography.kif 730-740
If
writer
is an
attribute
of
an agent
and
an entity
is an
instance
of
a kind of content bearing object
and
a kind of content bearing object
is a
subclass
of
text
or
the kind of content bearing object
is a
subclass
of
document
and
a process
is an
instance
of
writing
and
the agent
is an
agent
of
the process
and
the entity
is a
result
of
the process
,
then
the agent
is the
author
of
the kind of content bearing object
(=>
(
and
(
directed
?DIRECTOR ?MOVIE)
(
instance
?FILMMAKING
FilmMaking
)
(
instance
?FILMCREW
Organization
)
(
leader
?FILMCREW ?DIRECTOR)
(
agent
?FILMMAKING ?FILMCREW)
(
result
?FILMMAKING ?MOVIE))
(
holdsDuring
(
WhenFn
?FILMMAKING)
(
attribute
?DIRECTOR
FilmDirector
)))
Mid-level-ontology.kif 21024-21033
If
a human
directed
a motion picture
and
a process
is an
instance
of
film making
and
an agent
is an
instance
of
organization
and
the human
is a
leader
of
the agent
and
the agent
is an
agent
of
the process
and
the motion picture
is a
result
of
the process
,
then
film director
is an
attribute
of
the human
holds
during
the
time
of existence of
the process
(=>
(
and
(
employs
?ORG ?CO)
(
instance
?D
DoNetworkMessaging
)
(
result
?D ?MSG)
(
attribute
?MSG
NSFW
)
(
instance
?S
Seeing
)
(
patient
?S ?MSG)
(
agent
?S ?CO))
(
modalAttribute
(
exists
(?PROC)
(
and
(
causes
?S ?PROC)
(
suffers
?PROC ?CO)))
Possibility
))
Medicine.kif 3040-3054
If
an agent
employ
s
a cognitive agent
and
a process
is an
instance
of
do network messaging
and
an object
is a
result
of
the process
and
not safe for work
is an
attribute
of
the object
and
another process
is an
instance
of
seeing
and
the object
is a
patient
of
the other process
and
the cognitive agent
is an
agent
of
the other process
,
then the statement there exists
an entity
such that
the other process
cause
s
the entity
and
the cognitive agent
suffers
from
the entity
has the
modal
force
of
possibility
(=>
(
and
(
employs
?ORG ?P)
(
employs
?ORG ?CO)
(
instance
?D
DoNetworkMessaging
)
(
result
?D ?MSG)
(
attribute
?MSG
NSFW
)
(
agent
?D ?P)
(
instance
?S
Seeing
)
(
patient
?S ?MSG)
(
agent
?S ?CO))
(
modalAttribute
(
exists
(?PROC)
(
and
(
causes
?D ?PROC)
(
suffers
?PROC ?P)))
Likely
))
Medicine.kif 3022-3038
If
an agent
employ
s
a cognitive agent
and
the agent
employ
s
another cognitive agent
and
a process
is an
instance
of
do network messaging
and
an object
is a
result
of
the process
and
not safe for work
is an
attribute
of
the object
and
the cognitive agent
is an
agent
of
the process
and
another process
is an
instance
of
seeing
and
the object
is a
patient
of
the other process
and
the other cognitive agent
is an
agent
of
the other process
,
then the statement there exists
the cognitive agent
ROC such that
the process
cause
s
the cognitive agent
ROC and
the cognitive agent
suffers
from
the cognitive agent
ROC has the
modal
force
of
likely
(=>
(
and
(
instance
?BUILD
Constructing
)
(
result
?BUILD ?ARTIFACT))
(
instance
?ARTIFACT
StationaryArtifact
))
Merge.kif 12888-12892
If
a process
is an
instance
of
constructing
and
an entity
is a
result
of
the process
,
then
the entity
is an
instance
of
stationary artifact
(=>
(
and
(
instance
?C
CateringService
)
(
agent
?C ?AGENT)
(
destination
?C ?CUST)
(
located
?AGENT ?LOC1)
(
customer
?CUST ?AGENT)
(
exists
(?S ?FOOD ?E)
(
and
(
instance
?S
Cooking
)
(
agent
?S ?AGENT)
(
result
?S ?FOOD)
(
patient
?C ?FOOD)
(
instance
?E
Eating
)
(
agent
?E ?CUST)
(
eventLocated
?E ?LOC2))))
(
not
(
equal
?LOC1 ?LOC2)))
Dining.kif 586-602
If
a process
is an
instance
of
catering
and
an agent
is an
agent
of
the process
and
the process
end
s up at
the process
UST and
the agent
is
located
at
an object
and
the agent
is a
customer
of
the process
UST and there exist
another process
,
an entity
and
a third process
such that
the other process
is an
instance
of
cooking
and
the agent
is an
agent
of
the other process
and
the entity
is a
result
of
the other process
and
the entity
is a
patient
of
the process
and
the third process
is an
instance
of
eating
and
the process
UST is an
agent
of
the third process
and
the third process
is
located
at
another object
,
then
the object
is not
equal
to
the other object
(=>
(
and
(
instance
?COPY
Copying
)
(
resource
?COPY ?THING1)
(
result
?COPY ?THING2))
(
copy
?THING1 ?THING2))
Mid-level-ontology.kif 20705-20710
If
a process
is an
instance
of
copying
and
an object
is a
resource
for
the process
and
another object
is a
result
of
the process
,
then
the object
is a
copy
of
the other object
(=>
(
and
(
instance
?CREATE
Creation
)
(
result
?CREATE ?PROP)
(
instance
?PROP
Proposition
)
(
agent
?CREATE ?AGENT))
(
propositionOwner
?AGENT ?PROP))
Catalog.kif 172-178
If
a process
is an
instance
of
creation
and
a proposition
is a
result
of
the process
and
the proposition
is an
instance
of
proposition
and
a cognitive agent
is an
agent
of
the process
,
then
the cognitive agent
authored
the proposition
(=>
(
and
(
instance
?D
Antidiuretic
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?D)
(
instance
?U1
Urination
)
(
result
?U1 ?P1)
(
agent
?U1 ?H)
(
instance
?U2
Urination
)
(
not
(
equal
?U1 ?U2))
(
result
?U2 ?P2)
(
agent
?U2 ?H)
(
earlier
?U1 ?I)
(
earlier
?I ?U2)
(
instance
?V
UnitOfVolume
)
(
measure
?U1
(
MeasureFn
?N1 ?V))
(
measure
?U2
(
MeasureFn
?N2 ?V)))
(
modalAttribute
(
greaterThan
?N1 ?N2)
Likely
))
Mid-level-ontology.kif 10273-10296
If
an object
is an
instance
of
antidiuretic
and
a motion
is an
instance
of
ingesting
and
an agent
is an
agent
of
the motion
and
the object
moves during
the motion
and
a time interval
is an
instance
of
urination
and
an entity
is a
result
of
the time interval
and
the agent
is an
agent
of
the time interval
and
another time interval
is an
instance
of
urination
and
the time interval
is not
equal
to
the other time interval
and
another entity
is a
result
of
the other time interval
and
the agent
is an
agent
of
the other time interval
and
the time interval
happens
earlier
than
the motion
and
the motion
happens
earlier
than
the other time interval
and
an unit of measure
is an
instance
of
unit of volume
and the
measure
of
the time interval
is
a real number
the unit of measure
(s) and the
measure
of
the other time interval
is
another real number
the unit of measure
(s),
then the statement
the real number
is
greater
than
the other real number
has the
modal
force
of
likely
(=>
(
and
(
instance
?D
Diuretic
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?D)
(
instance
?U1
Urination
)
(
result
?U1 ?P1)
(
agent
?U1 ?H)
(
instance
?U2
Urination
)
(
result
?U2 ?P2)
(
agent
?U2 ?H)
(
earlier
?U1 ?I)
(
earlier
?I ?U2)
(
instance
?V
UnitOfVolume
)
(
measure
?U1
(
MeasureFn
?N1 ?V))
(
measure
?U2
(
MeasureFn
?N2 ?V)))
(
modalAttribute
(
greaterThan
?N2 ?N1)
Likely
))
Mid-level-ontology.kif 10243-10264
If
an object
is an
instance
of
diuretic
and
a motion
is an
instance
of
ingesting
and
an agent
is an
agent
of
the motion
and
the object
moves during
the motion
and
a time interval
is an
instance
of
urination
and
an entity
is a
result
of
the time interval
and
the agent
is an
agent
of
the time interval
and
another time interval
is an
instance
of
urination
and
another entity
is a
result
of
the other time interval
and
the agent
is an
agent
of
the other time interval
and
the time interval
happens
earlier
than
the motion
and
the motion
happens
earlier
than
the other time interval
and
an unit of measure
is an
instance
of
unit of volume
and the
measure
of
the time interval
is
a real number
the unit of measure
(s) and the
measure
of
the other time interval
is
another real number
the unit of measure
(s),
then the statement
the other real number
is
greater
than
the real number
has the
modal
force
of
likely
(=>
(
and
(
instance
?DEATH
Death
)
(
instance
?REM
OrganismRemains
)
(
instance
?ORG
Organism
)
(
holdsDuring
?T2
(
part
?OBJ ?REM))
(
holdsDuring
?T1
(
part
?OBJ ?ORG))
(
earlier
?T1 ?T2)
(
result
?DEATH ?REM))
(
experiencer
?DEATH ?ORG))
Mid-level-ontology.kif 74-83
If
a process
is an
instance
of
death
and
an entity
is an
instance
of
organism remains
and
an agent
is an
instance
of
organism
and
another entity
is a
part
of
the entity
holds
during
a time interval
and
the other entity
is a
part
of
the agent
holds
during
another time interval
and
the other time interval
happens
earlier
than
the time interval
and
the entity
is a
result
of
the process
,
then
the agent
experience
s
the process
(=>
(
and
(
instance
?DECIDE
Deciding
)
(
agent
?DECIDE ?A)
(
patient
?DECIDE ?S)
(
instance
?S
Set
)
(
result
?DECIDE ?X)
(
instance
?X
ContentBearingPhysical
))
(
containsFormula
?X
(
holdsDuring
(
FutureFn
(
WhenFn
?DECIDE))
(
exists
(?M)
(
and
(
element
?M ?S)
(
instance
?M
IntentionalProcess
)
(
agent
?M ?A))))))
Merge.kif 12106-12122
If
a process
is an
instance
of
deciding
and
an agent
is an
agent
of
the process
and
an entity
is a
patient
of
the process
and
the entity
is an
instance
of
set
and
a content bearing physical
is a
result
of
the process
and
the content bearing physical
is an
instance
of
content bearing physical
,
then
the content bearing physical
contains the formula there exists
another entity
such that
the other entity
is an
element
of
the entity
and
the other entity
is an
instance
of
intentional process
and
the agent
is an
agent
of
the other entity
holds
during
after
the
time
of existence of
the process
(=>
(
and
(
instance
?DEVELOP
DevelopingWeaponOfMassDestruction
)
(
result
?DEVELOP ?WEAPON))
(
instance
?WEAPON
WeaponOfMassDestruction
))
WMD.kif 690-694
If
a process
is an
instance
of
developing weapon of mass destruction
and
an entity
is a
result
of
the process
,
then
the entity
is an
instance
of
weapon of mass destruction
(=>
(
and
(
instance
?ELEMENT1
ElementalSubstance
)
(
instance
?ELEMENT2
ElementalSubstance
)
(
not
(
equal
?ELEMENT1 ?ELEMENT2))
(
instance
?PROCESS
ChemicalSynthesis
)
(
resource
?PROCESS ?ELEMENT1)
(
resource
?PROCESS ?ELEMENT2)
(
result
?PROCESS ?COMPOUND))
(
instance
?COMPOUND
CompoundSubstance
))
Merge.kif 12607-12616
If
an object
is an
instance
of
elemental substance
and
another object
is an
instance
of
elemental substance
and
the object
is not
equal
to
the other object
and
a process
is an
instance
of
chemical synthesis
and
the object
is a
resource
for
the process
and
the other object
is a
resource
for
the process
and
an entity
is a
result
of
the process
,
then
the entity
is an
instance
of
compound substance
(=>
(
and
(
instance
?EVENT
OperationPlanning
)
(
result
?EVENT ?CBO)
(
instance
?CBO
ContentBearingObject
)
(
containsInformation
?CBO ?INFO))
(
instance
?INFO
OperationPlan
))
MilitaryProcesses.kif 1527-1533
If
a process
is an
instance
of
operation planning
and
a content bearing physical
is a
result
of
the process
and
the content bearing physical
is an
instance
of
content bearing object
and
the content bearing physical
contain
s information
a proposition
,
then
the proposition
is an
instance
of
operation plan
(=>
(
and
(
instance
?EVENT
Planning
)
(
result
?EVENT ?CBO)
(
instance
?CBO
ContentBearingObject
))
(
exists
(?PLAN)
(
and
(
instance
?PLAN
Plan
)
(
containsInformation
?CBO ?PLAN))))
Merge.kif 10888-10896
If
a process
is an
instance
of
planning
and
a content bearing physical
is a
result
of
the process
and
the content bearing physical
is an
instance
of
content bearing object
,
then there exists
a proposition
such that
the proposition
is an
instance
of
plan
and
the content bearing physical
contain
s information
the proposition
(=>
(
and
(
instance
?EXPERIMENT
Experimenting
)
(
result
?EXPERIMENT ?RESULT))
(
instance
?RESULT
Formula
))
UXExperimentalTerms.kif 3794-3798
If
a process
is an
instance
of
experimenting
and
an entity
is a
result
of
the process
,
then
the entity
is an
instance
of
formula
(=>
(
and
(
instance
?F
Felling
)
(
result
?F ?S))
(
exists
(?STEM)
(
and
(
instance
?S
(
DeadFn
?STEM))
(
subclass
?STEM
PlantStem
))))
Economy.kif 5600-5608
If
a process
is an
instance
of
felling
and
an entity
is a
result
of
the process
,
then there exists
the entity
TEM such that
the entity
is an
instance
of a
dead
the entity
TEM and
the entity
TEM is a
subclass
of
plant stem
(=>
(
and
(
instance
?F
Fermentation
)
(
patient
?F ?X)
(
instance
?X
(
JuiceOfFn
WineGrape
))
(
result
?F ?W))
(
instance
?W
Wine
))
Food.kif 3692-3699
If
a process
is an
instance
of
fermentation
and
an entity
is a
patient
of
the process
and
the entity
is an
instance
of the
juice
of
wine grape
and
another entity
is a
result
of
the process
,
then
the other entity
is an
instance
of
wine
(=>
(
and
(
instance
?FACILITY
NuclearWeaponProductionFacility
)
(
instance
?DEVELOP
DevelopingWeaponOfMassDestruction
)
(
eventLocated
?DEVELOP ?FACILITY)
(
result
?DEVELOP ?WEAPON))
(
instance
?WEAPON
NuclearWeapon
))
WMD.kif 654-660
If
an object
is an
instance
of
nuclear weapon production facility
and
a process
is an
instance
of
developing weapon of mass destruction
and
the process
is
located
at
the object
and
an entity
is a
result
of
the process
,
then
the entity
is an
instance
of
nuclear weapon
(=>
(
and
(
instance
?G
Choreographing
)
(
result
?G ?P)
(
realization
?D ?P))
(
instance
?D
Dancing
))
Mid-level-ontology.kif 16297-16302
If
a process
is an
instance
of
choreographing
and
a proposition
is a
result
of
the process
and
another process
express
es the content of
the proposition
,
then
the other process
is an
instance
of
dancing
(=>
(
and
(
instance
?H
Harvesting
)
(
result
?H ?M)
(
instance
?M
Mushroom
))
(
attribute
?M
Produce
))
Food.kif 2687-2692
If
a process
is an
instance
of
harvesting
and
an object
is a
result
of
the process
and
the object
is an
instance
of
mushroom
,
then
produce
is an
attribute
of
the object
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
consequent
(<=>
(
and
(
instance
?COPY
Photocopying
)
(
patient
?COPY ?OBJ1)
(
instance
?OBJ1
VisualContentBearingObject
)
(
containsInformation
?OBJ1 ?INFO1))
(
exists
(?OBJ2 ?INFO2)
(
and
(
result
?COPY ?OBJ2)
(
instance
?OBJ2
VisualContentBearingObject
)
(
containsInformation
?OBJ2 ?INFO2)
(
equal
?INFO1 ?INFO2))))
Mid-level-ontology.kif 26625-26636
A process
is an
instance
of
photocopying
and
a content bearing physical
is a
patient
of
the process
and
the content bearing physical
is an
instance
of
visual content bearing object
and
the content bearing physical
contain
s information
a proposition
if and only if there exist
another content bearing physical
and
another proposition
such that
the other content bearing physical
is a
result
of
the process
and
the other content bearing physical
is an
instance
of
visual content bearing object
and
the other content bearing physical
contain
s information
the other proposition
and
the proposition
is
equal
to
the other proposition
(<=>
(
instance
?CS
ConjugatedSubstance
)
(
exists
(?C1 ?C2 ?P)
(
and
(
instance
?C1
CompoundSubstance
)
(
instance
?C2
CompoundSubstance
)
(
not
(
equal
?C1 ?C2))
(
instance
?P
ChemicalSynthesis
)
(
resource
?P ?C1)
(
resource
?P ?C2)
(
result
?P ?CS))))
Mid-level-ontology.kif 6472-6482
An entity
is an
instance
of
conjugated substance
if and only if there exist
an object
,
another object
and
a process
such that
the object
is an
instance
of
compound substance
and
the other object
is an
instance
of
compound substance
and
the object
is not
equal
to
the other object
and
the process
is an
instance
of
chemical synthesis
and
the object
is a
resource
for
the process
and
the other object
is a
resource
for
the process
and
the entity
is a
result
of
the process
(<=>
(
yearOfFounding
?O ?Y)
(
exists
(?F ?YEAR)
(
and
(
overlapsTemporally
(
WhenFn
?F) ?YEAR)
(
instance
?YEAR
(
YearFn
?Y))
(
instance
?F
Founding
)
(
result
?F ?O))))
Mid-level-ontology.kif 961-968
An integer
is a
year
of founding of
an organization
if and only if there exist
a process
and
the integer
EAR such that
the integer
EAR
overlap
s the
time
of existence of
the process
and
the integer
EAR is an
instance
of the
year
the integer
and
the process
is an
instance
of
founding
and
the organization
is a
result
of
the process
(=>
(
actedIn
?ACTOR ?O)
(
exists
(?PERF)
(
and
(
instance
?PERF
DramaticActing
)
(
patient
?PERF ?ACTOR)
(
result
?PERF ?O))))
Mid-level-ontology.kif 21042-21048
If
a human
&actedIn
a content bearing physical
.,
then there exists
a process
such that
the process
is an
instance
of
dramatic acting
and
the human
is a
patient
of
the process
and
the content bearing physical
is a
result
of
the process
(=>
(
and
(
attribute
?OBJ ?ATR)
(
instance
?ATR
SubjectiveAssessmentAttribute
))
(
exists
(?TIME ?JUDGE ?AGENT)
(
and
(
instance
?JUDGE
Judging
)
(
agent
?JUDGE ?AGENT)
(
patient
?JUDGE ?OBJ)
(
result
?JUDGE
(
attribute
?OBJ ?ATR))
(
holdsDuring
?TIME
(
believes
?AGENT
(
property
?OBJ ?ATR))))))
Merge.kif 17413-17426
If
an attribute
is an
attribute
of
an object
and
the attribute
is an
instance
of
subjective assessment attribute
,
then there exist
a time position
,
a process
and
an agent
such that
the process
is an
instance
of
judging
and
the agent
is an
agent
of
the process
and
the object
is a
patient
of
the process
and
the attribute
is an
attribute
of
the object
is a
result
of
the process
and
the agent
believe
s
the object
the
attribute
the attribute
holds
during
the time position
(=>
(
and
(
attribute
?X
Produce
)
(
instance
?X
FruitOrVegetable
))
(
hasPurpose
?X
(
exists
(?H)
(
and
(
instance
?H
Harvesting
)
(
result
?H ?X)
(
instance
?X
(
FoodForFn
Human
))))))
Economy.kif 4310-4319
If
produce
is an
attribute
of
an object
and
the object
is an
instance
of
fruit or vegetable
,
then
the object
has the purpose there exists
an entity
such that
the entity
is an
instance
of
harvesting
and
the object
is a
result
of
the entity
and
the object
is an
instance
of
food
for
human
(=>
(
and
(
destination
?MSG ?TELEX)
(
instance
?MSG
Messaging
)
(
patient
?MSG ?M)
(
instance
?TELEX
Telex
))
(
exists
(?PROC ?TEXT)
(
and
(
instrument
?PROC ?TELEX)
(
result
?PROC ?TEXT)
(
represents
?TEXT ?M)
(
instance
?TEXT
Text
)
(
before
(
BeginFn
(
WhenFn
?MSG))
(
BeginFn
(
WhenFn
?PROC))))))
Communications.kif 202-214
If
a process
end
s up at
an object
and
the process
is an
instance
of
messaging
and
an entity
is a
patient
of
the process
and
the object
is an
instance
of
telex
,
then there exist
another process
and
another entity
such that
the object
is an
instrument
for
the other process
and
the other entity
is a
result
of
the other process
and
the other entity
express
es
the entity
and
the other entity
is an
instance
of
text
and the
beginning
of the
time
of existence of
the process
happens
before
the
beginning
of the
time
of existence of
the other process
(=>
(
and
(
instance
?C
Crushing
)
(
patient
?C ?O)
(
instance
?O
Object
))
(
exists
(?SC)
(
and
(
result
?C ?SC)
(
instance
?SC
ShapeChange
)
(
patient
?SC ?O))))
Food.kif 994-1003
If
a process
is an
instance
of
crushing
and
an entity
is a
patient
of
the process
and
the entity
is an
instance
of
object
,
then there exists
another process
such that
the other process
is a
result
of
the process
and
the other process
is an
instance
of
shape change
and
the entity
is a
patient
of
the other process
(=>
(
and
(
instance
?C
Curdling
)
(
patient
?C ?X)
(
instance
?X
Colloid
))
(
exists
(?S ?A)
(
and
(
instance
?S
Separating
)
(
subProcess
?S ?C)
(
patient
?S ?X)
(
result
?S ?A)
(
piece
?A ?X)
(
instance
?A
Substance
))))
Food.kif 3199-3211
If
a process
is an
instance
of
curdling
and
a substance
is a
patient
of
the process
and
the substance
is an
instance
of
colloid
,
then there exist
another process
and
another substance
such that
the other process
is an
instance
of
separating
and
the other process
is a
subprocess
of
the process
and
the substance
is a
patient
of
the other process
and
the other substance
is a
result
of
the other process
and
the other substance
is a
piece
of
the substance
and
the other substance
is an
instance
of
substance
(=>
(
and
(
instance
?CA
ChemicalAcid
)
(
instance
?CB
ChemicalBase
)
(
instance
?C
ChemicalProcess
)
(
patient
?C ?CA)
(
patient
?C ?CB))
(
exists
(?CS)
(
and
(
instance
?CS
ChemicalSalt
)
(
result
?C ?CS))))
Mid-level-ontology.kif 8944-8954
If
an entity
is an
instance
of
chemical acid
and
another entity
is an
instance
of
chemical base
and
a process
is an
instance
of
chemical process
and
the entity
is a
patient
of
the process
and
the other entity
is a
patient
of
the process
,
then there exists
the process
S such that
the process
S is an
instance
of
salt
and
the process
S is a
result
of
the process
(=>
(
and
(
instance
?COLOR
SecondaryColor
)
(
attribute
?OBJ ?COLOR))
(
exists
(?PROCESS ?RESOURCE1 ?RESOURCE2 ?PRIMARY1 ?PRIMARY2)
(
and
(
result
?PROCESS ?OBJ)
(
resource
?PROCESS ?RESOURCE1)
(
resource
?PROCESS ?RESOURCE2)
(
attribute
?RESOURCE1 ?PRIMARY1)
(
attribute
?RESOURCE2 ?PRIMARY2)
(
instance
?PRIMARY1
PrimaryColor
)
(
instance
?PRIMARY2
PrimaryColor
)
(
not
(
equal
?PRIMARY1 ?PRIMARY2)))))
Mid-level-ontology.kif 19669-19682
If
an attribute
is an
instance
of
secondary color
and
the attribute
is an
attribute
of
an object
,
then there exist
a process
,
another object
,, ,
a third object
,, ,
another attribute
and
a third attribute
such that
the object
is a
result
of
the process
and
the other object
is a
resource
for
the process
and
the third object
is a
resource
for
the process
and
the other attribute
is an
attribute
of
the other object
and
the third attribute
is an
attribute
of
the third object
and
the other attribute
is an
instance
of
primary color
and
the third attribute
is an
instance
of
primary color
and
the other attribute
is not
equal
to
the third attribute
(=>
(
and
(
instance
?DEATH
Death
)
(
instance
?ORG
Organism
)
(
experiencer
?DEATH ?ORG))
(
exists
(?REM ?OBJ)
(
and
(
result
?DEATH ?REM)
(
instance
?REM
OrganicObject
)
(
holdsDuring
(
FutureFn
(
WhenFn
?DEATH))
(
attribute
?REM
Dead
))
(=>
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?DEATH))
(
part
?OBJ ?REM))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?DEATH))
(
part
?OBJ ?ORG))))))
Merge.kif 10272-10287
If
a process
is an
instance
of
death
and
an agent
is an
instance
of
organism
and
the agent
experience
s
the process
,
then there exist
an entity
and
another entity
such that
the entity
is a
result
of
the process
and
the entity
is an
instance
of
organic object
and
dead
is an
attribute
of
the entity
holds
during
after
the
time
of existence of
the process
and
if
the other entity
is a
part
of
the entity
holds
during
immediately
after
the
time
of existence of
the process
,
then
the other entity
is a
part
of
the agent
holds
during
immediately
before
the
time
of existence of
the process
(=>
(
and
(
instance
?DEATH
Death
)
(
instance
?REM
OrganismRemains
)
(
instance
?ORG
Organism
)
(
holdsDuring
?T2
(
part
?OBJ ?REM))
(
holdsDuring
?T1
(
part
?OBJ ?ORG))
(
earlier
?T1 ?T2)
(
experiencer
?DEATH ?ORG))
(
result
?DEATH ?REM))
Mid-level-ontology.kif 85-94
If
a process
is an
instance
of
death
and
an entity
is an
instance
of
organism remains
and
an agent
is an
instance
of
organism
and
another entity
is a
part
of
the entity
holds
during
a time interval
and
the other entity
is a
part
of
the agent
holds
during
another time interval
and
the other time interval
happens
earlier
than
the time interval
and
the agent
experience
s
the process
,
then
the entity
is a
result
of
the process
(=>
(
and
(
instance
?DISMANTLE
DismantlingWeaponOfMassDestruction
)
(
patient
?DISMANTLE ?WEAPON))
(
exists
(?DEVELOP)
(
and
(
instance
?DEVELOP
DevelopingWeaponOfMassDestruction
)
(
result
?DEVELOP ?WEAPON)
(
earlier
(
WhenFn
?DEVELOP)
(
WhenFn
?DISMANTLE)))))
WMD.kif 750-758
If
a process
is an
instance
of
dismantling weapon of mass destruction
and
an entity
is a
patient
of
the process
,
then there exists
another process
such that
the other process
is an
instance
of
developing weapon of mass destruction
and
the entity
is a
result
of
the other process
and the
time
of existence of
the other process
happens
earlier
than the
time
of existence of
the process
(=>
(
and
(
instance
?FM
FoamingMilk
)
(
instance
?M
ProcessedMilk
)
(
patient
?FM ?M))
(
exists
(?H ?A ?B)
(
and
(
instance
?H
Heating
)
(
patient
?H ?M)
(
instance
?A
Aerating
)
(
patient
?A ?M)
(
result
?A ?B)
(
instance
?B
Bubble
)
(
during
(
WhenFn
?A)
(
WhenFn
?H)))))
Food.kif 1190-1205
If
a process
is an
instance
of
foaming milk
and
an entity
is an
instance
of
processed milk
and
the entity
is a
patient
of
the process
,
then there exist
another process
,
a third process
and
another entity
such that
the other process
is an
instance
of
heating
and
the entity
is a
patient
of
the other process
and
the third process
is an
instance
of
aerating
and
the entity
is a
patient
of
the third process
and
the other entity
is a
result
of
the third process
and
the other entity
is an
instance
of
bubble
and the
time
of existence of
the third process
takes place
during
the
time
of existence of
the other process
(=>
(
and
(
instance
?G
Gaslighting
)
(
agent
?G ?A)
(
suffers
?G ?H))
(
exists
(?P)
(
and
(
instance
?P
Perception
)
(
experiencer
?P ?H)
(
causesProposition
(
suffers
?G ?H)
(
not
(
knows
?H
(
result
?P ?R)))))))
Medicine.kif 3665-3678
If
a process
is an
instance
of
gaslighting
and
an agent
is an
agent
of
the process
and
another agent
suffers
from
the process
,
then there exists
another process
such that
the other process
is an
instance
of
perception
and
the other agent
experience
s
the other process
and
the other agent
doesn't
know
an entity
is a
result
of
the other process
is a
causes
proposition of
the other agent
suffers
from
the process
(=>
(
and
(
instance
?G
Gene
)
(
located
?G ?C)
(
instance
?C
Cell
))
(
exists
(?B ?N ?R)
(
and
(
instance
?B
BiologicalProcess
)
(
eventLocated
?B ?C)
(
origin
?B ?G)
(
result
?B ?N)
(
instance
?N
Nucleotide
)
(
part
?N ?R)
(
instance
?R
RNAMolecule
)
(
located
?R ?C))))
VirusProteinAndCellPart.kif 654-668
If
an object
is an
instance
of
gene
and
the object
is
located
at
another object
and
the other object
is an
instance
of
cell
,
then there exist
a process
,
a third object
and
a fourth object
such that
the process
is an
instance
of
biological process
and
the process
is
located
at
the other object
and
the process
originate
s at
the object
and
the third object
is a
result
of
the process
and
the third object
is an
instance
of
Nucleotide
and
the third object
is a
part
of
the fourth object
and
the fourth object
is an
instance
of
RNA molecule
and
the fourth object
is
located
at
the other object
(=>
(
and
(
instance
?G
Grinding
)
(
patient
?G ?O)
(
instance
?O
CorpuscularObject
))
(
holdsDuring
(
EndFn
(
WhenFn
?G))
(
exists
(?C)
(
and
(
result
?G ?C)
(
instance
?C
Collection
)
(
forall
(?M)
(=>
(
member
?M ?C)
(
part
?M ?O)))))))
Food.kif 1012-1026
If
a process
is an
instance
of
grinding
and
an entity
is a
patient
of
the process
and
the entity
is an
instance
of
corpuscular object
,
then there exists
another entity
such that
the other entity
is a
result
of
the process
and
the other entity
is an
instance
of
collection
and for all
a third entity
if
the third entity
is a
member
of
the other entity
,
then
the third entity
is a
part
of
the entity
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?L
Laceration
)
(
instance
?S
Skin
)
(
equal
?S
(
HoleHostFn
?L))
(
part
?S ?H))
(
exists
(?P)
(
and
(
instance
?P
Poking
)
(
result
?P ?L))))
Medicine.kif 6216-6225
If
a hole
is an
instance
of
Laceration
and
an object
is an
instance
of
skin
and
the object
is
equal
to the
host
of the hole
the hole
and
the object
is a
part
of
another object
,
then there exists
a process
such that
the process
is an
instance
of
poking
and
the hole
is a
result
of
the process
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG ?INDUSTRY)
(
industryProductType
?INDUSTRY ?TYPE))
(
exists
(?EVENT ?ITEM)
(
and
(
instance
?EVENT
Making
)
(
instance
?ITEM ?TYPE)
(
agent
?EVENT ?ORG)
(
result
?EVENT ?ITEM))))
Economy.kif 1607-1617
If
an agent
is an
instance
of
organization
and
an industry attribute
is an
attribute
of
the agent
and
a kind of object
is an
industry
product type of
the industry attribute
,
then there exist
a process
and
an entity
such that
the process
is an
instance
of
making
and
the entity
is an
instance
of
a kind of object
and
the agent
is an
agent
of
the process
and
the entity
is a
result
of
the process
(=>
(
and
(
instance
?P
ForestProduct
)
(
instance
?M
Manufacture
)
(
result
?M ?P)
(
patient
?M ?X)
(
instance
?X
Organism
))
(
exists
(?A ?F)
(
and
(
instance
?A
Agriculture
)
(
result
?A ?X)
(
eventLocated
?A ?F)
(
instance
?F
Forest
))))
Economy.kif 5325-5337
If
an entity
is an
instance
of
forest product
and
a process
is an
instance
of
manufacture
and
the entity
is a
result
of
the process
and
another entity
is a
patient
of
the process
and
the other entity
is an
instance
of
organism
,
then there exist
another process
and
an object
such that
the other process
is an
instance
of
agriculture
and
the other entity
is a
result
of
the other process
and
the other process
is
located
at
the object
and
the object
is an
instance
of
forest
(=>
(
and
(
instance
?P
Putting
)
(
patient
?P ?S)
(
instance
?S
Spice
)
(
destination
?P ?F)
(
instance
?F
PreparedFood
))
(
exists
(?C ?A)
(
and
(
instance
?C
InternalChange
)
(
patient
?C ?F)
(
result
?C ?A)
(
attribute
?F ?A)
(
or
(
instance
?A
FlavourAttribute
)
(
instance
?A
ColorAttribute
)))))
Economy.kif 4499-4514
If
a process
is an
instance
of
putting
and
an entity
is a
patient
of
the process
and
the entity
is an
instance
of
spice
and
the process
end
s up at
an object
and
the object
is an
instance
of
prepared food
,
then there exist
another process
and
an attribute
such that
the other process
is an
instance
of
internal change
and
the object
is a
patient
of
the other process
and
the attribute
is a
result
of
the other process
and
the attribute
is an
attribute
of
the object
and
the attribute
is an
instance
of
flavour attribute
or
the attribute
is an
instance
of
color attribute
(=>
(
and
(
instance
?P
ThreeDPrinting
)
(
instance
?O
Artifact
)
(
result
?P ?O))
(
exists
(?A ?X ?B ?Y)
(
and
(
instance
?A
Making
)
(
subProcess
?A ?P)
(
instance
?X
SelfConnectedObject
)
(
part
?X ?O)
(
result
?A ?X)
(
instance
?B
Making
)
(
subProcess
?B ?P)
(
instance
?Y
SelfConnectedObject
)
(
part
?Y ?O)
(
overlapsSpatially
?X ?Y)
(
orientation
?X ?Y
Below
)
(
during
(
WhenFn
?A)
(
WhenFn
?P))
(
during
(
WhenFn
?B)
(
WhenFn
?P))
(
earlier
(
WhenFn
?A)
(
WhenFn
?B)))))
QoSontology.kif 536-562
If
a process
is an
instance
of
3D printing
and
an object
is an
instance
of
artifact
and
the object
is a
result
of
the process
,
then there exist
another process
,
another object
,, ,
a third process
and
a third object
such that
the other process
is an
instance
of
making
and
the other process
is a
subprocess
of
the process
and
the other object
is an
instance
of
self connected object
and
the other object
is a
part
of
the object
and
the other object
is a
result
of
the other process
and
the third process
is an
instance
of
making
and
the third process
is a
subprocess
of
the process
and
the third object
is an
instance
of
self connected object
and
the third object
is a
part
of
the object
and
the other object
and
the third object
overlapsSpatially
and
the other object
is
below
to
the third object
and the
time
of existence of
the other process
takes place
during
the
time
of existence of
the process
and the
time
of existence of
the third process
takes place
during
the
time
of existence of
the process
and the
time
of existence of
the other process
happens
earlier
than the
time
of existence of
the third process
(=>
(
and
(
instance
?PAGE
ViewItemPage
)
(
instance
?ADVERTISING
WebListing
)
(
component
?ADVERTISING ?PAGE)
(
patient
?ADVERTISING ?ITEM)
(
instance
?ITEM
Physical
))
(
exists
(?DESCRIPTION ?STATING ?DESCRIPTIONCONTENT)
(
and
(
instance
?STATING
Stating
)
(
patient
?STATING ?DESCRIPTION)
(
refers
?DESCRIPTION ?ITEM)
(
result
?DESCRIPTION ?DESCRIPTIONCONTENT)
(
part
?DESCRIPTIONCONTENT ?PAGE))))
UXExperimentalTerms.kif 2078-2091
If
a corpuscular object
is an
instance
of
next generation view item
and
a process
is an
instance
of
web listing
and
the process
is a
component
of
the corpuscular object
and
an entity
is a
patient
of
the process
and
the entity
is an
instance
of
physical
,
then there exist
another process
,
a third process
and
the other process
CONTENT such that
the third process
is an
instance
of
stating
and
the other process
is a
patient
of
the third process
and
the other process
includes a
reference
to
the entity
and
the other process
CONTENT is a
result
of
the other process
and
the other process
CONTENT is a
part
of
the corpuscular object
(=>
(
and
(
instance
?PLAN
Plan
)
(
instance
?OBJ
ContentBearingObject
)
(
containsInformation
?OBJ ?PLAN))
(
exists
(?PLANNING)
(
and
(
instance
?PLANNING
Planning
)
(
result
?PLANNING ?OBJ))))
Merge.kif 16883-16891
If
a proposition
is an
instance
of
plan
and
a content bearing physical
is an
instance
of
content bearing object
and
the content bearing physical
contain
s information
the proposition
,
then there exists
the proposition
NING such that
the proposition
NING is an
instance
of
planning
and
the content bearing physical
is a
result
of
the proposition
NING
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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
