InternetServiceProvider |
appearance as argument number 1 |
(documentation InternetServiceProvider EnglishLanguage "An InternetServiceProvider serves as an engineeringSubcomponent of the Internet for a given area.") | Communications.kif 444-446 | |
(engineeringSubcomponent InternetServiceProvider Internet) | Communications.kif 443-443 | |
(externalImage InternetServiceProvider "http://upload.wikimedia.org/wikipedia/ commons/ 2/ 2a/ Bombay14.jpg") | pictureList.kif 8544-8544 | |
(externalImage InternetServiceProvider "http://upload.wikimedia.org/wikipedia/ commons/ b/ bb/ Aolbeverlyhillsoffice.jpg") | pictureList.kif 9339-9339 | |
(subclass InternetServiceProvider CommunicationSystem) | Communications.kif 442-442 |
appearance as argument number 2 |
(termFormat ChineseLanguage InternetServiceProvider "互联网服务提供商") | domainEnglishFormat.kif 30756-30756 | |
(termFormat ChineseTraditionalLanguage InternetServiceProvider "互聯網服務提供商") | domainEnglishFormat.kif 30755-30755 | |
(termFormat EnglishLanguage InternetServiceProvider "internet service provider") | domainEnglishFormat.kif 30754-30754 |
antecedent |
(=> (instance ?PART InternetServiceProvider) (engineeringSubcomponent ?PART Internet)) |
Communications.kif 447-449 |
consequent |
(=> (instance ?X Modem) (hasPurpose ?X (exists (?ISP ?CONN) (and (instance ?ISP InternetServiceProvider) (connectsEngineeringComponents ?CONN ?X ?ISP) (instance ?CONN TelephoneLine))))) |
Hotel.kif 1378-1385 |