Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  ]  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
-------------------------


(instance Internet CommunicationSystem) Communications.kif 502-502 Internet is an instance of communication system
(documentation Internet EnglishLanguage "The Internet is a CommunicationSystem for the rapid delivery of information between computers.") Communications.kif 503-504 Internet is an instance of communication system
(externalImage Internet "http://upload.wikimedia.org/wikipedia/commons/b/ b9/ WorldWideWebAroundWikipedia.png") pictureList.kif 2235-2235 Internet is an instance of communication system
(externalImage Internet "http://upload.wikimedia.org/wikipedia/commons/1/ 18/ Icannheadquarters.jpg") pictureList.kif 8543-8543 Internet is an instance of communication system
(externalImage Internet "http://upload.wikimedia.org/wikipedia/commons/c/ c3/ My_Opera_Server.jpg") pictureList.kif 9336-9336 Internet is an instance of communication system
(externalImage Internet "http://upload.wikimedia.org/wikipedia/commons/d/ d2/ Internet_map_1024.jpg") pictureList.kif 9337-9337 Internet is an instance of communication system
(externalImage Internet "http://upload.wikimedia.org/wikipedia/commons/thumb/ d/ d2/ Internet_map_1024.jpg/ 600px_Internet_map_1024.jpg") pictureList.kif 9338-9338 Internet is an instance of communication system

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


(termFormat EnglishLanguage Internet "internet") domainEnglishFormat.kif 30717-30717
(termFormat ChineseTraditionalLanguage Internet "互聯網") domainEnglishFormat.kif 30718-30718
(termFormat ChineseLanguage Internet "互联网") domainEnglishFormat.kif 30719-30719

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 1358-1369 If X is a component of internet, Y is a component of internet, and equal X and Y, then internet has the purpose there exists Z such that Z is an instance of communication, X is an agent of Z, Z ends up at Y, and internet is an instrument for Z

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


(=>
    (instance ?PART InternetServiceProvider)
    (engineeringSubcomponent ?PART Internet))		 Communications.kif 518-520 If X is an instance of internet service provider, then X is a component of internet
(=>
    (attribute ?INDIVIDUAL InternetUser)
    (exists (?PROCESS)
        (and
            (agent ?PROCESS ?INDIVIDUAL)
            (instrument ?PROCESS Internet))))		 Communications.kif 527-532 If internet user is an attribute of X, then there exists Y such that X is an agent of Y and internet is an instrument for Y
(=>
    (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 1358-1369 If X is a component of internet, Y is a component of internet, and equal X and Y, then internet has the purpose there exists Z such that Z is an instance of communication, X is an agent of Z, Z ends up at Y, and internet is an instrument for Z
(=>
    (and
        (instance ?AP InternetAccessPoint)
        (instance ?DEVICE Device))
    (holdsDuring
        (WhenFn
            (connectedEngineeringComponents ?DEVICE ?AP))
        (engineeringSubcomponent ?DEVICE Internet)))		 Hotel.kif 1376-1382 If X is an instance of internet access point and Y is an instance of device, then Y is a component of internet holds during the time of existence of Y is connected to X


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 is open source software produced by Articulate Software and its partners