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

Formal Language: 



Term 1: Term 2:

(subclass ChangingUserName UserDirectAction) ComputingBrands.kif 4096-4096 ChangingUserName รจ una sottoclasse di UserDirectAction


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