TreeView Knowledge Base Browser

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	The number 1 argument of ip address of is an instance of computer
(domain ipAddressOf 2 IPAddress)	QoSontology.kif 872-872	The number 2 argument of ip address of is an instance of IP address
(instance ipAddressOf BinaryPredicate)	QoSontology.kif 870-870	ip address of is an instance of binary predicate

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