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

Formal Language: 



KB Term:  Term intersection
English Word: 

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

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


(engineeringSubcomponent InternetServiceProvider Internet) Communications.kif 443-443 engineeringSubcomponent InternetServiceProvider and Internet
(termFormat ChineseLanguage Internet "互联网") domainEnglishFormat.kif 30619-30619 termFormat ChineseLanguage, Internet and "互联网"
(termFormat ChineseTraditionalLanguage Internet "互聯網") domainEnglishFormat.kif 30618-30618 termFormat ChineseTraditionalLanguage, Internet and "互聯網"
(termFormat EnglishLanguage Internet "internet") domainEnglishFormat.kif 30617-30617 termFormat EnglishLanguage, Internet and "internet"

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