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 24927-24927 VirtualAddress e' uma sub-classe de PlaceAddress
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24928-24928 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 24930-24930 TelecomNumber e' uma sub-classe de VirtualAddress
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65704-65704


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