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
Pliable
Sigma KEE - inList
inList
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 1973-1975
No TPTP formula. May not be expressible in strict first order.
Merge.kif 3109-3111
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 605-607
No TPTP formula. May not be expressible in strict first order.
Merge.kif 3106-3106
Le nombre 1 argument de
inList
est une
instance
de
entit�
No TPTP formula. May not be expressible in strict first order.
Merge.kif 3107-3107
Le nombre 2 argument de
inList
est une
instance
de
liste
No TPTP formula. May not be expressible in strict first order.
Merge.kif 3104-3104
inList
est une
instance
de
pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.
Merge.kif 3105-3105
inList
est une
instance
de
relation partielle
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 131-131
No TPTP formula. May not be expressible in strict first order.
english_format.kif 132-132
No TPTP formula. May not be expressible in strict first order.
french_format.kif 87-87
No TPTP formula. May not be expressible in strict first order.
relations-it.txt 147-147
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 1914-1914
No TPTP formula. May not be expressible in strict first order.
portuguese_format.kif 39-39
No TPTP formula. May not be expressible in strict first order.
relations-cz.txt 103-103
No TPTP formula. May not be expressible in strict first order.
relations-de.txt 157-157
No TPTP formula. May not be expressible in strict first order.
relations-hindi.txt 186-186
No TPTP formula. May not be expressible in strict first order.
relations-ro.kif 106-106
No TPTP formula. May not be expressible in strict first order.
relations-sv.txt 86-86
No TPTP formula. May not be expressible in strict first order.
relations-tg.txt 298-298
No TPTP formula. May not be expressible in strict first order.
Music.kif 332-332
albumTrack
est une
sous
-relation de
inList
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 30193-30193
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 132-132
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 30192-30192
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 30191-30191
No TPTP formula. May not be expressible in strict first order.
terms-de.txt 47-47
No TPTP formula. May not be expressible in strict first order.
relations-tg.txt 299-299
antecedent
No TPTP formula. May not be expressible in strict first order.
Merge.kif 3286-3290
Nombre r�el
est
AverageFn
liste
entit�
est un
membre
de
liste
entit�
est une
instance
de
nombre
No TPTP formula. May not be expressible in strict first order.
Weather.kif 2005-2017
Liste
est
Mean3SecondWindSpeedListFn
secteur g�ographique
and
interval temporel
function de quantit�
est un
membre
de
liste
interval temporel
LIST
interval temporel
interval temporel
LIST est
TimeIntervalListFn
interval temporel
and 3
SecondDuration
(s)
interval temporel
est un
membre
de
interval temporel
LIST
function de quantit�
est
Mean3SecondWindSpeedFn
secteur g�ographique
and
interval temporel
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1998-2003
Liste
est
Mean3SecondWindSpeedListFn
secteur g�ographique
and
interval temporel
entit�
est un
membre
de
liste
entit�
est une
instance
de
function de quantit�
No TPTP formula. May not be expressible in strict first order.
Merge.kif 503-507
exhaustiveAttribute
attribut
and @ROW
entit�
est un
membre
de (@ROW)
entit�
est une
instance
de
attribut
No TPTP formula. May not be expressible in strict first order.
Merge.kif 497-501
exhaustiveAttribute
attribut
and @ROW
entit�
est un
membre
de (@ROW)
entit�
est une
instance
de
attribut
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7582-7587
Entit�
est un
membre
de
liste
liste
est
AmountsFn
substance
,
objet corpusculaire
and
UnitOfMass
entit�
est une
instance
de
nombre rationnel
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1975-1980
Interval temporel
est un
membre
de
ConsecutiveTimeIntervalList
ConsecutiveTimeIntervalList
est
TimeIntervalListFn
interval temporel
and
dur�e temporel
la
dur
�� de
interval temporel
est
dur�e temporel
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1966-1973
Entit�
est un
membre
de
ConsecutiveTimeIntervalList
ConsecutiveTimeIntervalList
est
TimeIntervalListFn
interval temporel
and
dur�e temporel
le
d
�but de
interval temporel
est
d
�but de
FirstFn
ConsecutiveTimeIntervalList
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 2491-2498
Entit�
est un
membre
de
liste
liste
est une
instance
de
SRPResults
objet corpusculaire
objet corpusculaire
est une
instance
de
SearchResultsPage
liste
est un
composant
de
objet corpusculaire
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 2483-2489
Entit�
est un
membre
de
liste
liste
est une
instance
de
SRPResults
entit�
est une
instance
de
WebListing
entit�
est une
instance
de
WebPage
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1929-1933
Liste
est une
instance
de
ConsecutiveTimeIntervalList
entit�
est un
membre
de
liste
entit�
est une
instance
de
interval temporel
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1716-1720
Liste
est une
instance
de
MeasuringList
entit�
est un
membre
de
liste
entit�
est une
instance
de
mesurer
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1784-1788
Liste
est une
instance
de
MeasuringResultList
entit�
est un
membre
de
liste
entit�
est une
instance
de
quantit� physique
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1750-1754
Liste
est une
instance
de
MeasuringSurfaceWindSpeedList
entit�
est un
membre
de
liste
entit�
est une
instance
de
SurfaceWindSpeedMeasuring
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1819-1823
Liste
est une
instance
de
NumberList
entit�
est un
membre
de
liste
entit�
est une
instance
de
nombre
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2677-2682
Entit�
est une
instance
de
IntentionalRelation
entit�
agent cognitif
and @ROW
entit�
est un
membre
de (@ROW)
agent cognitif
est
interess
� par
entit�
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1769-1775
locationMeasuringList
MeasuringList
and
secteur g�ographique
processus
est un
membre
de
MeasuringList
processus
est une
instance
de
mesurer
eventLocated
processus
and
secteur g�ographique
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1860-1864
measuringListInterval
MeasuringList
and
dur�e temporel
physique
est un
membre
de
MeasuringList
la
dur
�� de
temps
d'existence de
physique
est
dur�e temporel
No TPTP formula. May not be expressible in strict first order.
Merge.kif 16921-16929
Objet
est
attribut positionnel
�
objet
@ROW est
l
'oppos� de
attribut positionnel
est un
membre
de (@ROW)
attribut positionnel
est un
membre
de (@ROW)
attribut positionnel
est
attribut positionnel
objet
est
attribut positionnel
�
objet
No TPTP formula. May not be expressible in strict first order.
QoSontology.kif 694-710
processList
@ROW
physique
est un
membre
de (@ROW)
physique
est un
membre
de (@ROW)
entit�
physique
entit�
physique
nombre entier positif
est
moins
que
nombre entier positif
temps
d'existence de
physique
arrive
plus
t�t que
temps
d'existence de
physique
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 771-781
viewedItemList
AutonomousAgent
and
liste
processus
est un
membre
de
liste
processus
est une
instance
de
AccessingWebPage
processus
est un
agent
de
AutonomousAgent
entit�
entit�
est une
instance
de
WebPage
processus
aboutit
�
WebPage
No TPTP formula. May not be expressible in strict first order.
Merge.kif 3113-3116
Entit�
est un
membre
de
liste
nombre entier positif
nombre entier positif
th
liste
est
entit�
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 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.
People.kif 272-293
average
liste
and
nombre r�el
liste
nombre entier positif
longueur
de
liste
est
longueur
de
liste
1th
liste
est
liste
nombre entier positif
nombre entier positif
est un
membre
de
liste
nombre r�el
nombre r�el
MINUSONE,
nombre entier positif
and
nombre entier positif
nombre r�el
est
plus
grand
que 1
nombre r�el
est plus
petit
ou �gal �
longueur
de
liste
nombre entier positif
th
liste
est
nombre r�el
nombre entier positif
est un
membre
de
liste
nombre r�el
est
nombre entier positif
th
liste
nombre entier positif
est un
membre
de
liste
nombre r�el
MINUSONE est
nombre r�el
+ 1)
nombre r�el
MINUSONE est
nombre entier positif
th
liste
nombre entier positif
est
nombre entier positif
+
nombre entier positif
)
nombre entier positif
est
longueur
de
liste
nombre r�el
est
nombre entier positif
th
liste
+
nombre entier positif
No TPTP formula. May not be expressible in strict first order.
Music.kif 280-287
albumArtist
Album
and
agent cognitif
objet exprimant un sens
processus
objet exprimant un sens
est une
instance
de
Recording
objet exprimant un sens
est un
membre
de
Album
record
objet exprimant un sens
and
processus
processus
est un
agent
de
agent cognitif
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7596-7611
amount
substance
,
objet corpusculaire
and
nombre r�el
UnitOfMass
(s)
substance
I est une
instance
de
substance
la
mesure
de
substance
I est
nombre r�el
2
UnitOfMass
(s)
substance
I est une
partie
de
objet corpusculaire
liste
nombre r�el
2
UnitOfMass
(s) est un
membre
de
liste
liste
est
AmountsFn
substance
,
objet corpusculaire
and
UnitOfMass
nombre r�el
est
ListSumFn
liste
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4861-4872
Le
plus
grand diviseur commun de @ROW est
nombre entier
nombre entier
est
nombre entier
nombre entier
est un
membre
de (@ROW)
nombre entier
reste
nombre entier
est &%�gal � 0
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4874-4888
Le
plus
grand diviseur commun de @ROW est
nombre entier
nombre entier
est
nombre entier
nombre entier
est
plus
grand
que
nombre entier
nombre entier
nombre entier
est un
membre
de (@ROW)
nombre entier
reste
nombre entier
est &%�gal � 0
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4946-4956
La racine carr�e de
nombre
entier
de @ROW est
nombre entier
nombre entier
est
nombre entier
nombre entier
est un
membre
de (@ROW)
nombre entier
reste
nombre entier
est &%�gal � 0
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4958-4972
La racine carr�e de
nombre
entier
de @ROW est
nombre entier
nombre entier
est
nombre entier
nombre entier
est
moins
que
nombre entier
nombre entier
nombre entier
est un
membre
de (@ROW)
nombre entier
reste
nombre entier
est &%�gal � 0
No TPTP formula. May not be expressible in strict first order.
Music.kif 936-946
DataStorageDevice
est
AlbumCopiesFn
Album
and
DataStorageDevice
S
DataStorageDevice
est une
instance
de
DataStorageDevice
objet
objet
est un
membre
de
Album
objet exprimant un sens
objet exprimant un sens
est une
copie
exact de
objet
stored
objet exprimant un sens
and
DataStorageDevice
No TPTP formula. May not be expressible in strict first order.
Weather.kif 2005-2017
Liste
est
Mean3SecondWindSpeedListFn
secteur g�ographique
and
interval temporel
function de quantit�
est un
membre
de
liste
interval temporel
LIST
interval temporel
interval temporel
LIST est
TimeIntervalListFn
interval temporel
and 3
SecondDuration
(s)
interval temporel
est un
membre
de
interval temporel
LIST
function de quantit�
est
Mean3SecondWindSpeedFn
secteur g�ographique
and
interval temporel
No TPTP formula. May not be expressible in strict first order.
Media.kif 801-812
Objet
est une
instance
de
DigitalDataStorageDevice
cha�ne sympbolique
est une
partie
de
objet
cha�ne sympbolique
est une
instance
de
DigitalData
CodeMap
liste
and
entit�
codeMapping
CodeMap
,
cha�ne sympbolique
and
entit�
liste
d
�finie
CodeMap
entit�
est un
membre
de
liste
entit�
est une
instance
de
nombre binaire
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1532-1547
WaterWave
est une
instance
de
WaterWave
waveHeight
WaterWave
and
mesure de longueur
liste
plan d'eau
,
unit� de mesure
and
nombre r�el
mesure de longueur
est un
membre
de
liste
plan d'eau
est une
instance
de
plan d'eau
eventLocated
WaterWave
and
plan d'eau
unit� de mesure
est une
instance
de
UnitOfLength
significantWaveHeight
plan d'eau
,
temps
d'existence de
WaterWave
and
nombre r�el
unit� de mesure
(s)
nombre r�el
est
StandardDeviationFn
liste
No TPTP formula. May not be expressible in strict first order.
Merge.kif 5369-5374
average
liste
and
nombre r�el
liste
ITEM
liste
ITEM est un
membre
de
liste
liste
ITEM est une
instance
de
nombre r�el
No TPTP formula. May not be expressible in strict first order.
Merge.kif 464-468
@ROW est
l
'oppos� de
entit�
est un
membre
de (@ROW)
entit�
est une
instance
de
attribut
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2950-2955
Classe
est
disjointement
decompos
� en @ROW
classe
classe
est un
membre
de (@ROW)
classe
est une
sous
-classe de
classe
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2957-2966
Classe
est
disjointement
decompos
� en @ROW
classe
classe
classe
est un
membre
de (@ROW)
classe
est un
membre
de (@ROW)
classe
est
classe
classe
est
disjoint
de
classe
No TPTP formula. May not be expressible in strict first order.
Merge.kif 574-578
@ROW est
disjointement
decompos
� en @ROW
entit�
est un
membre
de (@ROW)
entit�
est une
instance
de
classe
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4854-4859
Le
plus
grand diviseur commun de @ROW est
nombre entier
entit�
est un
membre
de (@ROW)
entit�
est une
instance
de
nombre
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4939-4944
La racine carr�e de
nombre
entier
de @ROW est
nombre entier
entit�
est un
membre
de (@ROW)
entit�
est une
instance
de
nombre
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1685-1692
Nombre r�el
est
MaxValueFn
liste
nombre r�el
nombre r�el
est un
membre
de
liste
nombre r�el
est
plus
grand
que
nombre r�el
No TPTP formula. May not be expressible in strict first order.
Merge.kif 509-517
exhaustiveAttribute
attribut
and @ROW
entit�
entit�
est une
instance
de
attribut
entit�
entit�
est un
membre
de (@ROW)
entit�
est
entit�
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2940-2948
Classe
est
couvert
par @ROW
entit�
entit�
est une
instance
de
classe
classe
classe
est un
membre
de (@ROW)
entit�
est une
instance
de
classe
No TPTP formula. May not be expressible in strict first order.
Merge.kif 558-562
@ROW est
couvert
par @ROW
entit�
est un
membre
de (@ROW)
entit�
est une
instance
de
classe
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