TreeView Knowledge Base Browser

appearance as argument number 1

(documentation ipOfDomain EnglishLanguage "The IPAddress of a given InternetDomain. Note that an ip address may have several different domain names.")	ComputingBrands.kif 2070-2072
(domain ipOfDomain 1 IPAddress)	ComputingBrands.kif 2073-2073	ipOfDomain の数値 1 引数は IPAddress の instance では %n
(domain ipOfDomain 2 InternetDomain)	ComputingBrands.kif 2074-2074	ipOfDomain の数値 2 引数は InternetDomain の instance では %n
(instance ipOfDomain BinaryPredicate)	ComputingBrands.kif 2069-2069	ipOfDomain は 2進述語の instance では %n

appearance as argument number 2

(termFormat EnglishLanguage ipOfDomain "IP of domain")

domainEnglishFormat.kif 65861-65861