TreeView Knowledge Base Browser - InternetServiceProvider

appearance as argument number 1

(subclass InternetServiceProvider CommunicationSystem)	Communications.kif 495-495	Internet service provider is a subclass of communication system
(documentation InternetServiceProvider EnglishLanguage "An InternetServiceProvider serves as an engineeringSubcomponent of the Internet for a given area.")	Communications.kif 496-498	Internet service provider is a subclass of communication system
(externalImage InternetServiceProvider "http://upload.wikimedia.org/wikipedia/ commons/ 2/ 2a/ Bombay14.jpg")	pictureList.kif 8544-8544	Internet service provider is a subclass of communication system
(externalImage InternetServiceProvider "http://upload.wikimedia.org/wikipedia/ commons/ b/ bb/ Aolbeverlyhillsoffice.jpg")	pictureList.kif 9339-9339	Internet service provider is a subclass of communication system

appearance as argument number 2

(termFormat EnglishLanguage InternetServiceProvider "internet service provider")	domainEnglishFormat.kif 30729-30729
(termFormat ChineseTraditionalLanguage InternetServiceProvider "互聯網服務提供商")	domainEnglishFormat.kif 30730-30730
(termFormat ChineseLanguage InternetServiceProvider "互联网服务提供商")	domainEnglishFormat.kif 30731-30731

antecedent

consequent

(=>
    (instance ?X Modem)
    (hasPurpose ?X
        (exists (?ISP ?CONN)
            (and
                (instance ?ISP InternetServiceProvider)
                (connectsEngineeringComponents ?CONN ?X ?ISP)
                (instance ?CONN TelephoneLine)))))

If X is an instance of modem, then X has the purpose there exist Y, Z such that Y is an instance of internet service provider, Z connects X, Y, and Z is an instance of telephone line