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 est une sous-classe de PlaceAddress
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24870-24870 VirtualAddress est une sous-classe de VirtualPlaceID

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2928-2928 FilePath est une sous-classe de VirtualAddress
No TPTP formula. May not be expressible in strict first order. Media.kif 2929-2929 InternetAddress est une sous-classe de VirtualAddress
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24872-24872 TelecomNumber est une sous-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