TreeView Knowledge Base Browser

appearance as argument number 1

(subclass IPAddress PhysicalAddress)	QoSontology.kif 853-853	IP address is a subclass of physical address
(documentation IPAddress EnglishLanguage "The Internet Protocol address, a numeric address such as 123.231.32.2 that the domain name server translates into a domain name.")	QoSontology.kif 854-855	IP address is a subclass of physical address

appearance as argument number 2

(termFormat EnglishLanguage IPAddress "IP address")	domainEnglishFormat.kif 30933-30933
(termFormat ChineseTraditionalLanguage IPAddress "IP地址")	domainEnglishFormat.kif 30934-30934
(termFormat ChineseLanguage IPAddress "IP地址")	domainEnglishFormat.kif 30935-30935

appearance as argument number 3

(domain ipOfDomain 1 IPAddress)	ComputingBrands.kif 2073-2073	The number 1 argument of IP of domain is an instance of IP address
(domain ipAddressOf 2 IPAddress)	QoSontology.kif 859-859	The number 2 argument of ip address of is an instance of IP address
(domain monitorConnectivityData 2 IPAddress)	QoSontology.kif 1064-1064	The number 2 argument of monitor connectivity data is an instance of IP address

consequent

(=>
    (instance ?URL UniformResourceLocator)
    (exists (?Address)
        (and
            (instance ?Address IPAddress)
            (represents ?URL ?Address))))

If X is an instance of uniform resource locator, then there exists Y such that Y is an instance of IP address and X expresses Y