| InternetServiceProvider(internet service provider)
|
| 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 | Internet service provider is a component of internet |
| (externalImage InternetServiceProvider "http://upload.wikimedia.org/wikipedia/ commons/ 2/ 2a/ Bombay14.jpg") | pictureList.kif 8545-8545 | Internet service provider is a component of internet |
| (externalImage InternetServiceProvider "http://upload.wikimedia.org/wikipedia/ commons/ b/ bb/ Aolbeverlyhillsoffice.jpg") | pictureList.kif 9340-9340 | Internet service provider is a component of internet |
| (subclass InternetServiceProvider CommunicationSystem) | Communications.kif 442-442 | Internet service provider is a subclass of communication system |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage InternetServiceProvider "互联网服务提供商") | domainEnglishFormat.kif 30761-30761 | |
| (termFormat ChineseTraditionalLanguage InternetServiceProvider "互聯網服務提供商") | domainEnglishFormat.kif 30760-30760 | |
| (termFormat EnglishLanguage InternetServiceProvider "internet service provider") | domainEnglishFormat.kif 30759-30759 |
| 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 |
|
|
|
|