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

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 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