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


KB Term:  Term intersection
English Word: 

Sigma KEE - Computer
Computer(computer)
ADPS, ADP_system, PC, PDA, analog_computer, analogue_computer, automatic_data_processing_system, client, computer, computer_system, computing_device, computing_machine, computing_system, data_processor, digital_computer, electronic_computer, file_server, guest, home_computer, information_processing_system, mainframe, mainframe_computer, microcomputer, node, non-dedicated_file_server, number_cruncher, organiser, organizer, pari-mutuel_machine, personal_computer, personal_digital_assistant, personal_organiser, personal_organizer, platform, predictor, supercomputer, totalisator, totaliser, totalizator, totalizer, workstation

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


(subclass Computer ElectricDevice) QoSontology.kif 25-25 Computer is a subclass of electric device
(documentation Computer EnglishLanguage "A general-purpose machine that processes data according to a set of instructions that are stored internally either temporarily or permanently.") QoSontology.kif 26-28 Computer is a subclass of electric device
(defaultMinimumHeight Computer
    (MeasureFn 15 Inch))		 DimensioningAmenities.kif 432-432 The minimum expected height of computer is 15 inch(s)
(defaultMaximumHeight Computer
    (MeasureFn 23 Inch))		 DimensioningAmenities.kif 433-433 The maximum expected height of computer is 23 inch(s)
(defaultMinimumWidth Computer
    (MeasureFn 4 Inch))		 DimensioningAmenities.kif 434-434 The minimum expected width of computer is 4 inch(s)
(defaultMaximumWidth Computer
    (MeasureFn 9 Inch))		 DimensioningAmenities.kif 435-435 The maximum expected width of computer is 9 inch(s)
(defaultMinimumLength Computer
    (MeasureFn 19 Inch))		 DimensioningAmenities.kif 436-436 The minimum expected length of computer is 19 inch(s)
(defaultMaximumLength Computer
    (MeasureFn 24 Inch))		 DimensioningAmenities.kif 437-437 The maximum expected length of computer is 24 inch(s)
(defaultMinimumMeasure Computer
    (MeasureFn 5 PoundMass))		 DimensioningAmenities.kif 438-438 The minimum expected value of computer is 5 pound mass(s)
(defaultMaximumMeasure Computer
    (MeasureFn 30 PoundMass))		 DimensioningAmenities.kif 439-439 The maximum expected value of computer is 30 pound mass(s)
(lexicon Computer LexNoun "computer") engineering.kif 1606-1606 The maximum expected value of computer is 30 pound mass(s)
(externalImage Computer "http://articulatesoftware.com/SUMOpictures/signs_symbol/ bullets/ computer_20.png") pictureList.kif 363-363 The maximum expected value of computer is 30 pound mass(s)

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


(subclass EngineControlModule Computer) Cars.kif 2509-2509 Engine control module is a subclass of computer
(subclass IgnitionControlModule Computer) Cars.kif 3255-3255 Ignition control module is a subclass of computer
(subclass AppleComputer Computer) ComputingBrands.kif 101-101 Apple Computer is a subclass of computer
(subclass PersonalComputer Computer) HouseholdAppliances.kif 417-417 Personal computer is a subclass of computer
(subclass PortableComputer Computer) Mid-level-ontology.kif 32195-32195 Portable computer is a subclass of computer
(termFormat EnglishLanguage Computer "computer") domainEnglishFormat.kif 16248-16248 Portable computer is a subclass of computer
(termFormat ChineseTraditionalLanguage Computer "電腦") domainEnglishFormat.kif 16249-16249 Portable computer is a subclass of computer
(termFormat ChineseLanguage Computer "电脑") domainEnglishFormat.kif 16250-16250 Portable computer is a subclass of computer

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


(domainSubclass deviceOS 2 Computer) ComputingBrands.kif 728-728 The number 2 argument of device OS is a subclass of computer
(domain connectedPeripheral 2 Computer) ComputingBrands.kif 3440-3440 The number 2 argument of connected peripheral is an instance of computer
(domain deviceAccount 2 Computer) ComputingBrands.kif 3857-3857 The number 2 argument of device account is an instance of computer
(domain trustedDevice 2 Computer) ComputingBrands.kif 4192-4192 The number 2 argument of trusted device is an instance of computer
(domain runningOn 2 Computer) QoSontology.kif 189-189 The number 2 argument of running on is an instance of computer
(domain computerRunning 2 Computer) QoSontology.kif 204-204 The number 2 argument of computer running is an instance of computer
(domain runsOn 2 Computer) QoSontology.kif 340-340 The number 2 argument of runs on is an instance of computer
(domainSubclass canRunOn 2 Computer) QoSontology.kif 353-353 The number 2 argument of can run on is a subclass of computer
(domain hostOf 2 Computer) QoSontology.kif 658-658 The number 2 argument of host of is an instance of computer
(domain ipAddressOf 1 Computer) QoSontology.kif 871-871 The number 1 argument of ip address of is an instance of computer
(domain numberOfCPUs 1 Computer) QoSontology.kif 1124-1124 The number 1 argument of number of CPUs is an instance of computer
(domain hardwareType 2 Computer) QoSontology.kif 1132-1132 The number 2 argument of hardware type is an instance of computer
(domain thresholdOf 1 Computer) QoSontology.kif 1143-1143 The number 1 argument of threshold of is an instance of computer
(domain hostStatus 1 Computer) QoSontology.kif 2243-2243 The number 1 argument of host status is an instance of computer
(domain hostJitter 1 Computer) QoSontology.kif 2261-2261 The number 1 argument of host jitter is an instance of computer

antecedent
-------------------------


(=>
    (holdsDuring ?T
        (and
            (instance ?C Computer)
            (attribute ?C AirplaneMode)))
    (not
        (holdsDuring ?T
            (capability
                (NetworkCommunicationFn WirelessNetwork) origin ?C))))		 ComputingBrands.kif 1820-1827 If X is an instance of computer and Standalone mode is an attribute of X holds during Y, then X is not capable of doing communication over wireless network as a origin doesn't hold during Y
(=>
    (and
        (property ?X Booting)
        (instance ?X Computer))
    (exists (?CD ?OS ?DT)
        (and
            (instance ?CD DigitalData)
            (instance ?OS OperatingSystem)
            (instance ?DT DataTransfer)
            (during
                (WhenFn ?DT)
                (WhenFn ?X))
            (destination ?DT ?X)
            (part ?CD ?OS)
            (objectTransferred ?DT ?CD))))		 ComputingBrands.kif 3124-3136 If X the attribute booting up and X is an instance of computer, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of digital data (3) Z is an instance of operating system (4) W is an instance of data transfer (5) the time of existence of W takes place during the time of existence of X (6) W ends up at X (7) Y is a part of Z (8) the object transferred in W is Y
(=>
    (and
        (instance ?J Jailbreaking)
        (instance ?D Computer)
        (instance ?D ?CLASS)
        (patient ?J ?D)
        (manufacturer ?CLASS ?C))
    (not
        (desires ?C
            (exists (?A)
                (agent ?J ?A)))))		 ComputingBrands.kif 3383-3393 If X is an instance of cracking, Y is an instance of computer, Y is an instance of Z, Y is a patient of X, and the maker of Z is W, then W doesn't desire there doesn't exist V such that V is an agent of X
(=>
    (and
        (instance ?SU SoftwareUpgrading)
        (patient ?SU ?C)
        (instance ?C Computer))
    (exists (?P)
        (and
            (objectTransferred ?SU ?P)
            (instance ?P ComputerProgram)
            (holdsDuring
                (BeginFn
                    (WhenFn ?SU))
                (softwareVersion ?P PreviousVersion))
            (holdsDuring
                (EndFn
                    (WhenFn ?SU))
                (softwareVersion ?P CurrentVersion)))))		 ComputingBrands.kif 3732-3746 If X is an instance of software upgrade, Y is a patient of X, and Y is an instance of computer, then there exists Z such that the object transferred in X is Z, Z is an instance of computer program, Z is the software version of Z holds during the beginning of the time of existence of X, and Z is the software version of Z holds during the end of the time of existence of X

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


(=>
    (instance ?ACT UploadingOverNetwork)
    (exists (?DATA ?COM)
        (and
            (patient ?ACT ?DATA)
            (instance ?COM Computer)
            (origin ?ACT ?COM)
            (instance ?DATA DigitalData))))		 ComputerInput.kif 2779-2786 If X is an instance of uploading, then there exist Y, Z such that Y is a patient of X, Z is an instance of computer, X originates at Z, and Y is an instance of digital data
(=>
    (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 ?MD MountingADevice)
    (exists (?C ?P)
        (and
            (instance ?C Computer)
            (instance ?P ComputerIODevice)
            (patient ?MD ?C)
            (patient ?MD ?P)
            (holdsDuring
                (WhenFn ?MD)
                (connectedEngineeringComponents ?C ?P))
            (holdsDuring
                (ImmediateFutureFn
                    (WhenFn ?MD))
                (connectedPeripheral ?P ?C)))))		 ComputingBrands.kif 3707-3718 If X is an instance of mounting, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of computer (3) Z is an instance of computer I/O device (4) Y is a patient of X (5) Z is a patient of X (6) Y is connected to Z holds during the time of existence of X (7) Z is a connected peripheral of Y holds during immediately after the time of existence of X
(=>
    (instance ?D DHCPServer)
    (exists (?PROG ?C)
        (and
            (instance ?C Computer)
            (instance ?PROG DHCPProgram)
            (computerRunning ?D ?C)
            (programRunning ?D ?PROG))))		 ComputingBrands.kif 3971-3978 If X is an instance of DHCP server, then there exist Y, Z such that Z is an instance of computer, Y is an instance of DHCP program, X is running on Z, and Y is a program running of X
(=>
    (loggedInDuring ?A ?UA ?T)
    (modalAttribute
        (holdsDuring ?T
            (exists (?P ?C)
                (and
                    (instance ?P ComputerProcess)
                    (agent ?P ?A)
                    (deviceAccount ?UA ?C)
                    (instance ?C Computer)
                    (computerRunning ?P ?C)
                    (instrument ?P ?C)))) Possibility))		 ComputingBrands.kif 4253-4264 If X is logged_in to Y during Z, then All of the following hold: (1) the statement there exist W (2) V such that W is an instance of computer process (3) X is an agent of W (4) device account Y (5) V (6) V is an instance of computer (7) W is running on V (8) V is an instrument for W holds during Z has the modal force of possibility
(=>
    (instance ?UPLOAD Uploading)
    (exists (?FILE ?COMPUTER ?STORAGEDEVICE)
        (and
            (instance ?UPLOAD Transfer)
            (or
                (instance ?FILE ComputerFile)
                (instance ?FILE ComputerProgram))
            (instance ?COMPUTER Computer)
            (instance ?STORAGEDEVICE DigitalDataStorageDevice)
            (patient ?UPLOAD ?FILE)
            (agent ?UPLOAD ?COMPUTER)
            (origin ?UPLOAD ?COMPUTER)
            (destination ?UPLOAD ?STORAGEDEVICE))))		 Facebook.kif 487-500 If X is an instance of uploading, then All of the following hold: (1) there exist Y, Z (2) W such that X is an instance of transfer (3) Y is an instance of computer file or Y is an instance of computer program (4) Z is an instance of computer (5) W is an instance of digital data storage device (6) Y is a patient of X (7) Z is an agent of X (8) X originates at Z (9) X ends up at W
(=>
    (instance ?DOWNLOAD Downloading)
    (exists (?FILE ?COMPUTER ?STORAGEDEVICE)
        (and
            (instance ?DOWNLOAD Transfer)
            (or
                (instance ?FILE ComputerFile)
                (instance ?FILE ComputerProgram))
            (instance ?COMPUTER Computer)
            (instance ?STORAGEDEVICE DigitalDataStorageDevice)
            (patient ?DOWNLOAD ?FILE)
            (agent ?DOWNLOAD ?COMPUTER)
            (origin ?DOWNLOAD ?STORAGEDEVICE)
            (destination ?DOWNLOAD ?COMPUTER))))		 Facebook.kif 513-526 If X is an instance of downloading, then All of the following hold: (1) there exist Y, Z (2) W such that X is an instance of transfer (3) Y is an instance of computer file or Y is an instance of computer program (4) Z is an instance of computer (5) W is an instance of digital data storage device (6) Y is a patient of X (7) Z is an agent of X (8) X originates at W (9) X ends up at Z
(=>
    (instance ?X BusinessCenter)
    (modalAttribute
        (exists (?COMP)
            (and
                (instance ?COMP Computer)
                (located ?COMP ?X))) Likely))		 Hotel.kif 1681-1687 If X is an instance of business center, then the statement there exists Y such that Y is an instance of computer and Y is located at X has the modal force of likely
(=>
    (instance ?DEVICE ComputerScreen)
    (hasPurpose ?DEVICE
        (exists (?RL ?VIDEO ?SIGNAL ?COMPUTER)
            (and
                (instance ?RL RadiatingVisibleLight)
                (instance ?VIDEO VideoRecording)
                (instance ?SIGNAL Signalling)
                (instance ?COMPUTER Computer)
                (instrument ?RL ?DEVICE)
                (represents ?RL ?VIDEO)
                (agent ?SIGNAL ?COMPUTER)
                (patient ?SIGNAL ?DEVICE)
                (represents ?SIGNAL ?VIDEO)))))		 HouseholdAppliances.kif 525-538 If X is an instance of computer screen, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of radiating visible light (3) Z is an instance of video recording (4) W is an instance of signalling (5) V is an instance of computer (6) X is an instrument for Y (7) Y expresses Z (8) V is an agent of W (9) X is a patient of W (10) W expresses Z
(<=>
    (instance ?Hardware ComputerHardware)
    (exists (?Computer)
        (and
            (instance ?Computer Computer)
            (component ?Hardware ?Computer))))		 QoSontology.kif 63-68 X is an instance of computer hardware if, only if there exists Y such that Y is an instance of computer, and X is a component of Y
(=>
    (instance ?Process ComputerProcess)
    (exists (?Computer ?Program)
        (and
            (instance ?Computer Computer)
            (computerRunning ?Process ?Computer)
            (instance ?Program ComputerProgram)
            (programRunning ?Process ?Program))))		 QoSontology.kif 158-165 If X is an instance of computer process, then there exist Y, Z such that Y is an instance of computer, X is running on Y, Z is an instance of computer program, and Z is a program running of X
(=>
    (attribute ?User ComputerUser)
    (exists (?Computer)
        (and
            (instance ?Computer Computer)
            (uses ?Computer ?User))))		 QoSontology.kif 1854-1859 If computer user is an attribute of X, then there exists Y such that Y is an instance of computer and X uses Y
(=>
    (instance ?PROCESS ITProcess)
    (exists (?AGENT ?PATIENT)
        (and
            (agent ?PROCESS ?AGENT)
            (patient ?PROCESS ?PATIENT)
            (instance ?AGENT ITAgent)
            (instance ?PATIENT Computer))))		 engineering.kif 1625-1632 If X is an instance of IT process, then there exist Y, Z such that Y is an agent of X, Z is a patient of X, Y is an instance of IT agent, and Z is an instance of computer
(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG ComputerAndElectronicProductManufacturing))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?THING ?MEM2 ?EV2)
                (and
                    (instance ?EV Manufacture)
                    (or
                        (instance ?THING Computer)
                        (and
                            (instance ?THING Machine)
                            (exists (?EV3 ?ELEC)
                                (and
                                    (patient ?EV3 ?THING)
                                    (resource ?EV3 ?ELEC)
                                    (instance ?ELEC Electricity)))))
                    (patient ?EV ?THING)
                    (member ?MEM2 ?ORG)
                    (instance ?EV2 Selling)
                    (agent ?EV2 ?MEM2)
                    (patient ?EV2 ?THING))))))		 naics.kif 5126-5150 If X is an instance of organization and computer and electronic product manufacturing is an attribute of X, then All of the following hold: (1) there exist Y (2) Z such that Z is a member of X (3) Y is an agent of Z (4) there exist W, V (5) U such that Y is an instance of manufacture (6) W is an instance of computer or W is an instance of machine (7) there exist T (8) S such that W is a patient of T (9) S is a resource for T (10) S is an instance of electricity (11) W is a patient of Y (12) V is a member of X (13) U is an instance of selling (14) V is an agent of U (15) W is a patient of U


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