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
ZygomaticBone
Sigma KEE - experiencer
experiencer
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 1872-1874
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2462-2466
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 496-498
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2458-2458
Le nombre 1 argument de
experiencer
est une
instance
de
processus
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2459-2459
Le nombre 2 argument de
experiencer
est une
instance
de
AutonomousAgent
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2456-2456
experiencer
est une
instance
de
r�le d�pendant du cas
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2457-2457
experiencer
est une
instance
de
relation partielle
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2460-2460
experiencer
est une
sous
-relation de
involvedInEvent
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 103-103
No TPTP formula. May not be expressible in strict first order.
english_format.kif 103-103
No TPTP formula. May not be expressible in strict first order.
french_format.kif 74-74
No TPTP formula. May not be expressible in strict first order.
relations-it.txt 102-102
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 1900-1900
No TPTP formula. May not be expressible in strict first order.
portuguese_format.kif 26-26
No TPTP formula. May not be expressible in strict first order.
relations-cz.txt 82-82
No TPTP formula. May not be expressible in strict first order.
relations-de.txt 118-118
No TPTP formula. May not be expressible in strict first order.
relations-hindi.txt 142-142
No TPTP formula. May not be expressible in strict first order.
relations-ro.kif 93-93
No TPTP formula. May not be expressible in strict first order.
relations-sv.txt 73-73
No TPTP formula. May not be expressible in strict first order.
relations-tg.txt 215-215
No TPTP formula. May not be expressible in strict first order.
Merge.kif 13129-13129
attends
est une
sous
-relation de
experiencer
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23498-23498
losesControl
est une
sous
-relation de
experiencer
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 22942-22942
serviceRecipient
est une
sous
-relation de
experiencer
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 22804-22804
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 104-104
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 22803-22803
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 22802-22802
No TPTP formula. May not be expressible in strict first order.
terms-de.txt 34-34
No TPTP formula. May not be expressible in strict first order.
relations-tg.txt 216-216
antecedent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 6351-6358
AutonomousAgent
exp
�rimente
processus
AutonomousAgent
est une
instance
de
PainFn
partie du corps
partie du corps
ART
partie du corps
ART est une
partie
de
processus
partie du corps
ART est
situ
� �
partie du corps
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 841-862
freeFunctionRoomAmenity
HotelFunctionRoom
and
physique
entit�
est une
instance
de
HotelFunctionRoom
entit�
est un
appartenir
�
AutonomousAgent
processus
est une
instance
de
Renting
entit�
est un
patient
de
processus
processus
aboutit
�
agent cognitif
objet
est une
instance
de
physique
AutonomousAgent
poss
�de
objet
customer
agent cognitif
and
AutonomousAgent
objet
est une
instance
de
processus
objet
est un
agent
de
agent cognitif
agent cognitif
exp
�rimente
objet
AutonomousAgent
poss
�de
objet
objet
est une
instance
de
objet
agent cognitif
utilise
objet
price
objet
, 0
UnitedStatesDollar
(s) and
AutonomousAgent
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 546-561
freePropertyAmenity
AutonomousAgent
and
physique
processus
est une
instance
de
physique
customer
agent cognitif
and
AutonomousAgent
processus
est une
instance
de
processus
processus
est un
agent
de
agent cognitif
agent cognitif
exp
�rimente
processus
AutonomousAgent
poss
�de
processus
processus
est une
instance
de
objet
agent cognitif
utilise
processus
price
processus
, 0
UnitedStatesDollar
(s) and
AutonomousAgent
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 6470-6482
AVPUPainStatus
est un
attribut
de
AutonomousAgent
pendant
interval temporel
processus
est une
instance
de
Pain
temps
d'existence de
processus
prend place
pendant
interval temporel
AutonomousAgent
exp
�rimente
processus
processus
processus
est une
instance
de
mouvement du corps
AutonomousAgent
exp
�rimente
processus
temps
d'existence de
processus
prend place
pendant
interval temporel
processus
cause
processus
No TPTP formula. May not be expressible in strict first order.
Merge.kif 18282-18288
Embryonic
est un
attribut
de
AutonomousAgent
pendant
interval temporel
processus
est une
instance
de
naissance
interval temporel
est
temps
d'existence de
processus
AutonomousAgent
exp
�rimente
processus
interval temporel
ne
recouvre
%n{pas}
interval temporel
No TPTP formula. May not be expressible in strict first order.
Merge.kif 18260-18266
Larval
est un
attribut
de
AutonomousAgent
pendant
interval temporel
processus
est une
instance
de
naissance
interval temporel
est
temps
d'existence de
processus
AutonomousAgent
exp
�rimente
processus
interval temporel
rencontre
interval temporel
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 17220-17230
Processus
est une
instance
de
Accelerating
interval temporel
est
temps
d'existence de
processus
AutonomousAgent
exp
�rimente
processus
processus
processus
est une
instance
de
Decelerating
AutonomousAgent
exp
�rimente
processus
interval temporel
est
temps
d'existence de
processus
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 1545-1555
Processus
est une
instance
de
Anaphylaxis
AutonomousAgent
exp
�rimente
processus
l'argument
entit�
entit�
est une
instance
de
mort
AutonomousAgent
exp
�rimente
entit�
processus
cause
entit�
a la
force
modale
de
Possibility
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 6304-6313
Processus
est une
instance
de
Asphyxiation
AutonomousAgent
exp
�rimente
processus
entit�
entit�
est une
instance
de
respirer
processus
exp
�rimente
entit�
pendant
temps
d'existence de
processus
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2230-2239
Processus
est une
instance
de
RheumatoidArthritis
AutonomousAgent
exp
�rimente
processus
l'argument
entit�
entit�
est une
instance
de
JointPain
processus
cause
entit�
a la
force
modale
de
Likely
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2200-2216
Processus
est une
instance
de
AutoImmuneDisorder
agent cognitif
exp
�rimente
processus
objet
processus
and
objet
objet
est une
instance
de
Antibody
objet
est une
partie
de
agent cognitif
objet
est une
instance
de
cellule
objet
est une
partie
de
agent cognitif
processus
est une
instance
de
destruction
objet
est un
instrument
pour
processus
agent cognitif
ne
desire
%n{pas}
processus
est une
instance
de
destruction
objet
est un
instrument
pour
processus
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 16370-16380
Processus
est une
instance
de
BecomingDrunk
AutonomousAgent
exp
�rimente
processus
Sober
est un
attribut
de
AutonomousAgent
pendant
le
d
�but de
temps
d'existence de
processus
Drunk
est un
attribut
de
AutonomousAgent
pendant
la
fin
de
temps
d'existence de
processus
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 80-94
Processus
est une
instance
de
Bleeding
AutonomousAgent
exp
�rimente
processus
objet
processus
objet
est une
instance
de
Vein
objet
est une
instance
de
Artery
objet
est une
partie
de
AutonomousAgent
processus
est une
instance
de
endommager
temps
d'existence de
processus
arrive
plus
t�t que
temps
d'existence de
processus
objet
est un
patient
de
processus
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 44-59
Processus
est une
instance
de
Bleeding
entit�
est une
instance
de
mort
formule
est une
instance
de
humain
AutonomousAgent
est une
instance
de
humain
AutonomousAgent
exp
�rimente
processus
formule
est
Near
�
AutonomousAgent
l'argument
processus
cause
entit�
a la
force
modale
de
Likely
entit�
entit�
est une
instance
de
attacher
entit�
est un
agent
de
formule
entit�
aboutit
�
AutonomousAgent
est
oblig
� d'ex�cut� des t�ches du type
formule
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 21501-21516
Processus
est une
instance
de
Blushing
AutonomousAgent
exp
�rimente
processus
interval temporel
interval temporel
,
entit�
and
entit�
entit�
est une
instance
de
�tat �motionnel
entit�
est une
instance
de
�tat �motionnel
entit�
est
entit�
entit�
est un
attribut
de
AutonomousAgent
pendant
interval temporel
entit�
est un
attribut
de
AutonomousAgent
pendant
interval temporel
temps
d'existence de
processus
commence
interval temporel
temps
d'existence de
processus
finit
interval temporel
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 16390-16400
Processus
est une
instance
de
SoberingUp
AutonomousAgent
exp
�rimente
processus
Drunk
est un
attribut
de
AutonomousAgent
pendant
le
d
�but de
temps
d'existence de
processus
Sober
est un
attribut
de
AutonomousAgent
pendant
la
fin
de
temps
d'existence de
processus
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 3179-3194
Transf�re
est une
instance
de
BreakthroughInfection
objectTransferred
transf�re
and
objet
objet
est une
instance
de
objet
C
AutonomousAgent
exp
�rimente
transf�re
objet
AX
objet
AX est une
instance
de
Vaccination
AutonomousAgent
exp
�rimente
objet
AX
vaccine
objet
ACCINECLASS and
objet
C
objet
ACCINE est une
instance
de
objet
ACCINECLASS
objectTransferred
objet
AX and
objet
ACCINE
temps
d'existence de
objet
AX arrive
plus
t�t que
temps
d'existence de
transf�re
No TPTP formula. May not be expressible in strict first order.
Merge.kif 10233-10240
Processus
est une
instance
de
naissance
AutonomousAgent
exp
�rimente
processus
processus
processus
est une
instance
de
mort
AutonomousAgent
exp
�rimente
processus
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 21422-21430
Processus
est une
instance
de
Bleeding
AutonomousAgent
exp
�rimente
processus
entit�
entit�
est une
instance
de
sang
entit�
est une
partie
de
AutonomousAgent
pendant
le
d
�but de
temps
d'existence de
processus
entit�
est une
partie
de
AutonomousAgent
pendant
la
fin
de
temps
d'existence de
processus
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 21416-21420
Processus
est une
instance
de
Bleeding
AutonomousAgent
exp
�rimente
processus
AutonomousAgent
est une
instance
de
animal
No TPTP formula. May not be expressible in strict first order.
emotion.kif 1886-1892
Processus
est une
instance
de
Chills
AutonomousAgent
exp
�rimente
processus
FeelingCold
est un
attribut
de
AutonomousAgent
pendant
temps
d'existence de
processus
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 11798-11806
Processus
est une
instance
de
Choking
AutonomousAgent
exp
�rimente
processus
processus
O
processus
O est une
instance
de
Coughing
processus
O est un
sous
-processus de
processus
AutonomousAgent
exp
�rimente
processus
O
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 11781-11796
Processus
est une
instance
de
Choking
AutonomousAgent
exp
�rimente
processus
entit�
objet
and
objet
entit�
est une
instance
de
objet
objet
est une
instance
de
Trachea
objet
est une
instance
de
Lung
objet
est une
partie
de
AutonomousAgent
objet
est une
partie
de
AutonomousAgent
entit�
est
situ
� �
objet
entit�
est
situ
� �
objet
pendant
temps
d'existence de
processus
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 6037-6048
Processus
est une
instance
de
Coughing
AutonomousAgent
exp
�rimente
processus
processus
processus
processus
est une
instance
de
Inhaling
processus
est une
instance
de
Exhaling
processus
est un
sous
-processus de
processus
processus
est un
sous
-processus de
processus
AutonomousAgent
exp
�rimente
processus
AutonomousAgent
exp
�rimente
processus
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 6050-6069
Processus
est une
instance
de
Coughing
AutonomousAgent
exp
�rimente
processus
processus
a pour
but
entit�
entit�
,
entit�
and
entit�
entit�
est une
instance
de
Lung
entit�
est une
instance
de
Throat
entit�
est une
instance
de
objet
entit�
est une
instance
de
supprimer
entit�
est une
partie
de
AutonomousAgent
entit�
est une
partie
de
AutonomousAgent
objectTransferred
entit�
and
entit�
entit�
est
situ
� �
entit�
entit�
est
situ
� �
entit�
pendant
immediatement
avant
temps
d'existence de
processus
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
consequent
No TPTP formula. May not be expressible in strict first order.
People.kif 357-390
Ann�e
est une
instance
de l'
ann
�e
ann�e
EAR
MaleLifeExpectancyAtBirthFn
secteur g�opolitique
and
ann�e
est
nombre r�el
liste
nombre entier
,
cha�ne sympbolique
,
entit�
,
entit�
and
entit�
liste
est une
instance
de
liste
longueur
de
liste
est une
instance
de
nombre entier
liste
ITEM
liste
ITEM est un
membre
de
liste
liste
ITEM est une
instance
de
cha�ne sympbolique
entit�
entit�
est une
instance
de
cha�ne sympbolique
entit�
est un
membre
de
liste
nombre entier
est
instances
dans la
classe
d�crite par
cha�ne sympbolique
average
liste
and
nombre r�el
No TPTP formula. May not be expressible in strict first order.
People.kif 82-97
Ann�e
est une
instance
de l'
ann
�e
nombre entier
BirthsPerThousandFn
secteur g�opolitique
and
ann�e
est
nombre r�el
PopulationFn
secteur g�opolitique
+ 1000 est
nombre r�el
nombre entier
est
instances
dans la
classe
d�crite par
cha�ne sympbolique
nombre entier
+
nombre r�el
est
nombre r�el
No TPTP formula. May not be expressible in strict first order.
People.kif 118-133
Ann�e
est une
instance
de l'
ann
�e
nombre entier
DeathsPerThousandFn
secteur g�opolitique
and
ann�e
est
nombre r�el
PopulationFn
secteur g�opolitique
+ 1000 est
nombre r�el
nombre entier
est
instances
dans la
classe
d�crite par
cha�ne sympbolique
nombre entier
+
nombre r�el
est
nombre r�el
No TPTP formula. May not be expressible in strict first order.
People.kif 238-264
Ann�e
est une
instance
de l'
ann
�e
nombre entier
DeathsPerThousandLiveBirthsFn
secteur g�opolitique
and
ann�e
est
nombre r�el
nombre entier
est
instances
dans la
classe
d�crite par
cha�ne sympbolique
nombre entier
+ 1000 est
nombre r�el
nombre entier
est
instances
dans la
classe
d�crite par
cha�ne sympbolique
nombre entier
+
nombre r�el
est
nombre r�el
No TPTP formula. May not be expressible in strict first order.
People.kif 403-436
Ann�e
est une
instance
de l'
ann
�e
nombre entier
FemaleLifeExpectancyAtBirthFn
secteur g�opolitique
and
ann�e
est
nombre r�el
liste
nombre entier
,
cha�ne sympbolique
,
entit�
,
entit�
and
entit�
liste
est une
instance
de
liste
longueur
de
liste
est une
instance
de
nombre entier
liste
ITEM
liste
ITEM est un
membre
de
liste
liste
ITEM est une
instance
de
cha�ne sympbolique
entit�
entit�
est une
instance
de
cha�ne sympbolique
entit�
est un
membre
de
liste
nombre entier
est
instances
dans la
classe
d�crite par
cha�ne sympbolique
average
liste
and
nombre r�el
No TPTP formula. May not be expressible in strict first order.
People.kif 310-342
Ann�e
est une
instance
de l'
ann
�e
nombre entier
LifeExpectancyAtBirthFn
secteur g�opolitique
and
ann�e
est
nombre r�el
liste
nombre entier
,
cha�ne sympbolique
,
entit�
,
entit�
and
entit�
liste
est une
instance
de
liste
longueur
de
liste
est une
instance
de
nombre entier
liste
ITEM
liste
ITEM est un
membre
de
liste
liste
ITEM est une
instance
de
cha�ne sympbolique
entit�
entit�
est une
instance
de
cha�ne sympbolique
entit�
est un
membre
de
liste
nombre entier
est
instances
dans la
classe
d�crite par
cha�ne sympbolique
average
liste
and
nombre r�el
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 6225-6238
allergic
humain
and
substance
substance
UB est une
instance
de
substance
substance
UB
rencontre
humain
pendant
position temporel
l'argument
entit�
entit�
est une
instance
de
AllergicReaction
humain
exp
�rimente
entit�
temps
d'existence de
entit�
recouvre
position temporel
le
d
�but de
position temporel
se produit
avant
le
d
�but de
temps
d'existence de
entit�
a la
force
modale
de
Likely
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 504-520
customer
agent cognitif
and
AutonomousAgent
propertyAmenity
AutonomousAgent
and
physique
physique
est une
sous
-classe de
objet
entit�
est une
instance
de
physique
AutonomousAgent
autorise
agent cognitif
� ex�cut� des t�ches du type
entit�
entit�
est une
instance
de
processus
entit�
est une
resource
pour
entit�
entit�
est un
instrument
pour
entit�
entit�
est un
patient
de
entit�
entit�
est un
agent
de
agent cognitif
agent cognitif
exp
�rimente
entit�
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 811-832
functionRoomAmenity
HotelFunctionRoom
and
physique
entit�
est une
instance
de
HotelFunctionRoom
entit�
est un
appartenir
�
AutonomousAgent
processus
est une
instance
de
Renting
entit�
est un
patient
de
processus
processus
est un
agent
de
AutonomousAgent
processus
aboutit
�
entit�
physique
est une
sous
-classe de
objet
l'argument
entit�
entit�
entit�
est une
instance
de
physique
entit�
est une
instance
de
processus
entit�
est une
resource
pour
entit�
entit�
est un
instrument
pour
entit�
entit�
est un
patient
de
entit�
entit�
est un
agent
de
entit�
entit�
exp
�rimente
entit�
a la
force
modale
de
Possibility
No TPTP formula. May not be expressible in strict first order.
emotion.kif 161-172
�tat �motionnel
Est un
attribut
de
entit�
pendant
position temporel
actionTendency
�tat �motionnel
and
EmotionalBehavioralProcess
l'argument
entit�
entit�
est une
instance
de
EmotionalBehavioralProcess
temps
d'existence de
entit�
prend place
pendant
position temporel
entit�
exp
�rimente
entit�
a la
force
modale
de
Likely
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 6470-6482
AVPUPainStatus
est un
attribut
de
AutonomousAgent
pendant
interval temporel
processus
est une
instance
de
Pain
temps
d'existence de
processus
prend place
pendant
interval temporel
AutonomousAgent
exp
�rimente
processus
processus
processus
est une
instance
de
mouvement du corps
AutonomousAgent
exp
�rimente
processus
temps
d'existence de
processus
prend place
pendant
interval temporel
processus
cause
processus
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23946-23960
Menopausal
est un
attribut
de
AutonomousAgent
pendant
interval temporel
nombre r�el
est
YearDuration
(s) + le
d
�but de
interval temporel
)
interval temporel
est
intervale
entre
interval temporel
et le
d
�but de
interval temporel
processus
processus
est une
instance
de
Menstruation
AutonomousAgent
exp
�rimente
processus
No TPTP formula. May not be expressible in strict first order.
MilitaryPersons.kif 120-131
Evacuee
est un
attribut
de
AutonomousAgent
pendant
interval temporel
interval temporel
est une
instance
de
interval temporel
processus
AutonomousAgent
processus
est une
instance
de
Evacuation
processus
est un
agent
de
AutonomousAgent
AutonomousAgent
est une
instance
de
MilitaryOrganization
AutonomousAgent
exp
�rimente
processus
temps
d'existence de
processus
arrive
plus
t�t que
interval temporel
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 17220-17230
Processus
est une
instance
de
Accelerating
interval temporel
est
temps
d'existence de
processus
AutonomousAgent
exp
�rimente
processus
processus
processus
est une
instance
de
Decelerating
AutonomousAgent
exp
�rimente
processus
interval temporel
est
temps
d'existence de
processus
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 1545-1555
Processus
est une
instance
de
Anaphylaxis
AutonomousAgent
exp
�rimente
processus
l'argument
entit�
entit�
est une
instance
de
mort
AutonomousAgent
exp
�rimente
entit�
processus
cause
entit�
a la
force
modale
de
Possibility
No TPTP formula. May not be expressible in strict first order.
MilitaryDevices.kif 1619-1630
Objet
est une
instance
de
Armor
objet
est une
partie
de
objet
objet
rencontre
objet
objet
a pour
but
entit�
entit�
est une
instance
de
maintenir
objet
est un
instrument
pour
entit�
objet
exp
�rimente
entit�
No TPTP formula. May not be expressible in strict first order.
MilitaryDevices.kif 1632-1644
Objet
est une
instance
de
Armor
objet
est une
partie
de
objet
objet
rencontre
objet
objet
a pour
but
entit�
entit�
est une
instance
de
endommager
objet
est un
instrument
pour
entit�
objet
exp
�rimente
entit�
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 6304-6313
Processus
est une
instance
de
Asphyxiation
AutonomousAgent
exp
�rimente
processus
entit�
entit�
est une
instance
de
respirer
processus
exp
�rimente
entit�
pendant
temps
d'existence de
processus
No TPTP formula. May not be expressible in strict first order.
emotion.kif 1945-1958
Processus
est une
instance
de
AngryVoiceUtterance
processus
est un
agent
de
AutonomousAgent
l'argument
causesProposition
AutonomousAgent
NG
AutonomousAgent
NG est une
instance
de
colère
AutonomousAgent
exp
�rimente
AutonomousAgent
NG and
processus
est une
instance
de
AngryVoiceUtterance
processus
est un
agent
de
AutonomousAgent
a la
force
modale
de
Likely
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 16227-16239
Entit�
est une
instance
de
LegalAward
entit�
inclut une
r
�f�rence �
processus
processus
est une
instance
de
action l�gale
processus
est un
agent
de
agent cognitif
entit�
autorise
agent cognitif
� ex�cut� des t�ches du type
entit�
entit�
and
entit�
entit�
est une
instance
de
obtenir
agent cognitif
exp
�rimente
entit�
entit�
est un
patient
de
entit�
valeur
de
entit�
est
entit�
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 18706-18722
Transf�re
est une
instance
de
Bequeathing
transf�re
est un
agent
de
AutonomousAgent
transf�re
aboutit
�
entit�
objectTransferred
transf�re
and
AutonomousAgent
ROP
processus
processus
est une
instance
de
mort
AutonomousAgent
exp
�rimente
processus
temps
d'existence de
processus
arrive
plus
t�t que
temps
d'existence de
transf�re
AutonomousAgent
poss
�de
AutonomousAgent
ROP
pendant
immediatement
avant
temps
d'existence de
processus
confersNorm
AutonomousAgent
,
entit�
poss
�de
AutonomousAgent
ROP and
Permission
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 3179-3194
Transf�re
est une
instance
de
BreakthroughInfection
objectTransferred
transf�re
and
objet
objet
est une
instance
de
objet
C
AutonomousAgent
exp
�rimente
transf�re
objet
AX
objet
AX est une
instance
de
Vaccination
AutonomousAgent
exp
�rimente
objet
AX
vaccine
objet
ACCINECLASS and
objet
C
objet
ACCINE est une
instance
de
objet
ACCINECLASS
objectTransferred
objet
AX and
objet
ACCINE
temps
d'existence de
objet
AX arrive
plus
t�t que
temps
d'existence de
transf�re
No TPTP formula. May not be expressible in strict first order.
Merge.kif 10233-10240
Processus
est une
instance
de
naissance
AutonomousAgent
exp
�rimente
processus
processus
processus
est une
instance
de
mort
AutonomousAgent
exp
�rimente
processus
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 11798-11806
Processus
est une
instance
de
Choking
AutonomousAgent
exp
�rimente
processus
processus
O
processus
O est une
instance
de
Coughing
processus
O est un
sous
-processus de
processus
AutonomousAgent
exp
�rimente
processus
O
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 6037-6048
Processus
est une
instance
de
Coughing
AutonomousAgent
exp
�rimente
processus
processus
processus
processus
est une
instance
de
Inhaling
processus
est une
instance
de
Exhaling
processus
est un
sous
-processus de
processus
processus
est un
sous
-processus de
processus
AutonomousAgent
exp
�rimente
processus
AutonomousAgent
exp
�rimente
processus
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
statement
No TPTP formula. May not be expressible in strict first order.
People.kif 456-469
Ann�e
est une
instance
de l'
ann
�e
nombre entier
ChildrenBornPerWomanFn
secteur g�opolitique
and
ann�e
est
instances
dans la
classe
d�crite par
cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.
WMD.kif 921-929
biochemicalAgentSyndrome
?AGENT and ?SYMPTOM
biochemicalAgentAntidote
?AGENT, ?SUBSTANCE and ?PROCESS ?SAMPLE est une
instance
de ?SUBSTANCE ?THERAPY est une
instance
de ?PROCESS ?ORGANISM
exp
�rimente ?THERAPY ?SAMPLE est un
patient
de ?THERAPY
diminue
la probabilit� de ?SYMPTOM est un
attribut
de ?ORGANISM
No TPTP formula. May not be expressible in strict first order.
WMD.kif 767-773
biochemicalAgentSyndrome
?AGENT and ?SYMPTOM
biochemicalAgentDelivery
?AGENT and ?PROCESSTYPE ?PROCESS est une
instance
de ?PROCESSTYPE ?ORGANISM
exp
�rimente ?PROCESS
augmente
la probabilit� de ?SYMPTOM est un
attribut
de ?ORGANISM
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