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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - ipAddressOf

appearance as argument number 1

(documentation ipAddressOf EnglishLanguage "(ipAddressOf ?HOST ?ADDRESS) holds if ?ADDRESS is the IPAddress of the computer ?HOST.") QoSontology.kif 764-765
(domain ipAddressOf 1 Computer) QoSontology.kif 762-762 的IP地址, 1 and 電腦
(domain ipAddressOf 2 IPAddress) QoSontology.kif 763-763 的IP地址, 2 and IP地址
(instance ipAddressOf BinaryPredicate) QoSontology.kif 761-761 的IP地址 and BinaryPredicate

appearance as argument number 2

(format ChineseLanguage ipAddressOf "%2 %n 是 %1 的 ip 地址") domainEnglishFormat.kif 1393-1393
(format ChineseTraditionalLanguage ipAddressOf "%2 %n 是 %1 的 ip 地址") domainEnglishFormat.kif 1392-1392
(format EnglishLanguage ipAddressOf "%2 is %n an ip address of %1") domainEnglishFormat.kif 1391-1391
(termFormat ChineseLanguage ipAddressOf "的IP地址") domainEnglishFormat.kif 30943-30943
(termFormat ChineseTraditionalLanguage ipAddressOf "的IP地址") domainEnglishFormat.kif 30942-30942
(termFormat EnglishLanguage ipAddressOf "ip address of") domainEnglishFormat.kif 30941-30941

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