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

Formal Language: 



Term 1: Term 2:

(subclass SymmetricPositionalAttribute PositionalAttribute) Merge.kif 17071-17071 SymmetricPositionalAttribute รจ una sottoclasse di AttributoPosizionale


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