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
et
instrument
sont
disjoint
(
documentation
result
ChineseLanguage
"(result ?ACTION ?OUTPUT)的意思是 ?OUTPUT 是 ?ACTION 的产品。例如:在以下'埃里克建了一栋房子'这命题,房子是个
result
。")
chinese_format.kif 1895-1896
result
et
instrument
sont
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
et
instrument
sont
disjoint
(
documentation
result
JapaneseLanguage
"(result ?ACTION ?OUTPUT) とは、?OUTPUTO が ?ACTION のプロダクトであることを意味する。 例:家は次の命題の
result
である: エリックは家を建てた。")
japanese_format.kif 521-522
result
et
instrument
sont
disjoint
(
domain
result
1
Process
)
Merge.kif 2551-2551
Le nombre 1 argument de
result
est une
instance
de
processus
(
domain
result
2
Entity
)
Merge.kif 2552-2552
Le nombre 2 argument de
result
est une
instance
de
entit�
(
instance
result
CaseRole
)
Merge.kif 2549-2549
result
est une
instance
de
r�le d�pendant du cas
(
instance
result
PartialValuedRelation
)
Merge.kif 2550-2550
result
est une
instance
de
relation partielle
(
subrelation
result
patient
)
Merge.kif 2548-2548
result
est une
sous
-relation de
patient
appearance as argument number 2
(
disjointRelation
resource
result
)
Merge.kif 2513-2513
resource
et
result
sont
disjoint
(
format
ChineseLanguage
result
"%2 %n 是 %1 的
result
")
chinese_format.kif 183-183
resource
et
result
sont
disjoint
(
format
EnglishLanguage
result
"%2 is %n a
result
of %1")
english_format.kif 184-184
resource
et
result
sont
disjoint
(
format
FrenchLanguage
result
"%2 est %n le
result
at de %1")
french_format.kif 111-111
resource
et
result
sont
disjoint
(
format
ItalianLanguage
result
"%2 è %n un risultato di %1")
relations-it.txt 257-257
resource
et
result
sont
disjoint
(
format
JapaneseLanguage
result
"%2 は %1 の
result
では %n")
japanese_format.kif 1940-1940
resource
et
result
sont
disjoint
(
format
PortugueseLanguage
result
"%2 e' %n o
result
ado de %1")
portuguese_format.kif 63-63
resource
et
result
sont
disjoint
(
format
cz
result
"%2 %p{je} %n{nen�} v�sledkem %1")
relations-cz.txt 87-87
resource
et
result
sont
disjoint
(
format
de
result
"%2 ist ein
result
at von %1 %n{nicht}")
relations-de.txt 232-232
resource
et
result
sont
disjoint
(
format
hi
result
"%2 %1 kaa pariNaama %n hai")
relations-hindi.txt 294-294
resource
et
result
sont
disjoint
(
format
ro
result
"%2 %n{nu} este un
result
%t{rezultat} al lui %1")
relations-ro.kif 130-130
resource
et
result
sont
disjoint
(
format
sv
result
"%2 är %n{inte} ett
result
at av %1")
relations-sv.txt 116-116
resource
et
result
sont
disjoint
(
format
tg
result
"%2 %n ay ang hangga ng %1")
relations-tg.txt 449-449
resource
et
result
sont
disjoint
(
termFormat
ChineseLanguage
result
"结果")
chinese_format.kif 184-184
resource
et
result
sont
disjoint
(
termFormat
ChineseTraditionalLanguage
result
"結果")
domainEnglishFormat.kif 49830-49830
resource
et
result
sont
disjoint
(
termFormat
EnglishLanguage
result
"result")
domainEnglishFormat.kif 49829-49829
resource
et
result
sont
disjoint
(
termFormat
de
result
"resultat")
terms-de.txt 73-73
resource
et
result
sont
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 12522-12529
Processus
est une
instance
de
combiner
objet
est une
resource
pour
processus
entit�
est le
resultat
de
processus
objet
est une
partie
de
entit�
pendant
le
d
�but de
temps
d'existence de
processus
objet
est une
partie
de
entit�
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
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
actedIn
humain
and
ContentBearingPhysical
processus
est une
instance
de
DramaticActing
humain
est un
patient
de
processus
ContentBearingPhysical
est le
resultat
de
processus
Actor
est un
attribut
de
humain
pendant
temps
d'existence de
processus
(=>
(
and
(
agent
?PROCESS ?AGENT)
(
result
?PROCESS ?WORK)
(
instance
?WORK
ArtWork
))
(
holdsDuring
(
WhenFn
?PROCESS)
(
attribute
?AGENT
Artist
)))
Mid-level-ontology.kif 19127-19133
Processus
est un
agent
de
AutonomousAgent
entit�
est le
resultat
de
processus
entit�
est une
instance
de
objet d'art
Artist
est un
attribut
de
AutonomousAgent
pendant
temps
d'existence de
processus
(=>
(
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
Writer
est un
attribut
de
AutonomousAgent
entit�
est une
instance
de
objet exprimant un sens
objet exprimant un sens
est une
sous
-classe de
texte
objet exprimant un sens
est une
sous
-classe de
Document
processus
est une
instance
de
�crire
processus
est un
agent
de
AutonomousAgent
entit�
est le
resultat
de
processus
AutonomousAgent
est l'
auteur
de
objet exprimant un sens
(=>
(
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
directed
humain
and
motion picture
processus
est une
instance
de
FilmMaking
AutonomousAgent
est une
instance
de
organisation
leader
AutonomousAgent
and
humain
processus
est un
agent
de
AutonomousAgent
motion picture
est le
resultat
de
processus
FilmDirector
est un
attribut
de
humain
pendant
temps
d'existence de
processus
(=>
(
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 3028-3042
AutonomousAgent
emploie
agent cognitif
processus
est une
instance
de
DoNetworkMessaging
objet
est le
resultat
de
processus
NSFW
est un
attribut
de
objet
processus
est une
instance
de
voir
objet
est un
patient
de
processus
processus
est un
agent
de
agent cognitif
l'argument
entit�
processus
cause
entit�
suffers
entit�
and
agent cognitif
a la
force
modale
de
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 3010-3026
AutonomousAgent
emploie
agent cognitif
AutonomousAgent
emploie
agent cognitif
processus
est une
instance
de
DoNetworkMessaging
objet
est le
resultat
de
processus
NSFW
est un
attribut
de
objet
processus
est un
agent
de
agent cognitif
processus
est une
instance
de
voir
objet
est un
patient
de
processus
processus
est un
agent
de
agent cognitif
l'argument
agent cognitif
ROC
processus
cause
agent cognitif
ROC
suffers
agent cognitif
ROC and
agent cognitif
a la
force
modale
de
Likely
(=>
(
and
(
instance
?BUILD
Constructing
)
(
result
?BUILD ?ARTIFACT))
(
instance
?ARTIFACT
StationaryArtifact
))
Merge.kif 12884-12888
Processus
est une
instance
de
construire
entit�
est le
resultat
de
processus
entit�
est une
instance
de
artefact stationnaire
(=>
(
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
Processus
est une
instance
de
CateringService
processus
est un
agent
de
AutonomousAgent
processus
aboutit
�
processus
UST
AutonomousAgent
est
situ
� �
objet
customer
processus
UST and
AutonomousAgent
processus
entit�
and
processus
processus
est une
instance
de
cuisiner
processus
est un
agent
de
AutonomousAgent
entit�
est le
resultat
de
processus
entit�
est un
patient
de
processus
processus
est une
instance
de
manger
processus
est un
agent
de
processus
UST
eventLocated
processus
and
objet
objet
est
objet
(=>
(
and
(
instance
?COPY
Copying
)
(
resource
?COPY ?THING1)
(
result
?COPY ?THING2))
(
copy
?THING1 ?THING2))
Mid-level-ontology.kif 20705-20710
Processus
est une
instance
de
Copying
objet
est une
resource
pour
processus
objet
est le
resultat
de
processus
objet
est une
copie
exact de
objet
(=>
(
and
(
instance
?CREATE
Creation
)
(
result
?CREATE ?PROP)
(
instance
?PROP
Proposition
)
(
agent
?CREATE ?AGENT))
(
propositionOwner
?AGENT ?PROP))
Catalog.kif 172-178
Processus
est une
instance
de
cr�ation
proposition
est le
resultat
de
processus
proposition
est une
instance
de
proposition
processus
est un
agent
de
agent cognitif
propositionOwner
agent cognitif
and
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
Objet
est une
instance
de
Antidiuretic
d�palcement
est une
instance
de
ing�rer
d�palcement
est un
agent
de
AutonomousAgent
moves
d�palcement
and
objet
interval temporel
est une
instance
de
Urination
entit�
est le
resultat
de
interval temporel
interval temporel
est un
agent
de
AutonomousAgent
interval temporel
est une
instance
de
Urination
interval temporel
est
interval temporel
entit�
est le
resultat
de
interval temporel
interval temporel
est un
agent
de
AutonomousAgent
interval temporel
arrive
plus
t�t que
d�palcement
d�palcement
arrive
plus
t�t que
interval temporel
unit� de mesure
est une
instance
de
UnitOfVolume
la
mesure
de
interval temporel
est
nombre r�el
unit� de mesure
(s) la
mesure
de
interval temporel
est
nombre r�el
unit� de mesure
(s)
l'argument
nombre r�el
est
plus
grand
que
nombre r�el
a la
force
modale
de
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
Objet
est une
instance
de
Diuretic
d�palcement
est une
instance
de
ing�rer
d�palcement
est un
agent
de
AutonomousAgent
moves
d�palcement
and
objet
interval temporel
est une
instance
de
Urination
entit�
est le
resultat
de
interval temporel
interval temporel
est un
agent
de
AutonomousAgent
interval temporel
est une
instance
de
Urination
entit�
est le
resultat
de
interval temporel
interval temporel
est un
agent
de
AutonomousAgent
interval temporel
arrive
plus
t�t que
d�palcement
d�palcement
arrive
plus
t�t que
interval temporel
unit� de mesure
est une
instance
de
UnitOfVolume
la
mesure
de
interval temporel
est
nombre r�el
unit� de mesure
(s) la
mesure
de
interval temporel
est
nombre r�el
unit� de mesure
(s)
l'argument
nombre r�el
est
plus
grand
que
nombre r�el
a la
force
modale
de
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
Processus
est une
instance
de
mort
entit�
est une
instance
de
OrganismRemains
AutonomousAgent
est une
instance
de
organisme
entit�
est une
partie
de
entit�
pendant
interval temporel
entit�
est une
partie
de
AutonomousAgent
pendant
interval temporel
interval temporel
arrive
plus
t�t que
interval temporel
entit�
est le
resultat
de
processus
AutonomousAgent
exp
�rimente
processus
(=>
(
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 12102-12118
Processus
est une
instance
de
Deciding
processus
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
processus
entit�
est une
instance
de
ensemble
ContentBearingPhysical
est le
resultat
de
processus
ContentBearingPhysical
est une
instance
de
ContentBearingPhysical
containsFormula
ContentBearingPhysical
and
entit�
entit�
est un
entit�
entit�
est une
instance
de
processus intentionnel
entit�
est un
agent
de
AutonomousAgent
pendant
apr
�s
temps
d'existence de
processus
(=>
(
and
(
instance
?DEVELOP
DevelopingWeaponOfMassDestruction
)
(
result
?DEVELOP ?WEAPON))
(
instance
?WEAPON
WeaponOfMassDestruction
))
WMD.kif 690-694
Processus
est une
instance
de
DevelopingWeaponOfMassDestruction
entit�
est le
resultat
de
processus
entit�
est une
instance
de
WeaponOfMassDestruction
(=>
(
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 12603-12612
Objet
est une
instance
de
substance �l�mentaire
objet
est une
instance
de
substance �l�mentaire
objet
est
objet
processus
est une
instance
de
synth�se chimique
objet
est une
resource
pour
processus
objet
est une
resource
pour
processus
entit�
est le
resultat
de
processus
entit�
est une
instance
de
substance compos�e
(=>
(
and
(
instance
?EVENT
OperationPlanning
)
(
result
?EVENT ?CBO)
(
instance
?CBO
ContentBearingObject
)
(
containsInformation
?CBO ?INFO))
(
instance
?INFO
OperationPlan
))
MilitaryProcesses.kif 1527-1533
Processus
est une
instance
de
OperationPlanning
ContentBearingPhysical
est le
resultat
de
processus
ContentBearingPhysical
est une
instance
de
objet exprimant un sens
ContentBearingPhysical
contient
information
proposition
proposition
est une
instance
de
OperationPlan
(=>
(
and
(
instance
?EVENT
Planning
)
(
result
?EVENT ?CBO)
(
instance
?CBO
ContentBearingObject
))
(
exists
(?PLAN)
(
and
(
instance
?PLAN
Plan
)
(
containsInformation
?CBO ?PLAN))))
Merge.kif 10884-10892
Processus
est une
instance
de
planifier
ContentBearingPhysical
est le
resultat
de
processus
ContentBearingPhysical
est une
instance
de
objet exprimant un sens
proposition
proposition
est une
instance
de
plan
ContentBearingPhysical
contient
information
proposition
(=>
(
and
(
instance
?EXPERIMENT
Experimenting
)
(
result
?EXPERIMENT ?RESULT))
(
instance
?RESULT
Formula
))
UXExperimentalTerms.kif 3794-3798
Processus
est une
instance
de
Experimenting
entit�
est le
resultat
de
processus
entit�
est une
instance
de
formule
(=>
(
and
(
instance
?F
Felling
)
(
result
?F ?S))
(
exists
(?STEM)
(
and
(
instance
?S
(
DeadFn
?STEM))
(
subclass
?STEM
PlantStem
))))
Economy.kif 5600-5608
Processus
est une
instance
de
Felling
entit�
est le
resultat
de
processus
entit�
TEM
entit�
est une
instance
de
DeadFn
entit�
TEM
entit�
TEM est une
sous
-classe de
PlantStem
(=>
(
and
(
instance
?F
Fermentation
)
(
patient
?F ?X)
(
instance
?X
(
JuiceOfFn
WineGrape
))
(
result
?F ?W))
(
instance
?W
Wine
))
Food.kif 3692-3699
Processus
est une
instance
de
Fermentation
entit�
est un
patient
de
processus
entit�
est une
instance
de
JuiceOfFn
WineGrape
entit�
est le
resultat
de
processus
entit�
est une
instance
de
Wine
(=>
(
and
(
instance
?FACILITY
NuclearWeaponProductionFacility
)
(
instance
?DEVELOP
DevelopingWeaponOfMassDestruction
)
(
eventLocated
?DEVELOP ?FACILITY)
(
result
?DEVELOP ?WEAPON))
(
instance
?WEAPON
NuclearWeapon
))
WMD.kif 654-660
Objet
est une
instance
de
NuclearWeaponProductionFacility
processus
est une
instance
de
DevelopingWeaponOfMassDestruction
eventLocated
processus
and
objet
entit�
est le
resultat
de
processus
entit�
est une
instance
de
NuclearWeapon
(=>
(
and
(
instance
?G
Choreographing
)
(
result
?G ?P)
(
realization
?D ?P))
(
instance
?D
Dancing
))
Mid-level-ontology.kif 16297-16302
Processus
est une
instance
de
Choreographing
proposition
est le
resultat
de
processus
processus
exprime
le contenu de
proposition
processus
est une
instance
de
dancer
(=>
(
and
(
instance
?H
Harvesting
)
(
result
?H ?M)
(
instance
?M
Mushroom
))
(
attribute
?M
Produce
))
Food.kif 2687-2692
Processus
est une
instance
de
Harvesting
objet
est le
resultat
de
processus
objet
est une
instance
de
Mushroom
Produce
est un
attribut
de
objet
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
Processus
est une
instance
de
Photocopying
ContentBearingPhysical
est un
patient
de
processus
ContentBearingPhysical
est une
instance
de
VisualContentBearingObject
ContentBearingPhysical
contient
information
proposition
ContentBearingPhysical
proposition
ContentBearingPhysical
est le
resultat
de
processus
ContentBearingPhysical
est une
instance
de
VisualContentBearingObject
ContentBearingPhysical
contient
information
proposition
proposition
est
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
Entit�
est une
instance
de
ConjugatedSubstance
objet
objet
and
processus
objet
est une
instance
de
substance compos�e
objet
est une
instance
de
substance compos�e
objet
est
objet
processus
est une
instance
de
synth�se chimique
objet
est une
resource
pour
processus
objet
est une
resource
pour
processus
entit�
est le
resultat
de
processus
(<=>
(
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
yearOfFounding
organisation
and
nombre entier
processus
nombre entier
EAR
nombre entier
EAR
recouvre
temps
d'existence de
processus
nombre entier
EAR est une
instance
de l'
ann
�e
nombre entier
processus
est une
instance
de
Founding
organisation
est le
resultat
de
processus
(=>
(
actedIn
?ACTOR ?O)
(
exists
(?PERF)
(
and
(
instance
?PERF
DramaticActing
)
(
patient
?PERF ?ACTOR)
(
result
?PERF ?O))))
Mid-level-ontology.kif 21042-21048
actedIn
humain
and
ContentBearingPhysical
processus
processus
est une
instance
de
DramaticActing
humain
est un
patient
de
processus
ContentBearingPhysical
est le
resultat
de
processus
(=>
(
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 17409-17422
Attribut
est un
attribut
de
objet
attribut
est une
instance
de
attribut subjectif
position temporel
processus
and
AutonomousAgent
processus
est une
instance
de
Judging
processus
est un
agent
de
AutonomousAgent
objet
est un
patient
de
processus
attribut
est un
attribut
de
objet
est le
resultat
de
processus
AutonomousAgent
croit
objet
a un
attribute
attribut
pendant
position temporel
(=>
(
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
Produce
est un
attribut
de
objet
objet
est une
instance
de
fruit ou v�g�tal
objet
a pour
but
entit�
entit�
est une
instance
de
Harvesting
objet
est le
resultat
de
entit�
objet
est une
instance
de
FoodForFn
humain
(=>
(
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
Processus
aboutit
�
objet
processus
est une
instance
de
Messaging
entit�
est un
patient
de
processus
objet
est une
instance
de
Telex
processus
entit�
objet
est un
instrument
pour
processus
entit�
est le
resultat
de
processus
entit�
d
�finie
entit�
entit�
est une
instance
de
texte
le
d
�but de
temps
d'existence de
processus
se produit
avant
le
d
�but de
temps
d'existence de
processus
(=>
(
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
Processus
est une
instance
de
Crushing
entit�
est un
patient
de
processus
entit�
est une
instance
de
objet
processus
processus
est le
resultat
de
processus
processus
est une
instance
de
changement de forme
entit�
est un
patient
de
processus
(=>
(
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
Processus
est une
instance
de
Curdling
substance
est un
patient
de
processus
substance
est une
instance
de
Colloid
processus
substance
processus
est une
instance
de
separer
processus
est un
sous
-processus de
processus
substance
est un
patient
de
processus
substance
est le
resultat
de
processus
substance
est une
pi
�ce de
substance
substance
est une
instance
de
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
Entit�
est une
instance
de
ChemicalAcid
entit�
est une
instance
de
ChemicalBase
processus
est une
instance
de
processus chimique
entit�
est un
patient
de
processus
entit�
est un
patient
de
processus
processus
S
processus
S est une
instance
de
ChemicalSalt
processus
S est le
resultat
de
processus
(=>
(
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
Attribut
est une
instance
de
SecondaryColor
attribut
est un
attribut
de
objet
processus
objet
,
objet
,
attribut
and
attribut
objet
est le
resultat
de
processus
objet
est une
resource
pour
processus
objet
est une
resource
pour
processus
attribut
est un
attribut
de
objet
attribut
est un
attribut
de
objet
attribut
est une
instance
de
couleur primaire
attribut
est une
instance
de
couleur primaire
attribut
est
attribut
(=>
(
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 10268-10283
Processus
est une
instance
de
mort
AutonomousAgent
est une
instance
de
organisme
AutonomousAgent
exp
�rimente
processus
entit�
entit�
entit�
est le
resultat
de
processus
entit�
est une
instance
de
objet organique
Dead
est un
attribut
de
entit�
pendant
apr
�s
temps
d'existence de
processus
entit�
est une
partie
de
entit�
pendant
immediatement
apr
�s
temps
d'existence de
processus
entit�
est une
partie
de
AutonomousAgent
pendant
immediatement
avant
temps
d'existence de
processus
(=>
(
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
Processus
est une
instance
de
mort
entit�
est une
instance
de
OrganismRemains
AutonomousAgent
est une
instance
de
organisme
entit�
est une
partie
de
entit�
pendant
interval temporel
entit�
est une
partie
de
AutonomousAgent
pendant
interval temporel
interval temporel
arrive
plus
t�t que
interval temporel
AutonomousAgent
exp
�rimente
processus
entit�
est le
resultat
de
processus
(=>
(
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
Processus
est une
instance
de
DismantlingWeaponOfMassDestruction
entit�
est un
patient
de
processus
processus
processus
est une
instance
de
DevelopingWeaponOfMassDestruction
entit�
est le
resultat
de
processus
temps
d'existence de
processus
arrive
plus
t�t que
temps
d'existence de
processus
(=>
(
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
Processus
est une
instance
de
FoamingMilk
entit�
est une
instance
de
ProcessedMilk
entit�
est un
patient
de
processus
processus
processus
and
entit�
processus
est une
instance
de
r�chauffer
entit�
est un
patient
de
processus
processus
est une
instance
de
Aerating
entit�
est un
patient
de
processus
entit�
est le
resultat
de
processus
entit�
est une
instance
de
Bubble
temps
d'existence de
processus
prend place
pendant
temps
d'existence de
processus
(=>
(
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 3653-3666
Processus
est une
instance
de
Gaslighting
processus
est un
agent
de
AutonomousAgent
suffers
processus
and
AutonomousAgent
processus
processus
est une
instance
de
perception
AutonomousAgent
exp
�rimente
processus
causesProposition
suffers
processus
and
AutonomousAgent
and
AutonomousAgent
ne
conna
�t %n{pas}
entit�
est le
resultat
de
processus
(=>
(
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
Objet
est une
instance
de
Gene
objet
est
situ
� �
objet
objet
est une
instance
de
cellule
processus
objet
and
objet
processus
est une
instance
de
processus biologique
eventLocated
processus
and
objet
processus
a pour
origine
objet
objet
est le
resultat
de
processus
objet
est une
instance
de
Nucleotide
objet
est une
partie
de
objet
objet
est une
instance
de
RNAMolecule
objet
est
situ
� �
objet
(=>
(
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
Processus
est une
instance
de
Grinding
entit�
est un
patient
de
processus
entit�
est une
instance
de
objet corpusculaire
entit�
entit�
est le
resultat
de
processus
entit�
est une
instance
de
collection
entit�
entit�
est un
membre
de
entit�
entit�
est une
partie
de
entit�
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
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 6203-6212
Trou
est une
instance
de
Laceration
objet
est une
instance
de
Skin
objet
est
h
�te du trou
trou
objet
est une
partie
de
objet
processus
processus
est une
instance
de
percer
trou
est le
resultat
de
processus
(=>
(
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
AutonomousAgent
est une
instance
de
organisation
IndustryAttribute
est un
attribut
de
AutonomousAgent
industryProductType
IndustryAttribute
and
objet
processus
entit�
processus
est une
instance
de
faire
entit�
est une
instance
de
objet
processus
est un
agent
de
AutonomousAgent
entit�
est le
resultat
de
processus
(=>
(
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
Entit�
est une
instance
de
ForestProduct
processus
est une
instance
de
manufacture
entit�
est le
resultat
de
processus
entit�
est un
patient
de
processus
entit�
est une
instance
de
organisme
processus
objet
processus
est une
instance
de
Agriculture
entit�
est le
resultat
de
processus
eventLocated
processus
and
objet
objet
est une
instance
de
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
Processus
est une
instance
de
mettre
entit�
est un
patient
de
processus
entit�
est une
instance
de
Spice
processus
aboutit
�
objet
objet
est une
instance
de
PreparedFood
processus
attribut
processus
est une
instance
de
changement interne
objet
est un
patient
de
processus
attribut
est le
resultat
de
processus
attribut
est un
attribut
de
objet
attribut
est une
instance
de
FlavourAttribute
attribut
est une
instance
de
attribut de couleur
(=>
(
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
Processus
est une
instance
de
ThreeDPrinting
objet
est une
instance
de
artefact
objet
est le
resultat
de
processus
processus
objet
,
processus
and
objet
processus
est une
instance
de
faire
processus
est un
sous
-processus de
processus
objet
est une
instance
de
objet en une partie
objet
est une
partie
de
objet
objet
est le
resultat
de
processus
processus
est une
instance
de
faire
processus
est un
sous
-processus de
processus
objet
est une
instance
de
objet en une partie
objet
est une
partie
de
objet
objet
recouvre
objet
objet
est
Below
�
objet
temps
d'existence de
processus
prend place
pendant
temps
d'existence de
processus
temps
d'existence de
processus
prend place
pendant
temps
d'existence de
processus
temps
d'existence de
processus
arrive
plus
t�t que
temps
d'existence de
processus
(=>
(
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
Objet corpusculaire
est une
instance
de
ViewItemPage
processus
est une
instance
de
WebListing
processus
est un
composant
de
objet corpusculaire
entit�
est un
patient
de
processus
entit�
est une
instance
de
physique
processus
processus
and
processus
CONTENT
processus
est une
instance
de
d�clarer
processus
est un
patient
de
processus
processus
inclut une
r
�f�rence �
entit�
processus
CONTENT est le
resultat
de
processus
processus
CONTENT est une
partie
de
objet corpusculaire
(=>
(
and
(
instance
?PLAN
Plan
)
(
instance
?OBJ
ContentBearingObject
)
(
containsInformation
?OBJ ?PLAN))
(
exists
(?PLANNING)
(
and
(
instance
?PLANNING
Planning
)
(
result
?PLANNING ?OBJ))))
Merge.kif 16879-16887
Proposition
est une
instance
de
plan
ContentBearingPhysical
est une
instance
de
objet exprimant un sens
ContentBearingPhysical
contient
information
proposition
proposition
NING
proposition
NING est une
instance
de
planifier
ContentBearingPhysical
est le
resultat
de
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