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 476-477
(externalImage Internet "http://upload.wikimedia.org/wikipedia/commons/1/ 18/ Icannheadquarters.jpg")	pictureList.kif 8543-8543
(externalImage Internet "http://upload.wikimedia.org/wikipedia/commons/b/ b9/ WorldWideWebAroundWikipedia.png")	pictureList.kif 2235-2235
(externalImage Internet "http://upload.wikimedia.org/wikipedia/commons/c/ c3/ My_Opera_Server.jpg")	pictureList.kif 9336-9336
(externalImage Internet "http://upload.wikimedia.org/wikipedia/commons/d/ d2/ Internet_map_1024.jpg")	pictureList.kif 9337-9337
(externalImage Internet "http://upload.wikimedia.org/wikipedia/commons/thumb/ d/ d2/ Internet_map_1024.jpg/ 600px_Internet_map_1024.jpg")	pictureList.kif 9338-9338
(instance Internet CommunicationSystem)	Communications.kif 475-475	例互聯網 and 通訊系統

appearance as argument number 2

(engineeringSubcomponent InternetServiceProvider Internet)	Communications.kif 488-488	工程子組件互聯網服務提供商 and 互聯網
(termFormat ChineseLanguage Internet "互联网")	domainEnglishFormat.kif 30743-30743	工程子組件互聯網服務提供商 and 互聯網
(termFormat ChineseTraditionalLanguage Internet "互聯網")	domainEnglishFormat.kif 30742-30742	工程子組件互聯網服務提供商 and 互聯網
(termFormat EnglishLanguage Internet "internet")	domainEnglishFormat.kif 30741-30741	工程子組件互聯網服務提供商 and 互聯網

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

工程子組件 EngineeringComponent and 互聯網工程子組件 EngineeringComponent and 互聯網等於 EngineeringComponent and EngineeringComponent
有目的互聯網 and entity 例 entity and Communication agent entity and EngineeringComponent 目的地 entity and EngineeringComponent 儀器 entity and 互聯網

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	工程子組件 EngineeringComponent and 互聯網工程子組件 EngineeringComponent and 互聯網等於 EngineeringComponent and EngineeringComponent 有目的互聯網 and entity 例 entity and Communication agent entity and EngineeringComponent 目的地 entity and EngineeringComponent 儀器 entity and 互聯網
(=> (and (instance ?AP InternetAccessPoint) (instance ?DEVICE Device)) (holdsDuring (WhenFn (connectedEngineeringComponents ?DEVICE ?AP)) (engineeringSubcomponent ?DEVICE Internet)))	Hotel.kif 1365-1371	例 Entity and InternetAccessPoint 例 Entity and Device 持有期間何時連接的工程組件 Entity and Entity and 工程子組件 Entity and 互聯網
(=> (attribute ?INDIVIDUAL InternetUser) (exists (?PROCESS) (and (agent ?PROCESS ?INDIVIDUAL) (instrument ?PROCESS Internet))))	Communications.kif 501-506	attribute AutonomousAgent and 互聯網用戶 Process agent Process and AutonomousAgent 儀器 Process and 互聯網
(=> (instance ?PART InternetServiceProvider) (engineeringSubcomponent ?PART Internet))	Communications.kif 492-494	例 EngineeringComponent and 互聯網服務提供商工程子組件 EngineeringComponent and 互聯網

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: