No TPTP formula. May not be expressible in strict first order.	Weather.kif 134-134	O argumento numero 2 de surfaceWindSpeed e' uma instancia de Quantidade Fisica
No TPTP formula. May not be expressible in strict first order.	Weather.kif 105-105	O argumento numero 2 de surfaceWindVelocity e' uma instancia de Quantidade Fisica
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10429-10429	O argumento numero 2 de systolicBloodPressure e' uma instancia de Quantidade Fisica
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2621-2621	O argumento numero 2 de totalBiomass e' uma instancia de Quantidade Fisica
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2525-2525	O argumento numero 2 de vesselDisplacement e' uma instancia de Quantidade Fisica
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2546-2546	O argumento numero 2 de vesselGrossRegisteredTonnage e' uma instancia de Quantidade Fisica
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26369-26369	O argumento numero 2 de voltageMeasure e' uma instancia de Quantidade Fisica

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