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

Formal Language: 



Term 1: Term 2:

(subclass DecimalDigitString SymbolicString) Media.kif 2911-2911 DecimalDigitString ist eine teilkategorie von SymbolicString
(subclass NumericString4 DecimalDigitString) Media.kif 2953-2953 NumericString4 ist eine teilkategorie von DecimalDigitString
(subclass NumericIDString DecimalDigitString) Media.kif 2966-2966 NumericIDString ist eine teilkategorie von DecimalDigitString


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