No TPTP formula. May not be expressible in strict first order.	Transportation.kif 706-706	O argumento numero 2 de lengthOfCrudeOilPipeline e' uma instancia de Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 203-203	O argumento numero 2 de lengthOfDualGaugeRailway e' uma instancia de Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 119-119	O argumento numero 2 de lengthOfElectrifiedRailway e' uma instancia de Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 563-563	O argumento numero 2 de lengthOfExpresswaySystem e' uma instancia de Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 147-147	O argumento numero 2 de lengthOfMultipleTrackRailway e' uma instancia de Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 231-231	O argumento numero 2 de lengthOfNarrowGaugeRailway e' uma instancia de Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 729-729	O argumento numero 2 de lengthOfNaturalGasPipeline e' uma instancia de Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 537-537	O argumento numero 2 de lengthOfPavedHighway e' uma instancia de Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 752-752	O argumento numero 2 de lengthOfPetroleumProductPipeline e' uma instancia de Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 258-258	O argumento numero 2 de lengthOfStandardGaugeRailway e' uma instancia de Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 286-286	O argumento numero 2 de lengthOfUnclassifiedGaugeRailway e' uma instancia de Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 596-596	O argumento numero 2 de lengthOfUnpavedHighway e' uma instancia de Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17989-17989	O argumento numero 2 de lineMeasure e' uma instancia de Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7532-7532	O argumento numero 2 de linearExtent e' uma instancia de Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5021-5021	O argumento numero 3 de lowTide e' uma instancia de Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 110-110	O argumento numero 2 de maximumPayloadHeightWidth e' uma instancia de Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 111-111	O argumento numero 3 de maximumPayloadHeightWidth e' uma instancia de Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4852-4852	O argumento numero 2 de meanSeaLevel e' uma instancia de Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2647-2647	O argumento numero 2 de navigableForDraft e' uma instancia de Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Cars.kif 732-732	O argumento numero 2 de physicalAmplitude e' uma instancia de Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1943-1943	O argumento numero 2 de pistonStroke e' uma instancia de Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7660-7660	O argumento numero 2 de radius e' uma instancia de Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Geography.kif 757-757	O argumento numero 3 de sharedBorderLength e' uma instancia de Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1522-1522	O argumento numero 3 de significantWaveHeight e' uma instancia de Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13443-13443	O argumento numero 2 de sphereRadius e' uma instancia de Medida de Comprimento
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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