| 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 489-491 | |
| (engineeringSubcomponent InternetServiceProvider Internet) | Communications.kif 488-488 | Internet service provider is a component of internet |
| (externalImage InternetServiceProvider "http://upload.wikimedia.org/wikipedia/ commons/ 2/ 2a/ Bombay14.jpg") | pictureList.kif 8544-8544 | Internet service provider is a component of internet |
| (externalImage InternetServiceProvider "http://upload.wikimedia.org/wikipedia/ commons/ b/ bb/ Aolbeverlyhillsoffice.jpg") | pictureList.kif 9339-9339 | Internet service provider is a component of internet |
| (subclass InternetServiceProvider CommunicationSystem) | Communications.kif 487-487 | Internet service provider is a subclass of communication system |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage InternetServiceProvider "互联网服务提供商") | domainEnglishFormat.kif 30738-30738 | |
| (termFormat ChineseTraditionalLanguage InternetServiceProvider "互聯網服務提供商") | domainEnglishFormat.kif 30737-30737 | |
| (termFormat EnglishLanguage InternetServiceProvider "internet service provider") | domainEnglishFormat.kif 30736-30736 |
| antecedent |
|
|
| (=> (instance ?PART InternetServiceProvider) (engineeringSubcomponent ?PART Internet)) |
Communications.kif 492-494 |
|
| consequent |
|
|
| (=> (instance ?X Modem) (hasPurpose ?X (exists (?ISP ?CONN) (and (instance ?ISP InternetServiceProvider) (connectsEngineeringComponents ?CONN ?X ?ISP) (instance ?CONN TelephoneLine))))) |
Hotel.kif 1389-1396 |
|
|
|
|