Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   WiredInternetConnection
|
|
|
| appearance as argument number 1 |
|
|
| (subclass WiredInternetConnection InternetConnection) | Hotel.kif 1421-1421 | Internet is a subclass of internet connection |
| (documentation WiredInternetConnection EnglishLanguage "WiredInternetConnection is an InternetConnection that uses Cable to connect two devices together") | Hotel.kif 1422-1423 | Internet is a subclass of internet connection |
| (defaultMinimumMeasure WiredInternetConnection (MeasureFn 56 (KiloFn BitsPerSecond))) |
DimensioningAmenities.kif 89-89 | The minimum expected value of internet is 56 1 thousand bits per seconds(s) |
| (defaultMaximumMeasure WiredInternetConnection (MeasureFn 100 (MegaFn BitsPerSecond))) |
DimensioningAmenities.kif 90-90 | The maximum expected value of internet is 100 1 million bits per seconds(s) |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage WiredInternetConnection "internet") | Hotel.kif 1424-1424 |
| antecedent |
|
|
| (=> (instance ?CONN WiredInternetConnection) (exists (?CABLE) (and (part ?CABLE ?CONN) (instance ?CABLE Cable)))) |
Hotel.kif 1426-1431 | If X is an instance of internet, then there exists Y such that Y is a part of X and Y is an instance of cable |
|