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 7561-7562
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 7559-7559
length
e' uma
instancia
de
Predicado Binario
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7557-7557
length
e' uma
instancia
de
Relacao com Valor Unico
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7558-7558
length
e' uma
sub
-relacao 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 17595-17595
waterDepth
e' uma
sub
-relacao 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 65866-65866
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
Processo
e' uma
instancia
de
CPR
Movimento
e' uma
instancia
de
Compressing
Objeto
e' o
caminho
ao longo do qual
Movimento
ocorre
Movimento
e' um
sub
-processo de
Processo
o
comprimento
de
Objeto
e'
Numero Real
Centimeter
(s)
Numero Real
e'
maior
que 5.0
Numero Real
e'
menos
que 6.0
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1567-1574
Objeto
e' uma
instancia
de
AuditoryCanal
Objeto
e' uma &parte de
Objeto
Healthy
e' um
atributo
de
Objeto
o
comprimento
de
Objeto
e'
Numero Real
Centimeter
(s)
approximateValue
Numero Real
and 2.5
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1517-1524
Objeto
e' uma
instancia
de
EustachianTube
Objeto
e' uma &parte de
Objeto
Healthy
e' um
atributo
de
Objeto
o
comprimento
de
Objeto
e'
Numero Real
Centimeter
(s)
approximateValue
Numero Real
and 35.0
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 10582-10597
Processo
e' uma
instancia
de
MuscleRelaxing
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
Musculo
o
comprimento
de
Entidade
e'
Numero Real
Entidade
(s)
vale
durante imediatemente
antes
de
tempo
de existencia de
Processo
o
comprimento
de
Entidade
e'
Numero Real
Entidade
(s)
vale
durante imediatemente
apos
tempo
de existencia de
Processo
Numero Real
e'
maior
que
Numero Real
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 10560-10575
Processo
e' uma
instancia
de
MuscularContraction
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
Musculo
o
comprimento
de
Entidade
e'
Numero Real
Entidade
(s)
vale
durante imediatemente
antes
de
tempo
de existencia de
Processo
o
comprimento
de
Entidade
e'
Numero Real
Entidade
(s)
vale
durante imediatemente
apos
tempo
de existencia de
Processo
Numero Real
e'
maior
que
Numero Real
No TPTP formula. May not be expressible in strict first order.
Merge.kif 11116-11126
Objeto
e' o
caminho
ao longo do qual
Movimento
ocorre
Movimento
tem como
origem
Objeto
Movimento
termina
em
Objeto
o
comprimento
de
Objeto
e'
Numero Real
Unidade de Medida
(s) a
distancia
entre
Objeto
e
Objeto
e'
Numero Real
Unidade de Medida
(s)
Numero Real
e'
maior
que
Numero Real
Objeto
e' uma &parte de
Objeto
Objeto
esta'
entre
Objeto
e
Objeto
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17985-18010
relativeAngle
Objeto
,
Objeto
and
Numero Real
physicalEnd
Objeto
and
Objeto
physicalEnd
Objeto
and
Objeto
Objeto
e'
igual
a
Objeto
o
comprimento
de
Objeto
e'
Numero Real
1
Unidade de Medida
(s) o
comprimento
de
Objeto
e'
Numero Real
2
Unidade de Medida
(s) a
distancia
entre
Objeto
e
Objeto
e'
Numero Real
3
Unidade de Medida
(s)
physicalEnd
Objeto
and
Objeto
physicalEnd
Objeto
and
Objeto
Objeto
e'
igual
a
Objeto
Objeto
nao
encontra
%n
Objeto
Numero Real
e'
igual
a
ArcCosineFn
((
Numero Real
3 +
Numero Real
3 +
Numero Real
1 +
Numero Real
1) +
Numero Real
2 +
Numero Real
2) + 2.0 +
Numero Real
1 +
Numero Real
2
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7564-7572
O
comprimento
de
Fisico
e'
Numero Real
Unidade de Medida
(s)
Numero Real
2
linearExtent
Fisico
and
Numero Real
2
Unidade de Medida
(s)
Numero Real
2 e'
maior
que
Numero Real
consequent
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 182-189
lengthOfBroadGaugeRailway
Area Geografica
and
Medida de Comprimento
o
comprimento
de a
classe
descrita por
Sequencia Simbolica
e'
Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 712-719
lengthOfCrudeOilPipeline
Area Geografica
and
Medida de Comprimento
o
comprimento
de a
classe
descrita por
Sequencia Simbolica
e'
Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 210-217
lengthOfDualGaugeRailway
Area Geografica
and
Medida de Comprimento
o
comprimento
de a
classe
descrita por
Sequencia Simbolica
e'
Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 126-133
lengthOfElectrifiedRailway
Area Geografica
and
Medida de Comprimento
o
comprimento
de a
classe
descrita por
Sequencia Simbolica
e'
Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 568-575
lengthOfExpresswaySystem
Area Geografica
and
Medida de Comprimento
o
comprimento
de a
classe
descrita por
Sequencia Simbolica
e'
Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 154-161
lengthOfMultipleTrackRailway
Area Geografica
and
Medida de Comprimento
o
comprimento
de a
classe
descrita por
Sequencia Simbolica
e'
Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 237-244
lengthOfNarrowGaugeRailway
Area Geografica
and
Medida de Comprimento
o
comprimento
de a
classe
descrita por
Sequencia Simbolica
e'
Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 735-742
lengthOfNaturalGasPipeline
Area Geografica
and
Medida de Comprimento
o
comprimento
de a
classe
descrita por
Sequencia Simbolica
e'
Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 542-549
lengthOfPavedHighway
Area Geografica
and
Medida de Comprimento
o
comprimento
de a
classe
descrita por
Sequencia Simbolica
e'
Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 758-765
lengthOfPetroleumProductPipeline
Area Geografica
and
Medida de Comprimento
o
comprimento
de a
classe
descrita por
Sequencia Simbolica
e'
Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 265-272
lengthOfStandardGaugeRailway
Area Geografica
and
Medida de Comprimento
o
comprimento
de a
classe
descrita por
Sequencia Simbolica
e'
Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 294-306
lengthOfUnclassifiedGaugeRailway
Area Geografica
and
Medida de Comprimento
o
comprimento
de a
classe
descrita por
Sequencia Simbolica
e'
Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 601-608
lengthOfUnpavedHighway
Area Geografica
and
Medida de Comprimento
o
comprimento
de a
classe
descrita por
Sequencia Simbolica
e'
Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 484-491
totalLengthOfHighwaySystem
Area Geografica
and
Medida de Comprimento
o
comprimento
de a
classe
descrita por
Sequencia Simbolica
e'
Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 98-105
totalLengthOfRailwaySystem
Area Geografica
and
Medida de Comprimento
o
comprimento
de a
classe
descrita por
Sequencia Simbolica
e'
Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 656-663
totalLengthOfWaterways
Area Geografica
and
Medida de Comprimento
o
comprimento
de a
classe
descrita por
Sequencia Simbolica
e'
Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 685-692
totalPipelineInArea
Area Geografica
and
Medida de Comprimento
o
comprimento
de a
classe
descrita por
Sequencia Simbolica
e'
Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 1445-1457
Objeto
e' uma
instancia
de
Airport
LongRunwayAirport
e' um
atributo
de
Objeto
Objeto
Numero Real
Objeto
e' uma
instancia
de
Runway
Objeto
e' uma &parte de
Objeto
o
comprimento
de
Objeto
e'
Numero Real
Meter
(s)
Numero Real
e'
maior
ou igual a 2438
Numero Real
e'
menor
ou igual a 3047
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 1426-1438
Objeto
e' uma
instancia
de
Airport
MediumLengthRunwayAirport
e' um
atributo
de
Objeto
Objeto
Numero Real
Objeto
e' uma
instancia
de
Runway
Objeto
e' uma &parte de
Objeto
o
comprimento
de
Objeto
e'
Numero Real
Meter
(s)
Numero Real
e'
maior
ou igual a 1524
Numero Real
e'
menor
ou igual a 2437
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 1407-1419
Objeto
e' uma
instancia
de
Airport
ShortRunwayAirport
e' um
atributo
de
Objeto
Objeto
Numero Real
Objeto
e' uma
instancia
de
Runway
Objeto
e' uma &parte de
Objeto
o
comprimento
de
Objeto
e'
Numero Real
Meter
(s)
Numero Real
e'
maior
ou igual a 914
Numero Real
e'
menor
ou igual a 1523
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 1464-1474
Objeto
e' uma
instancia
de
Airport
VeryLongRunwayAirport
e' um
atributo
de
Objeto
Objeto
Numero Real
Objeto
e' uma
instancia
de
Runway
Objeto
e' uma &parte de
Objeto
o
comprimento
de
Objeto
e'
Numero Real
Meter
(s)
Numero Real
e'
maior
que 3047
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 1391-1400
Objeto
e' uma
instancia
de
Airport
VeryShortRunwayAirport
e' um
atributo
de
Objeto
Objeto
Numero Real
Objeto
e' uma
instancia
de
Runway
Objeto
e' uma &parte de
Objeto
o
comprimento
de
Objeto
e'
Numero Real
Meter
(s)
Numero Real
e'
menos
que 914
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23862-23877
Processo
e' uma
instancia
de
Lengthening
Entidade
e' um
patient
de
Processo
Processo
1
Processo
2 and
Entidade
Entidade
e' uma
instancia
de
UnitOfLength
o
comprimento
de
Entidade
e'
Processo
1
Entidade
(s)
vale
durante o
comeco
de
tempo
de existencia de
Processo
o
comprimento
de
Entidade
e'
Processo
2
Entidade
(s)
vale
durante o
fim
de
tempo
de existencia de
Processo
Processo
2 e'
maior
que
Processo
1
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 17235-17250
Processo
e' uma
instancia
de
Shortening
Entidade
e' um
patient
de
Processo
Numero Real
Numero Real
and
Entidade
Entidade
e' uma
instancia
de
UnitOfLength
o
comprimento
de
Entidade
e'
Numero Real
Entidade
(s)
vale
durante o
comeco
de
tempo
de existencia de
Processo
o
comprimento
de
Entidade
e'
Numero Real
Entidade
(s)
vale
durante o
fim
de
tempo
de existencia de
Processo
Numero Real
e'
maior
que
Numero Real
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 31084-31089
memberMeasure
Conjunto
,
MeasurementAttribute
and
Medida de Comprimento
Conjunto
e' uma
instancia
de
Conjunto
Fisico
e' um
elemento
de
Conjunto
o
comprimento
de
Fisico
e'
Medida de Comprimento
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
O
comprimento
de
ShorelineFn
SouthernOcean
and
Antarctica
e' 17968.0 1
mil
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
length