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

Formal Language: 



KB Term:  Term intersection
English Word: 

  VirtualAddress

 Sigma KEE - VirtualAddress
VirtualAddress

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24869-24869 VirtualAddress e' uma sub-classe de PlaceAddress
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24870-24870 VirtualAddress e' uma sub-classe de VirtualPlaceID

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2928-2928 FilePath e' uma sub-classe de VirtualAddress
No TPTP formula. May not be expressible in strict first order. Media.kif 2929-2929 InternetAddress e' uma sub-classe de VirtualAddress
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24872-24872 TelecomNumber e' uma sub-classe de VirtualAddress
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65702-65702


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

Show without tree


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