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 873-874
(domain ipAddressOf 1 Computer) QoSontology.kif 871-871
(domain ipAddressOf 2 IPAddress) QoSontology.kif 872-872
(instance ipAddressOf BinaryPredicate) QoSontology.kif 870-870

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


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