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