Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13546-13557	defaultMaximumMeasure objet and nombre r�el unit� de mesure(s) classe est une sous-classe de NonCompositeUnitOfMeasure unit� de mesure est une instance de classe l'argument entit� nombre r�elUANTITY and entit� entit� est une instance de objet la mesure de entit� est nombre r�elUANTITY entit�(s) entit� est une instance de classe nombre r�elUANTITY entit�(s) est plus grand que nombre r�el unit� de mesure(s) a la force modale de Unlikely
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1186-1201	Oversized est un attribut de objet objet est une instance imm�diate de classe classe est une sous-classe de HotelUnit physique nombre r�el, nombre r�el and unit� de mesure physique est une instance imm�diate de classe unit� de mesure est une instance de UnitOfArea la mesure de physique est nombre r�el unit� de mesure(s) la mesure de objet est nombre r�el unit� de mesure(s) nombre r�el est une instance de mesure d'aire nombre r�el est une instance de mesure d'aire nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13820-13829	Objet est une instance de substance pure substance pure est une sous-classe de substance pure barometricPressure objet and nombre r�el InchMercury(s) 29.92 est plus grand que nombre r�el boilingPoint substance pure and nombre r�el KelvinDegree(s) la mesure de objet est nombre r�el KelvinDegree(s) nombre r�el est plus grand que nombre r�el Gas est un attribut de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13842-13851	Objet est une instance de substance pure substance pure est une sous-classe de substance pure meltingPoint substance pure and nombre r�el KelvinDegree(s) barometricPressure objet and nombre r�el InchMercury(s) nombre r�el est plus grand que 29.92 la mesure de objet est nombre r�el KelvinDegree(s) nombre r�el est moins que nombre r�el Solid est un attribut de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13515-13526	defaultMinimumMeasure objet and nombre r�el unit� de mesure(s) classe est une sous-classe de NonCompositeUnitOfMeasure unit� de mesure est une instance de classe l'argument entit� nombre r�elUANTITY and entit� entit� est une instance de objet la mesure de entit� est nombre r�elUANTITY entit�(s) entit� est une instance de classe nombre r�elUANTITY est moins que nombre r�el a la force modale de Unlikely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13831-13840	Objet est une instance de substance pure substance pure est une sous-classe de substance pure boilingPoint substance pure and nombre r�el KelvinDegree(s) meltingPoint substance pure and nombre r�el KelvinDegree(s) la mesure de objet est nombre r�el KelvinDegree(s) nombre r�el est plus grand que nombre r�el nombre r�el est moins que nombre r�el Liquid est un attribut de objet

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