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 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 est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7557-7557	length est une instance de relation simple
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7558-7558	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 17595-17595	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 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	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 10582-10597	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 10560-10575	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 11116-11126	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 17985-18010	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�el1 unit� de mesure(s) le longueur de objet est nombre r�el2 unit� de mesure(s) la distance entre objet et objet est nombre r�el3 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�el3 + nombre r�el3 + nombre r�el1 + nombre r�el1) + nombre r�el2 + nombre r�el2) + 2.0 + nombre r�el1 + nombre r�el2
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7564-7572	Le longueur de physique est nombre r�el unit� de mesure(s) nombre r�el2 linearExtent physique and nombre r�el2 unit� de mesure(s) nombre r�el2 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 23862-23877	Processus est une instance de Lengthening entit� est un patient de processus processus1 processus2 and entit� entit� est une instance de UnitOfLength le longueur de entit� est processus1 entit�(s) pendant le d�but de temps d'existence de processus le longueur de entit� est processus2 entit�(s) pendant la fin de temps d'existence de processus processus2 est plus grand que processus1
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17235-17250	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 31084-31089	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 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: