Sigma KB Term Intersection

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.	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.	Merge.kif 6215-6215	NonCompositeUnitOfMeasure est une sous-classe de unit� de mesure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6216-6216	NonCompositeUnitOfMeasure est une sous-classe de quantit� constante
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6247-6247	UnitOfLength est une sous-classe de NonCompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6259-6259	UnitOfMass est une sous-classe de NonCompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6295-6295	UnitOfTemperature est une sous-classe de NonCompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6308-6308	UnitOfCurrency est une sous-classe de NonCompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6318-6318	UnitOfAngularMeasure est une sous-classe de NonCompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6333-6333	UnitOfInformation est une sous-classe de NonCompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6339-6339	UnitOfDuration est une sous-classe de NonCompositeUnitOfMeasure

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