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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ipAddressOf

Sigma KEE - ipAddressOf
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 ipAddressOf の数値 1 引数は Computerinstance では %n
(domain ipAddressOf 2 IPAddress) QoSontology.kif 763-763 ipAddressOf の数値 2 引数は IPAddressinstance では %n
(instance ipAddressOf BinaryPredicate) QoSontology.kif 761-761 ipAddressOf2進述語instance では %n

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 30937-30937
(termFormat ChineseTraditionalLanguage ipAddressOf "的IP地址") domainEnglishFormat.kif 30936-30936
(termFormat EnglishLanguage ipAddressOf "ip address of") domainEnglishFormat.kif 30935-30935


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