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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PhysicalAddress
PhysicalAddress

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


(documentation PhysicalAddress EnglishLanguage "The collection of all addresses which identify a location of a ComputerFile.") QoSontology.kif 217-218
(subclass PhysicalAddress SymbolicString) QoSontology.kif 216-216 subclass PhysicalAddress and SymbolicString

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


(range AddressFn PhysicalAddress) QoSontology.kif 222-222 range AddressFn and PhysicalAddress
(subclass IPAddress PhysicalAddress) QoSontology.kif 755-755 subclass IPAddress and PhysicalAddress
(termFormat ChineseLanguage PhysicalAddress "实际地址") domainEnglishFormat.kif 45634-45634
(termFormat ChineseTraditionalLanguage PhysicalAddress "實際地址") domainEnglishFormat.kif 45633-45633
(termFormat EnglishLanguage PhysicalAddress "physical address") domainEnglishFormat.kif 45632-45632


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