Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  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 24870-24870 Virtual address is a subclass of place address
(subclass VirtualAddress VirtualPlaceID) Mid-level-ontology.kif 24871-24871 Virtual address is a subclass of virtual place ID

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


(subclass FilePath VirtualAddress) Media.kif 2928-2928 File path is a subclass of virtual address
(subclass InternetAddress VirtualAddress) Media.kif 2929-2929 Internet address is a subclass of virtual address
(subclass TelecomNumber VirtualAddress) Mid-level-ontology.kif 24873-24873 Telecom number is a subclass of virtual address
(termFormat EnglishLanguage VirtualAddress "virtual address") domainEnglishFormat.kif 65702-65702


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 is open source software produced by Articulate Software and its partners