Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  ComputerPassword

 Sigma KEE - ComputerNetwork
ComputerNetwork(computer network)computer_network, information_superhighway, superhighway

appearance as argument number 1
-------------------------


(subclass ComputerNetwork ComputationalSystem) QoSontology.kif 25-25 Computer network is a subclass of computational system
(documentation ComputerNetwork EnglishLanguage "The network includes the network operating system in the client and server machines, the cables connecting them and all supporting hardware in between such as bridges, routers and switches.") QoSontology.kif 26-29 Computer network is a subclass of computational system
(subclass ComputerNetwork RealtimeSystem) QoSontology.kif 1432-1432 Computer network is a subclass of realtime system

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


(subclass WirelessNetwork ComputerNetwork) ComputingBrands.kif 1408-1408 Wireless network is a subclass of computer network
(subclass AirPrint ComputerNetwork) ComputingBrands.kif 1872-1872 AirPrint is a subclass of computer network
(subclass LAN ComputerNetwork) QoSontology.kif 31-31 LAN is a subclass of computer network
(termFormat EnglishLanguage ComputerNetwork "computer network") domainEnglishFormat.kif 16326-16326 LAN is a subclass of computer network
(termFormat ChineseTraditionalLanguage ComputerNetwork "計算機網絡") domainEnglishFormat.kif 16327-16327 LAN is a subclass of computer network
(termFormat ChineseLanguage ComputerNetwork "计算机网络") domainEnglishFormat.kif 16328-16328 LAN is a subclass of computer network

appearance as argument number 3
-------------------------


(domainSubclass NetworkCommunicationFn 1 ComputerNetwork) ComputingBrands.kif 1521-1521 The number 1 argument of network communication function is a subclass of computer network
(domain defaultNetwork 2 ComputerNetwork) QoSontology.kif 1100-1100 The number 2 argument of default network is an instance of computer network
(domain bandwidth 1 ComputerNetwork) QoSontology.kif 1149-1149 The number 1 argument of bandwidth of is an instance of computer network

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


(=>
    (instance ?CS ComputerSystem)
    (exists (?C1 ?C2 ?CN)
        (and
            (instance ?C1 Computer)
            (instance ?C2 Computer)
            (instance ?CN ComputerNetwork)
            (member ?C1 ?CS)
            (member ?C2 ?CS)
            (member ?CN ?CS)
            (not
                (equal ?C1 ?C2))
            (connectedEngineeringComponents ?C1 ?CN)
            (connectedEngineeringComponents ?C2 ?CN))))		 ComputingBrands.kif 3231-3244 If X is an instance of computer system, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of computer (3) Z is an instance of computer (4) W is an instance of computer network (5) Y is a member of X (6) Z is a member of X (7) W is a member of X (8) equal Y (9) Z (10) Y is connected to W (11) Z is connected to W
(=>
    (instance ?NM NetworkMessaging)
    (exists (?CN)
        (and
            (instance ?CN ComputerNetwork)
            (instrument ?NM ?CN))))		 ComputingBrands.kif 4079-4084 If X is an instance of network messaging, then there exists Y such that Y is an instance of computer network and Y is an instrument for X
(=>
    (instance ?System HardwareSystem)
    (exists (?Processor ?Memory ?Network)
        (and
            (instance ?Processor CPU)
            (component ?System ?Processor)
            (instance ?Memory ComputerMemory)
            (component ?System ?Memory)
            (instance ?Network ComputerNetwork)
            (component ?System ?Network))))		 QoSontology.kif 305-314 If X is an instance of hardware system, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of CPU (3) X is a component of Y (4) Z is an instance of computer memory (5) X is a component of Z (6) W is an instance of computer network (7) X is a component of W
(=>
    (and
        (instance ?System HardwareSystem)
        (component ?Network ?System)
        (instance ?Event DataTransfer)
        (origin ?Event ?System))
    (and
        (instance ?Network ComputerNetwork)
        (instrument ?Event ?Network)))		 QoSontology.kif 319-327 If X is an instance of hardware system, Y is a component of X, Z is an instance of data transfer, and Z originates at X, then Y is an instance of computer network and Y is an instrument for Z
(=>
    (instance ?NA NetworkAdapter)
    (exists (?Net)
        (and
            (instance ?Net ComputerNetwork)
            (connected ?NA ?Net))))		 QoSontology.kif 927-932 If X is an instance of network adapter, then there exists Y such that Y is an instance of computer network and X is connected to Y


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners