Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - InternetConnection
InternetConnection(internet connection)

appearance as argument number 1
-------------------------


(subclass InternetConnection EngineeringConnection) Hotel.kif 1398-1398 Internet connection is a subclass of engineering connection
(documentation InternetConnection EnglishLanguage "InternetConnection refers to the medium or channel by which a device is connected to an InternetAccessPoint") Hotel.kif 1399-1400 Internet connection is a subclass of engineering connection
(defaultMinimumMeasure InternetConnection
    (MeasureFn 56
        (KiloFn BitsPerSecond)))		 DimensioningAmenities.kif 95-95 The minimum expected value of internet connection is 56 1 thousand bits per seconds(s)
(defaultMaximumMeasure InternetConnection
    (MeasureFn 100
        (MegaFn BitsPerSecond)))		 DimensioningAmenities.kif 96-96 The maximum expected value of internet connection is 100 1 million bits per seconds(s)

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage InternetConnection "internet connection") Hotel.kif 1401-1401
(subclass WiredInternetConnection InternetConnection) Hotel.kif 1421-1421 Internet is a subclass of internet connection
(subclass WirelessInternetConnection InternetConnection) Hotel.kif 1433-1433 Wireless internet is a subclass of internet connection

consequent
-------------------------


(=>
    (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
(=>
    (instance ?X BusinessCenter)
    (modalAttribute
        (exists (?IC)
            (and
                (instance ?IC InternetConnection)
                (located ?IC ?X))) Likely))		 Hotel.kif 1689-1695 If X is an instance of business center, then the statement there exists Y such that Y is an instance of internet connection and Y is located at X has the modal force of likely


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners