Internet - Sigma Knowledge base Browser

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 8544-8544
(externalImage Internet "http://upload.wikimedia.org/wikipedia/commons/b/ b9/ WorldWideWebAroundWikipedia.png")	pictureList.kif 2236-2236
(externalImage Internet "http://upload.wikimedia.org/wikipedia/commons/c/ c3/ My_Opera_Server.jpg")	pictureList.kif 9337-9337
(externalImage Internet "http://upload.wikimedia.org/wikipedia/commons/d/ d2/ Internet_map_1024.jpg")	pictureList.kif 9338-9338
(externalImage Internet "http://upload.wikimedia.org/wikipedia/commons/thumb/ d/ d2/ Internet_map_1024.jpg/ 600px-Internet_map_1024.jpg")	pictureList.kif 9339-9339
(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 30749-30749	Internet service provider is a component of internet
(termFormat ChineseTraditionalLanguage Internet "互聯網")	domainEnglishFormat.kif 30748-30748	Internet service provider is a component of internet
(termFormat EnglishLanguage Internet "internet")	domainEnglishFormat.kif 30747-30747	Internet service provider is a component of 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 1347-1358

If an engineering component is a component of internet and another engineering component is a component of internet and the engineering component is not equal to the other engineering component,
then internet has the purpose there exists an entity such that the entity is an instance of communication and the engineering component is an agent of the entity and the entity ends up at the other engineering component and internet is an instrument for the entity

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 1347-1358	If an engineering component is a component of internet and another engineering component is a component of internet and the engineering component is not equal to the other engineering component, then internet has the purpose there exists an entity such that the entity is an instance of communication and the engineering component is an agent of the entity and the entity ends up at the other engineering component and internet is an instrument for the entity
(=> (and (instance ?AP InternetAccessPoint) (instance ?DEVICE Device)) (holdsDuring (WhenFn (connectedEngineeringComponents ?DEVICE ?AP)) (engineeringSubcomponent ?DEVICE Internet)))	Hotel.kif 1365-1371	If an entity is an instance of internet access point and another entity is an instance of device, then the other entity is a component of internet holds during the time of existence of the other entity is connected to the entity
(=> (attribute ?INDIVIDUAL InternetUser) (exists (?PROCESS) (and (agent ?PROCESS ?INDIVIDUAL) (instrument ?PROCESS Internet))))	Communications.kif 456-461	If internet user is an attribute of an agent, then there exists a process such that the agent is an agent of the process and internet is an instrument for the process
(=> (instance ?PART InternetServiceProvider) (engineeringSubcomponent ?PART Internet))	Communications.kif 447-449	If an engineering component is an instance of internet service provider, then the engineering component is a component of internet

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

KB Term:			Term intersection

English Word: