Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
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 2455-2455
result
and
instrument
are
disjoint
(
documentation
result
ChineseLanguage
"(result ?ACTION ?OUTPUT)的意思是 ?OUTPUT 是 ?ACTION 的产品。例如:在以下'埃里克建了一栋房子'这命题,房子是个
result
。")
chinese_format.kif 1895-1896
(
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 2494-2496
(
domain
result
1
Process
)
Merge.kif 2491-2491
The number 1 argument of
result
is an
instance
of
process
(
domain
result
2
Entity
)
Merge.kif 2492-2492
The number 2 argument of
result
is an
instance
of
entity
(
instance
result
CaseRole
)
Merge.kif 2489-2489
result
is an
instance
of
case role
(
instance
result
PartialValuedRelation
)
Merge.kif 2490-2490
result
is an
instance
of
partial valued relation
(
subrelation
result
patient
)
Merge.kif 2488-2488
result
is a
subrelation
of
patient
appearance as argument number 2
(
disjointRelation
resource
result
)
Merge.kif 2453-2453
resource
and
result
are
disjoint
(
format
ChineseLanguage
result
"%2 %n 是 %1 的
result
")
chinese_format.kif 183-183
(
format
EnglishLanguage
result
"%2 is %n a
result
of %1")
english_format.kif 184-184
(
termFormat
ChineseLanguage
result
"结果")
chinese_format.kif 184-184
(
termFormat
ChineseTraditionalLanguage
result
"結果")
domainEnglishFormat.kif 49778-49778
(
termFormat
EnglishLanguage
result
"result")
domainEnglishFormat.kif 49777-49777
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 12228-12235
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 20077-20084
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 18188-18194
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
)
(
or
(
instance
?TEXT
Text
)
(
instance
?TEXT
Document
))
(
instance
?WRITE
Writing
)
(
agent
?WRITE ?X)
(
result
?WRITE ?TEXT))
(
authors
?X ?TEXT))
Biography.kif 498-507
If
writer
is an
attribute
of
an agent
and
a kind of content bearing object
is an
instance
of
text
or
a kind of content bearing object
is an
instance
of
Document
and
a process
is an
instance
of
writing
and
the agent
is an
agent
of
the process
and
the kind of content bearing object
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 20051-20060
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
(
instance
?BUILD
Constructing
)
(
result
?BUILD ?ARTIFACT))
(
instance
?ARTIFACT
StationaryArtifact
))
Merge.kif 12590-12594
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 540-556
If
a process
is an
instance
of
catering
and
a cognitive agent
is an
agent
of
the process
and
the process
end
s up at
the process
UST and
the cognitive agent
is
located
at
an object
and
the cognitive 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 cognitive 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
2
,
then
the object
is not
equal
to
another entity
(=>
(
and
(
instance
?COPY
Copying
)
(
resource
?COPY ?THING1)
(
result
?COPY ?THING2))
(
copy
?THING1 ?THING2))
Mid-level-ontology.kif 19738-19743
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 167-173
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
VolumeMeasure
)
(
measure
?U1
(
MeasureFn
?N1 ?V))
(
measure
?U2
(
MeasureFn
?N2 ?V)))
(
modalAttribute
(
greaterThan
?N1 ?N2)
Likely
))
Mid-level-ontology.kif 9623-9646
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
volume measure
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
VolumeMeasure
)
(
measure
?U1
(
MeasureFn
?N1 ?V))
(
measure
?U2
(
MeasureFn
?N2 ?V)))
(
modalAttribute
(
greaterThan
?N2 ?N1)
Likely
))
Mid-level-ontology.kif 9593-9614
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
volume measure
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 72-81
If
a process
is an
instance
of
death
and
an entity
is an
instance
of
OrganismRemains
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
?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 12309-12318
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 10726-10734
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 4001-4005
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
Fermentation
)
(
patient
?F
(
JuiceOfFn
?X))
(
instance
?X
WineGrape
)
(
result
?F ?W))
(
instance
?W
Wine
))
Food.kif 1105-1112
If
a process
is an
instance
of
Fermentation
and the
juice
of
a kind of fruit or vegetable
is a
patient
of
the process
and
a kind of fruit or vegetable
is an
instance
of
wine grape
and
an entity
is a
result
of
the process
,
then
the 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 entity
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
2
and
another entity
is a
result
of
the process
,
then
the other entity
is an
instance
of
nuclear weapon
(=>
(
and
(
instance
?G
Choreographing
)
(
result
?G ?P)
(
realization
?D ?P))
(
instance
?D
Dancing
))
Mid-level-ontology.kif 15472-15477
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 ?C))
(
or
(
instance
?C
PlantAnatomicalStructure
)
(
instance
?C
PlantSubstance
)))
Mid-level-ontology.kif 17471-17477
If
a process
is an
instance
of
harvesting
and
an entity
is a
result
of
the process
,
then
the entity
is an
instance
of
plant anatomical structure
or
the entity
is an
instance
of
plant substance
(=>
(
and
(
instance
?HELPING
Helping
)
(
agent
?HELPING ?AGENT)
(
result
?HELPING ?RESULT))
(
exists
(?PATIENT)
(
and
(
not
(
equal
?AGENT ?PATIENT))
(
or
(
patient
?HELPING ?PATIENT)
(
experiencer
?HELPING ?PATIENT))
(
wants
?PATIENT ?RESULT))))
MilitaryProcesses.kif 1419-1431
If
a process
is an
instance
of
helping
and
an agent
is an
agent
of
the process
and
a physical
is a
result
of
the process
,
then there exists
a cognitive agent
such that
the agent
is not
equal
to
the cognitive agent
and
the cognitive agent
is a
patient
of
the process
or
the cognitive agent
experience
s
the process
and
the cognitive agent
want
s
the physical
(=>
(
and
(
instance
?IC
IgnitionCoil
)
(
instance
?P
ElectricTransmission
)
(
resource
?P ?E1)
(
instance
?E1
Electricity
)
(
instance
?E2
Electricity
)
(
result
?P ?E2)
(
instrument
?P ?IC)
(
measure
?E1
(
MeasureFn
?N1
Volt
)))
(
approximateValue
?N1 12))
Cars.kif 3155-3165
If
an object
is an
instance
of
ignition coil
and
a process
is an
instance
of
electric transmission
and
another object
is a
resource
for
the process
and
the other object
is an
instance
of
electricity
and
an entity
is an
instance
of
electricity
and
the entity
is a
result
of
the process
and
the object
is an
instrument
for
the process
and the
measure
of
the other object
is
a real number
volt
(s),
then the approximate value of
the real number
is 12
(=>
(
and
(
instance
?M
Measuring
)
(
result
?M ?Q)
(
instrument
?M ?C)
(
instance
?C
Clock
))
(
instance
?Q
TimeMeasure
))
Mid-level-ontology.kif 2837-2843
If
a process
is an
instance
of
measuring
and
an entity
is a
result
of
the process
and
an object
is an
instrument
for
the process
and
the object
is an
instance
of
clock
,
then
the entity
is an
instance
of
time measure
(=>
(
and
(
instance
?M
Measuring
)
(
result
?M ?Q)
(
instrument
?M ?T)
(
instance
?T
Thermometer
))
(
instance
?Q
TemperatureMeasure
))
Mid-level-ontology.kif 2873-2879
If
a process
is an
instance
of
measuring
and
an entity
is a
result
of
the process
and
an object
is an
instrument
for
the process
and
the object
is an
instance
of
thermometer
,
then
the entity
is an
instance
of
temperature measure
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
consequent
(<=>
(
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 6147-6157
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)
(
and
(
overlapsTemporally
?F
(
YearFn
?Y))
(
instance
?F
Founding
)
(
result
?F ?O))))
Mid-level-ontology.kif 926-932
An integer
is a
year
of founding of
an organization
if and only if there exists
a time interval
such that the
year
the integer
overlap
s
the time interval
and
the time interval
is an
instance
of
founding
and
the organization
is a
result
of
the time interval
(=>
(
actedIn
?ACTOR ?O)
(
exists
(?PERF)
(
and
(
instance
?PERF
DramaticActing
)
(
patient
?PERF ?ACTOR)
(
result
?PERF ?O))))
Mid-level-ontology.kif 20069-20075
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
(
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
?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 8329-8339
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 18730-18743
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)
(
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 10130-10145
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 exists
an 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
another 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 83-92
If
a process
is an
instance
of
death
and
an entity
is an
instance
of
OrganismRemains
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
?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 1618-1628
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
?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 2287-2300
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 16520-16528
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
(=>
(
and
(
instance
?PLAN
Plan
)
(
instance
?PROC
Process
)
(
represents
?PLAN ?PROC))
(
exists
(?PLANNING ?CBO)
(
and
(
instance
?PLANNING
Planning
)
(
instance
?CBO
ContentBearingPhysical
)
(
containsInformation
?CBO ?PLAN)
(
result
?PLANNING ?CBO)
(
earlier
(
BeginFn
(
WhenFn
?PLANNING))
(
BeginFn
(
WhenFn
?PROC)))
(
earlier
(
EndFn
(
WhenFn
?PLANNING))
(
EndFn
(
WhenFn
?PROC))))))
Military.kif 32-44
If
a proposition
is an
instance
of
plan
and
a physical
is an
instance
of
process
and
the proposition
express
es
the physical
,
then there exist
the proposition
NING and
a content bearing physical
such that
the proposition
NING is an
instance
of
planning
and
the content bearing physical
is an
instance
of
content bearing physical
and
the content bearing physical
contain
s information
the proposition
and
the content bearing physical
is a
result
of
the proposition
NING and the
beginning
of the
time
of existence of
the proposition
NING happens
earlier
than the
beginning
of the
time
of existence of
the physical
and the
end
of the
time
of existence of
the proposition
NING happens
earlier
than the
end
of the
time
of existence of
the physical
(=>
(
and
(
instance
?PSYOP
PsychologicalOperation
)
(
agent
?PSYOP ?AGENT)
(
patient
?PSYOP ?TARGET))
(
hasPurpose
?PSYOP
(
exists
(?PROCESS ?RESULT)
(
and
(
agent
?PROCESS ?TARGET)
(
result
?PROCESS ?RESULT)
(
desires
?AGENT ?RESULT)))))
MilitaryProcesses.kif 1184-1194
If
a process
is an
instance
of
psychological operation
and
an agent
is an
agent
of
the process
and
an entity
is a
patient
of
the process
,
then
the process
has the purpose there exist
another entity
and
a third entity
such that
the entity
is an
agent
of
the other entity
and
the third entity
is a
result
of
the other entity
and
the agent
desire
s
the third entity
(=>
(
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 26343-26369
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
2
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
(
measuringResult
?MLIST ?RLIST)
(
equal
?M
(
ListOrderFn
?MLIST ?N))
(
equal
?R
(
ListOrderFn
?RLIST ?N)))
(
result
?M ?R))
Weather.kif 1805-1810
If
a measuring result list
is the
result
of
a measuring list
and
a process
is
equal
to
an entity
element
of
the measuring list
and
another entity
is
equal
to
the entity
element
of
the measuring result list
,
then
the other entity
is a
result
of
the process
(=>
(
and
(
subclass
?PAPER
Newspaper
)
(
instance
?WEEK
Week
))
(
exists
(?PUBLICATION ?ISSUE)
(
and
(
instance
?PUBLICATION
Publication
)
(
temporalPart
(
WhenFn
?PUBLICATION) ?WEEK)
(
result
?PUBLICATION ?ISSUE)
(
instance
?ISSUE ?PAPER))))
Mid-level-ontology.kif 14253-14262
If
a class
is a
subclass
of
newspaper
and
a time position
is an
instance
of
week
,
then there exist
a process
and
an entity
such that
the process
is an
instance
of
publication
and the
time
of existence of
the process
is a
part
of
the time position
and
the entity
is a
result
of
the process
and
the entity
is an
instance
of
the class
(=>
(
and
(
subjectiveAttribute
?ENTITY ?ATTR ?AGENT)
(
instance
?ATTR
FoodRating
)
(
instance
?ENTITY
Agent
))
(
exists
(?FOOD ?COOK ?CLASSIFY)
(
and
(
instance
?COOK
Cooking
)
(
agent
?COOK ?ENTITY)
(
result
?COOK ?FOOD)
(
instance
?CLASSIFY
Classifying
)
(
agent
?CLASSIFY ?AGENT)
(
destination
?CLASSIFY ?FOOD)
(
patient
?CLASSIFY ?ATTR))))
Hotel.kif 3025-3038
If
an agent
believes
another agent
is
an attribute
and
the attribute
is an
instance
of
FoodRating
and
the other agent
is an
instance
of
agent
,
then there exist
an entity
,
a process
and
another process
such that
the process
is an
instance
of
cooking
and
the other agent
is an
agent
of
the process
and
the entity
is a
result
of
the process
and
the other process
is an
instance
of
classifying
and
the agent
is an
agent
of
the other process
and
the other process
end
s up at
the entity
and
the attribute
is a
patient
of
the other process
(=>
(
attribute
?FOOD
CookedAttribute
)
(
exists
(?PROC)
(
and
(
instance
?PROC
Cooking
)
(
result
?PROC ?FOOD))))
Mid-level-ontology.kif 20901-20906
If
cooked
is an
attribute
of
an object
,
then there exists
a process
such that
the process
is an
instance
of
cooking
and
the object
is a
result
of
the process
(=>
(
attribute
?FOOD
CookedAttribute
)
(
exists
(?PROC)
(
and
(
instance
?PROC
Heating
)
(
result
?PROC ?FOOD))))
Food.kif 22-27
If
cooked
is an
attribute
of
an object
,
then there exists
a process
such that
the process
is an
instance
of
heating
and
the object
is a
result
of
the process
(=>
(
attribute
?FOOD
RawAttribute
)
(
not
(
exists
(?PROC)
(
and
(
instance
?PROC
Cooking
)
(
result
?PROC ?FOOD)))))
Mid-level-ontology.kif 20917-20923
If
raw food
is an
attribute
of
an object
,
then there doesn't exist
a process
such that
the process
is an
instance
of
cooking
and
the object
is a
result
of
the process
(=>
(
attribute
?FOOD
RawAttribute
)
(
not
(
exists
(?PROC)
(
and
(
instance
?PROC
Heating
)
(
result
?PROC ?FOOD)))))
Food.kif 38-44
If
raw food
is an
attribute
of
an object
,
then there doesn't exist
a process
such that
the process
is an
instance
of
heating
and
the object
is a
result
of
the process
(=>
(
attribute
?H
Potter
)
(
exists
(?M ?P)
(
and
(
instance
?P
Pottery
)
(
instance
?M
Making
)
(
agent
?M ?H)
(
result
?M ?P))))
Mid-level-ontology.kif 20184-20191
If
potter
is an
attribute
of
an agent
,
then there exist
a process
and
an entity
such that
the entity
is an
instance
of
pottery
and
the process
is an
instance
of
making
and
the agent
is an
agent
of
the process
and
the entity
is a
result
of
the process
(=>
(
attribute
?ROOM
ThemeRoom
)
(
exists
(?DESIGN ?PROP)
(
and
(
instance
?DESIGN
Designing
)
(
result
?DESIGN ?PROP)
(
represents
?ROOM ?PROP))))
Hotel.kif 1066-1072
If
theme room
is an
attribute
of
an object
,
then there exist
a process
and
an entity
such that
the process
is an
instance
of
designing
and
the entity
is a
result
of
the process
and
the object
express
es
the entity
(=>
(
attribute
?X
AeronauticalEngineer
)
(
exists
(?SKILL)
(
and
(
hasSkill
?SKILL ?X)
(
forall
(?P)
(=>
(
instance
?P ?SKILL)
(
or
(
exists
(?CONS ?OBJ ?PT)
(
and
(
instance
?CONS
Making
)
(
or
(
instance
?OBJ
Aircraft
)
(
and
(
instance
?OBJ ?PT)
(
typicalPart
?PT
Aircraft
)))
(
result
?CONS ?OBJ)
(
subProcess
?P ?CONS)))
(
exists
(?DESIGN ?PLAN ?OBJ ?PT)
(
and
(
instance
?DESIGN
Designing
)
(
or
(
instance
?OBJ
Aircraft
)
(
and
(
instance
?OBJ ?PT)
(
typicalPart
?PT
Aircraft
)))
(
result
?DESIGN ?PLAN)
(
represents
?PLAN ?OBJ)
(
subProcess
?P ?DESIGN)))))))))
Biography.kif 203-232
If
aeronautical engineer
is an
attribute
of
an agent
,
then there exists
a kind of process
such that
the agent
has the
skill
to do
a kind of process
and for all
another process
if
the other process
is an
instance
of
the kind of process
,
then there exist
a third process
,
an entity
and
the other process
T such that
the third process
is an
instance
of
making
and
the entity
is an
instance
of
aircraft
or
the entity
is an
instance
of
the other process
T and a
the other process
T is
typically
a
part
of a
aircraft
and
the entity
is a
result
of
the third process
and
the other process
is a
subprocess
of
the third process
or there exist
a fourth process
,
the other process
LAN,, ,
the entity
and
the other process
T such that
the fourth process
is an
instance
of
designing
and
the entity
is an
instance
of
aircraft
or
the entity
is an
instance
of
the other process
T and a
the other process
T is
typically
a
part
of a
aircraft
and
the other process
LAN is a
result
of
the fourth process
and
the other process
LAN
express
es
the entity
and
the other process
is a
subprocess
of
the fourth process
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