Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| InternetAccessPoint(internet access point) |
| appearance as argument number 1 |
|
| (subclass InternetAccessPoint Device) | Hotel.kif 1371-1371 | Internet access point is a subclass of device |
| (documentation InternetAccessPoint EnglishLanguage "InternetAccessPoint refers to a Device that allows another Device to access and use the Internet") | Hotel.kif 1372-1373 | Internet access point is a subclass of device |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage InternetAccessPoint "internet access point") | Hotel.kif 1374-1374 | |
| (subclass Modem InternetAccessPoint) | Hotel.kif 1384-1384 | Modem is a subclass of internet access point |
| antecedent |
|
|
| (=> (instance ?AP InternetAccessPoint) (hasPurpose ?AP (exists (?DEVICE) (and (connectedEngineeringComponents ?DEVICE ?AP) (engineeringSubcomponent ?DEVICE Internet))))) |
Hotel.kif 1376-1382 | If X is an instance of internet access point, then X has the purpose there exists Y such that Y is connected to X and Y is a component of internet |
| (=> (and (connectsEngineeringComponents ?CONN ?DEVICE ?AP) (instance ?AP InternetAccessPoint)) (instance ?CONN InternetConnection)) |
Hotel.kif 1403-1407 | If X connects Y and Z and Z is an instance of internet access point, then X is an instance of internet connection |
|