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

Formal Language: 



Term 1: Term 2:

(subclass Character SymbolicString) Merge.kif 1339-1339 Character ist eine teilkategorie von SymbolicString
(subclass AlphabeticCharacter Character) Mid-level-ontology.kif 19756-19756 AlphabeticCharacter ist eine teilkategorie von Character
(subclass DigitCharacter Character) Mid-level-ontology.kif 19760-19760 DigitCharacter ist eine teilkategorie von Character


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