Term Intersection : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(subclass PositiveInteger NonnegativeInteger) Merge.kif 1994-1994 PositiveInteger ist eine teilkategorie von NonnegativeInteger
(subclass PositiveInteger PositiveRealNumber) Merge.kif 1995-1995 PositiveInteger ist eine teilkategorie von PositiveRealNumber


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