TreeView 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 6245-6246
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 6243-6243	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 4934-4934	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 4953-4953	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 6658-6658	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 6669-6669	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 7740-7740	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 17969-17969	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 31163-31163	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 1539-1539	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 13388-13388	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 13454-13454	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 13508-13508	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 13421-13421	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 13372-13372	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 13438-13438	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 13489-13489	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 13405-13405	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 7696-7696	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 7718-7718	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 1381-1381	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 18055-18055	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 7552-7552	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 2710-2710	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 4066-4098

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 6359-6363	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 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

KB Term:			Term intersection

English Word: