No TPTP formula. May not be expressible in strict first order.	Weather.kif 134-134	Le nombre 2 argument de surfaceWindSpeed est une instance de quantit� physique
No TPTP formula. May not be expressible in strict first order.	Weather.kif 105-105	Le nombre 2 argument de surfaceWindVelocity est une instance de quantit� physique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10428-10428	Le nombre 2 argument de systolicBloodPressure est une instance de quantit� physique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2621-2621	Le nombre 2 argument de totalBiomass est une instance de quantit� physique
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2525-2525	Le nombre 2 argument de vesselDisplacement est une instance de quantit� physique
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2546-2546	Le nombre 2 argument de vesselGrossRegisteredTonnage est une instance de quantit� physique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26357-26357	Le nombre 2 argument de voltageMeasure est une instance de quantit� physique

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