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
length
Sigma KEE - length
length
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 2643-2644
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7560-7561
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 1360-1361
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7558-7558
length
est une
instance
de
pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7556-7556
length
est une
instance
de
relation simple
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7557-7557
length
est une
sous
-relation de
linearExtent
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 613-613
No TPTP formula. May not be expressible in strict first order.
english_format.kif 616-616
No TPTP formula. May not be expressible in strict first order.
french_format.kif 371-371
No TPTP formula. May not be expressible in strict first order.
relations-it.txt 162-162
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 2105-2105
No TPTP formula. May not be expressible in strict first order.
portuguese_format.kif 323-323
No TPTP formula. May not be expressible in strict first order.
relations-cz.txt 380-380
No TPTP formula. May not be expressible in strict first order.
relations-de.txt 803-803
No TPTP formula. May not be expressible in strict first order.
relations-hindi.txt 201-201
No TPTP formula. May not be expressible in strict first order.
relations-ro.kif 393-393
No TPTP formula. May not be expressible in strict first order.
relations-sv.txt 412-412
No TPTP formula. May not be expressible in strict first order.
relations-tg.txt 323-323
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 17568-17568
waterDepth
est une
sous
-relation de
length
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 614-614
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 65864-65864
No TPTP formula. May not be expressible in strict first order.
relations-tg.txt 324-324
antecedent
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 620-630
Processus
est une
instance
de
CPR
d�palcement
est une
instance
de
Compressing
objet
est le
chemin
le long duquel
d�palcement
se produit
d�palcement
est un
sous
-processus de
processus
le
longueur
de
objet
est
nombre r�el
Centimeter
(s)
nombre r�el
est
plus
grand
que 5.0
nombre r�el
est
moins
que 6.0
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1567-1574
Objet
est une
instance
de
AuditoryCanal
objet
est une
partie
de
objet
Healthy
est un
attribut
de
objet
le
longueur
de
objet
est
nombre r�el
Centimeter
(s)
approximateValue
nombre r�el
and 2.5
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1517-1524
Objet
est une
instance
de
EustachianTube
objet
est une
partie
de
objet
Healthy
est un
attribut
de
objet
le
longueur
de
objet
est
nombre r�el
Centimeter
(s)
approximateValue
nombre r�el
and 35.0
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 10555-10570
Processus
est une
instance
de
MuscleRelaxing
entit�
est un
patient
de
processus
entit�
est une
instance
de
muscle
le
longueur
de
entit�
est
nombre r�el
entit�
(s)
pendant
immediatement
avant
temps
d'existence de
processus
le
longueur
de
entit�
est
nombre r�el
entit�
(s)
pendant
immediatement
apr
�s
temps
d'existence de
processus
nombre r�el
est
plus
grand
que
nombre r�el
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 10533-10548
Processus
est une
instance
de
MuscularContraction
entit�
est un
patient
de
processus
entit�
est une
instance
de
muscle
le
longueur
de
entit�
est
nombre r�el
entit�
(s)
pendant
immediatement
avant
temps
d'existence de
processus
le
longueur
de
entit�
est
nombre r�el
entit�
(s)
pendant
immediatement
apr
�s
temps
d'existence de
processus
nombre r�el
est
plus
grand
que
nombre r�el
No TPTP formula. May not be expressible in strict first order.
Merge.kif 11082-11092
Objet
est le
chemin
le long duquel
d�palcement
se produit
d�palcement
a pour
origine
objet
d�palcement
aboutit
�
objet
le
longueur
de
objet
est
nombre r�el
unit� de mesure
(s) la
distance
entre
objet
et
objet
est
nombre r�el
unit� de mesure
(s)
nombre r�el
est
plus
grand
que
nombre r�el
objet
est une
partie
de
objet
objet
est
entre
objet
et
objet
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17906-17931
relativeAngle
objet
,
objet
and
nombre r�el
physicalEnd
objet
and
objet
physicalEnd
objet
and
objet
objet
est
objet
le
longueur
de
objet
est
nombre r�el
1
unit� de mesure
(s) le
longueur
de
objet
est
nombre r�el
2
unit� de mesure
(s) la
distance
entre
objet
et
objet
est
nombre r�el
3
unit� de mesure
(s)
physicalEnd
objet
and
objet
physicalEnd
objet
and
objet
objet
est
objet
objet
ne
rencontre
%n{pas}
objet
nombre r�el
est
ArcCosineFn
((
nombre r�el
3 +
nombre r�el
3 +
nombre r�el
1 +
nombre r�el
1) +
nombre r�el
2 +
nombre r�el
2) + 2.0 +
nombre r�el
1 +
nombre r�el
2
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7563-7571
Le
longueur
de
physique
est
nombre r�el
unit� de mesure
(s)
nombre r�el
2
linearExtent
physique
and
nombre r�el
2
unit� de mesure
(s)
nombre r�el
2 est
plus
grand
que
nombre r�el
consequent
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 182-189
lengthOfBroadGaugeRailway
secteur g�ographique
and
mesure de longueur
le
longueur
de la
classe
d�crite par
cha�ne sympbolique
est
mesure de longueur
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 712-719
lengthOfCrudeOilPipeline
secteur g�ographique
and
mesure de longueur
le
longueur
de la
classe
d�crite par
cha�ne sympbolique
est
mesure de longueur
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 210-217
lengthOfDualGaugeRailway
secteur g�ographique
and
mesure de longueur
le
longueur
de la
classe
d�crite par
cha�ne sympbolique
est
mesure de longueur
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 126-133
lengthOfElectrifiedRailway
secteur g�ographique
and
mesure de longueur
le
longueur
de la
classe
d�crite par
cha�ne sympbolique
est
mesure de longueur
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 568-575
lengthOfExpresswaySystem
secteur g�ographique
and
mesure de longueur
le
longueur
de la
classe
d�crite par
cha�ne sympbolique
est
mesure de longueur
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 154-161
lengthOfMultipleTrackRailway
secteur g�ographique
and
mesure de longueur
le
longueur
de la
classe
d�crite par
cha�ne sympbolique
est
mesure de longueur
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 237-244
lengthOfNarrowGaugeRailway
secteur g�ographique
and
mesure de longueur
le
longueur
de la
classe
d�crite par
cha�ne sympbolique
est
mesure de longueur
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 735-742
lengthOfNaturalGasPipeline
secteur g�ographique
and
mesure de longueur
le
longueur
de la
classe
d�crite par
cha�ne sympbolique
est
mesure de longueur
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 542-549
lengthOfPavedHighway
secteur g�ographique
and
mesure de longueur
le
longueur
de la
classe
d�crite par
cha�ne sympbolique
est
mesure de longueur
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 758-765
lengthOfPetroleumProductPipeline
secteur g�ographique
and
mesure de longueur
le
longueur
de la
classe
d�crite par
cha�ne sympbolique
est
mesure de longueur
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 265-272
lengthOfStandardGaugeRailway
secteur g�ographique
and
mesure de longueur
le
longueur
de la
classe
d�crite par
cha�ne sympbolique
est
mesure de longueur
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 294-306
lengthOfUnclassifiedGaugeRailway
secteur g�ographique
and
mesure de longueur
le
longueur
de la
classe
d�crite par
cha�ne sympbolique
est
mesure de longueur
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 601-608
lengthOfUnpavedHighway
secteur g�ographique
and
mesure de longueur
le
longueur
de la
classe
d�crite par
cha�ne sympbolique
est
mesure de longueur
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 484-491
totalLengthOfHighwaySystem
secteur g�ographique
and
mesure de longueur
le
longueur
de la
classe
d�crite par
cha�ne sympbolique
est
mesure de longueur
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 98-105
totalLengthOfRailwaySystem
secteur g�ographique
and
mesure de longueur
le
longueur
de la
classe
d�crite par
cha�ne sympbolique
est
mesure de longueur
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 656-663
totalLengthOfWaterways
secteur g�ographique
and
mesure de longueur
le
longueur
de la
classe
d�crite par
cha�ne sympbolique
est
mesure de longueur
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 685-692
totalPipelineInArea
secteur g�ographique
and
mesure de longueur
le
longueur
de la
classe
d�crite par
cha�ne sympbolique
est
mesure de longueur
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 1445-1457
Objet
est une
instance
de
Airport
LongRunwayAirport
est un
attribut
de
objet
objet
nombre r�el
objet
est une
instance
de
Runway
objet
est une
partie
de
objet
le
longueur
de
objet
est
nombre r�el
Meter
(s)
nombre r�el
est
plus
grand
ou �gal � 2438
nombre r�el
est plus
petit
ou �gal � 3047
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 1426-1438
Objet
est une
instance
de
Airport
MediumLengthRunwayAirport
est un
attribut
de
objet
objet
nombre r�el
objet
est une
instance
de
Runway
objet
est une
partie
de
objet
le
longueur
de
objet
est
nombre r�el
Meter
(s)
nombre r�el
est
plus
grand
ou �gal � 1524
nombre r�el
est plus
petit
ou �gal � 2437
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 1407-1419
Objet
est une
instance
de
Airport
ShortRunwayAirport
est un
attribut
de
objet
objet
nombre r�el
objet
est une
instance
de
Runway
objet
est une
partie
de
objet
le
longueur
de
objet
est
nombre r�el
Meter
(s)
nombre r�el
est
plus
grand
ou �gal � 914
nombre r�el
est plus
petit
ou �gal � 1523
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 1464-1474
Objet
est une
instance
de
Airport
VeryLongRunwayAirport
est un
attribut
de
objet
objet
nombre r�el
objet
est une
instance
de
Runway
objet
est une
partie
de
objet
le
longueur
de
objet
est
nombre r�el
Meter
(s)
nombre r�el
est
plus
grand
que 3047
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 1391-1400
Objet
est une
instance
de
Airport
VeryShortRunwayAirport
est un
attribut
de
objet
objet
nombre r�el
objet
est une
instance
de
Runway
objet
est une
partie
de
objet
le
longueur
de
objet
est
nombre r�el
Meter
(s)
nombre r�el
est
moins
que 914
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23805-23820
Processus
est une
instance
de
Lengthening
entit�
est un
patient
de
processus
processus
1
processus
2 and
entit�
entit�
est une
instance
de
UnitOfLength
le
longueur
de
entit�
est
processus
1
entit�
(s)
pendant
le
d
�but de
temps
d'existence de
processus
le
longueur
de
entit�
est
processus
2
entit�
(s)
pendant
la
fin
de
temps
d'existence de
processus
processus
2 est
plus
grand
que
processus
1
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 17208-17223
Processus
est une
instance
de
Shortening
entit�
est un
patient
de
processus
nombre r�el
nombre r�el
and
entit�
entit�
est une
instance
de
UnitOfLength
le
longueur
de
entit�
est
nombre r�el
entit�
(s)
pendant
le
d
�but de
temps
d'existence de
processus
le
longueur
de
entit�
est
nombre r�el
entit�
(s)
pendant
la
fin
de
temps
d'existence de
processus
nombre r�el
est
plus
grand
que
nombre r�el
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 31060-31065
memberMeasure
ensemble
,
MeasurementAttribute
and
mesure de longueur
ensemble
est une
instance
de
ensemble
physique
est un
ensemble
le
longueur
de
physique
est
mesure de longueur
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
Geography.kif 4671-4674
Le
longueur
de
ShorelineFn
SouthernOcean
and
Antarctica
est 17968.0 1
millier
Meter
s(s)
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