Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - VirtualAddress
VirtualAddress(virtual address)

appearance as argument number 1
-------------------------


(subclass VirtualAddress PlaceAddress) Mid-level-ontology.kif 27152-27152 Virtual address is a subclass of place address
(subclass VirtualAddress VirtualPlaceID) Mid-level-ontology.kif 27153-27153 Virtual address is a subclass of virtual place ID

appearance as argument number 2
-------------------------


(subclass TelecomNumber VirtualAddress) Mid-level-ontology.kif 27155-27155 Telecom number is a subclass of virtual address
(subclass FilePath VirtualAddress) Media.kif 2875-2875 File path is a subclass of virtual address
(subclass InternetAddress VirtualAddress) Media.kif 2876-2876 Internet address is a subclass of virtual address
(termFormat EnglishLanguage VirtualAddress "virtual address") domainEnglishFormat.kif 65705-65705 Internet address is a subclass of virtual address


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners