Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Internet

Sigma KEE - Internet
Internet
more pictures...

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


(documentation Internet EnglishLanguage "The Internet is a CommunicationSystem for the rapid delivery of information between computers.") Communications.kif 431-432
(externalImage Internet "http://upload.wikimedia.org/wikipedia/commons/1/ 18/ Icannheadquarters.jpg") pictureList.kif 8545-8545
(externalImage Internet "http://upload.wikimedia.org/wikipedia/commons/b/ b9/ WorldWideWebAroundWikipedia.png") pictureList.kif 2237-2237
(externalImage Internet "http://upload.wikimedia.org/wikipedia/commons/c/ c3/ My_Opera_Server.jpg") pictureList.kif 9338-9338
(externalImage Internet "http://upload.wikimedia.org/wikipedia/commons/d/ d2/ Internet_map_1024.jpg") pictureList.kif 9339-9339
(externalImage Internet "http://upload.wikimedia.org/wikipedia/commons/thumb/ d/ d2/ Internet_map_1024.jpg/ 600px-Internet_map_1024.jpg") pictureList.kif 9340-9340
(instance Internet CommunicationSystem) Communications.kif 430-430

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


(engineeringSubcomponent InternetServiceProvider Internet) Communications.kif 443-443
(termFormat ChineseLanguage Internet "互联网") domainEnglishFormat.kif 30702-30702
(termFormat ChineseTraditionalLanguage Internet "互聯網") domainEnglishFormat.kif 30701-30701
(termFormat EnglishLanguage Internet "internet") domainEnglishFormat.kif 30700-30700

antecedent
-------------------------


(=>
    (and
        (engineeringSubcomponent ?DEVICE1 Internet)
        (engineeringSubcomponent ?DEVICE2 Internet)
        (not
            (equal ?DEVICE1 ?DEVICE2)))
    (hasPurpose Internet
        (exists (?COMM)
            (and
                (instance ?COMM Communication)
                (agent ?COMM ?DEVICE1)
                (destination ?COMM ?DEVICE2)
                (instrument ?COMM Internet)))))
Hotel.kif 1325-1336

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


(=>
    (and
        (engineeringSubcomponent ?DEVICE1 Internet)
        (engineeringSubcomponent ?DEVICE2 Internet)
        (not
            (equal ?DEVICE1 ?DEVICE2)))
    (hasPurpose Internet
        (exists (?COMM)
            (and
                (instance ?COMM Communication)
                (agent ?COMM ?DEVICE1)
                (destination ?COMM ?DEVICE2)
                (instrument ?COMM Internet)))))
Hotel.kif 1325-1336
(=>
    (and
        (instance ?AP InternetAccessPoint)
        (instance ?DEVICE Device))
    (holdsDuring
        (WhenFn
            (connectedEngineeringComponents ?DEVICE ?AP))
        (engineeringSubcomponent ?DEVICE Internet)))
Hotel.kif 1343-1349
(=>
    (attribute ?INDIVIDUAL InternetUser)
    (exists (?PROCESS)
        (and
            (agent ?PROCESS ?INDIVIDUAL)
            (instrument ?PROCESS Internet))))
Communications.kif 456-461
(=>
    (instance ?PART InternetServiceProvider)
    (engineeringSubcomponent ?PART Internet))
Communications.kif 447-449


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners