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 762-763
(domain ipAddressOf 1 Computer) QoSontology.kif 760-760
(domain ipAddressOf 2 IPAddress) QoSontology.kif 761-761
(instance ipAddressOf BinaryPredicate) QoSontology.kif 759-759

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

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