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

Formal Language: 



Term 1: Term 2:

(subclass UniformResourceLocator UniformResourceIdentifier) QoSontology.kif 1688-1688 统一资源定位器 是 统一资源标识符 的 subclass
(subclass UniformResourceLocator InternetAddress) Media.kif 2931-2931 统一资源定位器 是 InternetAddress 的 subclass
(subclass UniformResourceLocator StandardIdentifier) Media.kif 2932-2932 统一资源定位器 是 StandardIdentifier 的 subclass


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