No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2803-2816	LongAndThin est un attribut de objet en une partie objet en une partie objet en une partie, nombre r�el, nombre r�el, nombre r�el and unit� de mesure le cot� de objet en une partie est objet en une partie le cot� de objet en une partie est objet en une partie objet en une partie rencontre objet en une partie objet en une partie est objet en une partie unit� de mesure est une instance de UnitOfLength le longueur de objet en une partie est nombre r�el unit� de mesure(s) le longueur de objet en une partie est nombre r�el unit� de mesure(s) le longueur de objet en une partie est nombre r�el unit� de mesure(s) nombre r�el est moins que 3.0 + nombre r�el nombre r�el est moins que 3.0 + nombre r�el
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31131-31139	circumfrence objet and mesure de longueur nombre r�el unit� de mesure le diam�tre de objet est nombre r�el unit� de mesure(s) nombre r�el + 3.14 unit� de mesure(s) est mesure de longueur
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7687-7692	Le diam�tre de objet est mesure de longueur nombre r�el unit� de mesure le radius de objet est nombre r�el unit� de mesure(s) nombre r�el + 2 unit� de mesure(s) est mesure de longueur
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4941-4946	DiameterFn objet est nombre r�el unit� de mesure(s) nombre r�el RadiusFn objet est nombre r�el unit� de mesure(s) nombre r�el + 2.0 est nombre r�el
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5225-5227	Le carr� de nombre r�el est nombre r�el nombre r�el + nombre r�el est nombre r�el
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3877-3883	Quantit� physique est nombre r�el NauticalMile(s) quantit� physique est nombre r�el + 1.151 Mile(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3869-3875	Quantit� physique est nombre r�el NauticalMile(s) quantit� physique est nombre r�el + 1.852 1 millier Meters(s)
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2016-2018	Quantit� physique est nombre r�el Joule(s) quantit� physique est nombre r�el Watt(s)
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2011-2013	Quantit� physique est nombre r�el KilowattHour(s) quantit� physique est nombre r�el Joule(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13682-13686	Nombre r�el est nombre r�el nombre r�el MillenniumDuration(s) est nombre r�el + 1000 YearDuration(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3912-3919	Nombre r�el est nombre r�el nombre r�el NauticalMile(s) est nombre r�el + 1.151 Mile(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3894-3901	Nombre r�el est nombre r�el nombre r�el NauticalMile(s) est nombre r�el + 1.852 1 millier Meters(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3885-3892	Nombre r�el est nombre r�el nombre r�el NauticalMile(s) est nombre r�el + 1852.0 Meter(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3903-3910	Nombre r�el est nombre r�el nombre r�el NauticalMile(s) est nombre r�el + 6076.1 FootLength(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 625-631	Nombre r�el est nombre r�el nombre r�el SquareKilometer(s) est nombre r�el + 1000000.0 SquareMeter(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19063-19067	Nombre r�el est nombre r�el nombre r�el CenturyDuration(s) est nombre r�el + 100 YearDuration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8781-8785	Nombre r�el est nombre r�el nombre r�el DecadeDuration(s) est nombre r�el + 10 YearDuration(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3844-3848	Nombre r�el est nombre r�el nombre r�el Fathom(s) est nombre r�el + 6.0 FootLength(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13617-13621	Nombre r�el est nombre r�el nombre r�el LongTon(s) est nombre r�el + 2240.0 PoundMass(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19082-19088	Nombre r�el est nombre r�el nombre r�el Nanometer(s) est nombre r�el + 0.000000001 Meter(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13667-13671	Nombre r�el est nombre r�el nombre r�el RegistryTon(s) est nombre r�el + 100.0 CubicFoot(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13590-13594	Nombre r�el est nombre r�el nombre r�el TonMass(s) est nombre r�el + 2205.0 PoundMass(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19072-19076	Nombre r�el est nombre r�el nombre r�el YardLength(s) est nombre r�el FootLength(s)
No TPTP formula. May not be expressible in strict first order.	Food.kif 770-781	Objet est une instance de Lungo objet nombre r�el objet est une instance de Espresso objet est une partie de objet la mesure de objet est nombre r�el Liter(s) nombre r�el est une instance de nombre r�el la mesure de objet est nombre r�el + 2 Liter(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6902-6906	Nombre r�el est une instance de nombre r�el nombre r�el Horsepower(s) est nombre r�el + 746 Watt(s)
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