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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Internet
Internet(internet)
more pictures...
cyberspace, internet, net

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 8547-8547 "http://upload.wikimedia.org/wikipedia/commons/1/18/ Icannheadquarters.jpg" is a URL depicting internet
(externalImage Internet "http://upload.wikimedia.org/wikipedia/commons/b/ b9/ WorldWideWebAroundWikipedia.png") pictureList.kif 2237-2237 "http://upload.wikimedia.org/wikipedia/commons/b/b9/ WorldWideWebAroundWikipedia.png" is a URL depicting internet
(externalImage Internet "http://upload.wikimedia.org/wikipedia/commons/c/ c3/ My_Opera_Server.jpg") pictureList.kif 9342-9342 "http://upload.wikimedia.org/wikipedia/commons/c/c3/ My_Opera_Server.jpg" is a URL depicting internet
(externalImage Internet "http://upload.wikimedia.org/wikipedia/commons/d/ d2/ Internet_map_1024.jpg") pictureList.kif 9343-9343 "http://upload.wikimedia.org/wikipedia/commons/d/d2/ Internet_map_1024.jpg" is a URL depicting internet
(externalImage Internet "http://upload.wikimedia.org/wikipedia/commons/thumb/ d/ d2/ Internet_map_1024.jpg/ 600px-Internet_map_1024.jpg") pictureList.kif 9344-9344 "http://upload.wikimedia.org/wikipedia/commons/thumb/ d/ d2/ Internet_map_1024.jpg/ 600px-Internet_map_1024.jpg" is a URL depicting internet
(instance Internet CommunicationSystem) Communications.kif 430-430 Internet is an instance of communication system

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


(engineeringSubcomponent InternetServiceProvider Internet) Communications.kif 443-443 Internet service provider is a component of internet
(termFormat EnglishLanguage Internet "internet") domainEnglishFormat.kif 5536-5536 "internet" is the printable form of internet in english language

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 1294-1305

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 1294-1305
(=>
    (and
        (instance ?AP InternetAccessPoint)
        (instance ?DEVICE Device))
    (holdsDuring
        (WhenFn
            (connectedEngineeringComponents ?DEVICE ?AP))
        (engineeringSubcomponent ?DEVICE Internet)))
Hotel.kif 1312-1318
(=>
    (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 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners