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

Formal Language: 



Term 1: Term 2:

(subclass NonnegativeInteger Integer) Merge.kif 1975-1975 NonnegativeInteger ist eine teilkategorie von Integer
(subclass NonnegativeInteger NonnegativeRealNumber) Merge.kif 1976-1976 NonnegativeInteger ist eine teilkategorie von NonnegativeRealNumber
(subclass PositiveInteger NonnegativeInteger) Merge.kif 1994-1994 PositiveInteger ist eine teilkategorie von NonnegativeInteger


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