LengthMeasure - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2403-2404
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6244-6245
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1086-1087
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8571-8571
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6242-6242	Medida de Comprimento e' uma sub-classe de Quantidade Constante

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4858-4858	O contra-dominio de DatumFn e' uma instancia de Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4950-4950	O contra-dominio de DiameterFn e' uma instancia de Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4964-4964	O contra-dominio de RadiusFn e' uma instancia de Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1498-1498	AltitudeMeasure e' uma sub-classe de Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1303-1303
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1823-1823
No TPTP formula. May not be expressible in strict first order.	french_format.kif 981-981
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 516-516
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 520-520
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2665-2665
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 933-933
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 556-556
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 1002-1002
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 521-521

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Merge.kif 6657-6657	O argumento numero 1 de SpeedFn e' uma instancia de Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6668-6668	O argumento numero 1 de VelocityFn e' uma instancia de Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7704-7704	O argumento numero 3 de altitude e' uma instancia de Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17942-17942	O argumento numero 2 de approximateDiameter e' uma instancia de Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1307-1307	O argumento numero 3 de averageRainfallForPeriod e' uma instancia de Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 212-212	O argumento numero 2 de caliber e' uma instancia de Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31134-31134	O argumento numero 2 de circumfrence e' uma instancia de Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1536-1536	O argumento numero 2 de cylinderBore e' uma instancia de Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13361-13361	O argumento numero 2 de defaultMaximumHeight e' uma instancia de Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13427-13427	O argumento numero 2 de defaultMaximumLength e' uma instancia de Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13481-13481	O argumento numero 2 de defaultMaximumSphereRadius e' uma instancia de Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13394-13394	O argumento numero 2 de defaultMaximumWidth e' uma instancia de Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13345-13345	O argumento numero 2 de defaultMinimumHeight e' uma instancia de Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13411-13411	O argumento numero 2 de defaultMinimumLength e' uma instancia de Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13462-13462	O argumento numero 2 de defaultMinimumSphereRadius e' uma instancia de Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13378-13378	O argumento numero 2 de defaultMinimumWidth e' uma instancia de Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7664-7664	O argumento numero 2 de diameter e' uma instancia de Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7682-7682	O argumento numero 3 de distance e' uma instancia de Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1388-1388	O argumento numero 2 de effectiveRange e' uma instancia de Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1892-1892	O argumento numero 2 de elevation e' uma instancia de Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17976-17976	O argumento numero 3 de geometricDistance e' uma instancia de Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7551-7551	O argumento numero 2 de height e' uma instancia de Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5012-5012	O argumento numero 3 de highTide e' uma instancia de Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2677-2677	O argumento numero 2 de ladenDraft e' uma instancia de Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 175-175	O argumento numero 2 de lengthOfBroadGaugeRailway e' uma instancia de Medida de Comprimento

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.

Cars.kif 4081-4113

Objeto e' uma instancia de BimetalTemperatureSensor Objeto e' uma instancia de Metal Objeto e' uma instancia de Metal Objeto e' igual a Objeto Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto Entidade e' uma instancia de Medida de Temperatura Entidade e' uma instancia de Medida de Temperatura Numero Real e' uma instancia de Medida de Comprimento Numero Real e' uma instancia de Medida de Comprimento Numero Real e' uma instancia de Medida de Comprimento Numero Real e' uma instancia de Medida de Comprimento Entidade e' igual a Entidade Posicao Temporal e' igual a Posicao Temporal a medida de Objeto e' Entidade a medida de Objeto e' Numero Real a medida de Objeto e' Numero Real vale durante Posicao Temporal a medida de Objeto e' Entidade a medida de Objeto e' Numero Real a medida de Objeto e' Numero Real vale durante Posicao Temporal
Numero Real + Numero Real e' igual a Numero Real + Numero Real

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 6358-6362	Numero Real Unidade de Medida(s) e' igual a Quantidade Fisica Unidade de Medida e' uma instancia de UnitOfLength Quantidade Fisica e' uma instancia de Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Food.kif 1063-1073	Atributo e' uma instancia de CoffeeGrindAttribute Atributo e' um atributo de Objeto Objeto e' uma instancia de CoffeeGrind Numero Real Quantidade Fisica grainSize Objeto and Numero Real Quantidade Fisica e' uma instancia de Medida de Comprimento Quantidade Fisica e' igual a Numero Real Millimeter(s)
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1305-1310	Fisico e' uma instancia de Runway Medida de Comprimento Medida de Comprimento e' uma instancia de Medida de Comprimento o comprimento de Fisico e' Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Geography.kif 830-835	Fisico e' uma instancia de UniformPerimeterArea Medida de Comprimento Medida de Comprimento e' uma instancia de Medida de Comprimento a largura de Fisico e' Medida de Comprimento

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: