length - Sigma Knowledge base Browser

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 e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7556-7556	length e' uma instancia de Relacao com Valor Unico
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7557-7557	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 17568-17568	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 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	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 10555-10570	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 10533-10548	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 11082-11092	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 17906-17931	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 Real1 Unidade de Medida(s) o comprimento de Objeto e' Numero Real2 Unidade de Medida(s) a distancia entre Objeto e Objeto e' Numero Real3 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 Real3 + Numero Real3 + Numero Real1 + Numero Real1) + Numero Real2 + Numero Real2) + 2.0 + Numero Real1 + Numero Real2
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7563-7571	O comprimento de Fisico e' Numero Real Unidade de Medida(s) Numero Real2 linearExtent Fisico and Numero Real2 Unidade de Medida(s) Numero Real2 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 23805-23820	Processo e' uma instancia de Lengthening Entidade e' um patient de Processo Processo1 Processo2 and Entidade Entidade e' uma instancia de UnitOfLength o comprimento de Entidade e' Processo1 Entidade(s) vale durante o comeco de tempo de existencia de Processo o comprimento de Entidade e' Processo2 Entidade(s) vale durante o fim de tempo de existencia de Processo Processo2 e' maior que Processo1
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17208-17223	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 31060-31065	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 Meters(s)

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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

KB Term:			Term intersection

English Word: