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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Internet

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
(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 9342-9342
(externalImage Internet "http://upload.wikimedia.org/wikipedia/commons/d/ d2/ Internet_map_1024.jpg") pictureList.kif 9343-9343
(externalImage Internet "http://upload.wikimedia.org/wikipedia/commons/thumb/ d/ d2/ Internet_map_1024.jpg/ 600px-Internet_map_1024.jpg") pictureList.kif 9344-9344
(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 ChineseLanguage Internet "互联网") domainEnglishFormat.kif 30634-30634
(termFormat ChineseTraditionalLanguage Internet "互聯網") domainEnglishFormat.kif 30633-30633
(termFormat EnglishLanguage Internet "internet") domainEnglishFormat.kif 30632-30632

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 1298-1309

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 1298-1309
(=>
    (and
        (instance ?AP InternetAccessPoint)
        (instance ?DEVICE Device))
    (holdsDuring
        (WhenFn
            (connectedEngineeringComponents ?DEVICE ?AP))
        (engineeringSubcomponent ?DEVICE Internet)))
Hotel.kif 1316-1322
(=>
    (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