TreeView Knowledge Base Browser - WirelessInternetConnection

appearance as argument number 1

(subclass WirelessInternetConnection InternetConnection)	Hotel.kif 1433-1433	Wireless internet is a subclass of internet connection
(documentation WirelessInternetConnection EnglishLanguage "WirelessInternetConnection is an InternetConnection that does not use cables to connect to the InternetAccessPoint")	Hotel.kif 1434-1436	Wireless internet is a subclass of internet connection
(defaultMinimumMeasure WirelessInternetConnection (MeasureFn 56 (KiloFn BitsPerSecond)))	DimensioningAmenities.kif 92-92	The minimum expected value of wireless internet is 56 1 thousand bits per seconds(s)
(defaultMaximumMeasure WirelessInternetConnection (MeasureFn 100 (MegaFn BitsPerSecond)))	DimensioningAmenities.kif 93-93	The maximum expected value of wireless internet is 100 1 million bits per seconds(s)

appearance as argument number 2

antecedent

(=>
    (instance ?CONN WirelessInternetConnection)
    (not
        (exists (?CABLE)
            (and
                (part ?CABLE ?CONN)
                (instance ?CABLE Cable)))))

If X is an instance of wireless internet, then there doesn't exist Y such that Y is a part of X and Y is an instance of cable