Computer - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] 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

(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
(externalImage Computer "http://articulatesoftware.com/SUMOpictures/signs_symbol/ bullets/ computer_20.png")	pictureList.kif 363-363
(lexicon Computer LexNoun "computer")	engineering.kif 1292-1292
(subclass Computer ElectricDevice)	QoSontology.kif 25-25	Computer is a subclass of electric device

appearance as argument number 2

(subclass AppleComputer Computer)	ComputingBrands.kif 101-101	Apple Computer is a subclass of computer
(subclass EngineControlModule Computer)	Cars.kif 2495-2495	Engine control module is a subclass of computer
(subclass IgnitionControlModule Computer)	Cars.kif 3162-3162	Ignition control module is a subclass of computer
(subclass PortableComputer Computer)	Mid-level-ontology.kif 29814-29814	Portable computer is a subclass of computer
(termFormat ChineseLanguage Computer "电脑")	domainEnglishFormat.kif 16264-16264	Portable computer is a subclass of computer
(termFormat ChineseTraditionalLanguage Computer "電腦")	domainEnglishFormat.kif 16263-16263	Portable computer is a subclass of computer
(termFormat EnglishLanguage Computer "computer")	domainEnglishFormat.kif 16262-16262	Portable computer is a subclass of computer

appearance as argument number 3

(domain computerRunning 2 Computer)	QoSontology.kif 203-203	The number 2 argument of computer running is an instance of computer
(domain connectedPeripheral 2 Computer)	ComputingBrands.kif 3534-3534	The number 2 argument of connected peripheral is an instance of computer
(domain deviceAccount 2 Computer)	ComputingBrands.kif 3951-3951	The number 2 argument of device account is an instance of computer
(domain hardwareType 2 Computer)	QoSontology.kif 1023-1023	The number 2 argument of hardware type is an instance of computer
(domain hostJitter 1 Computer)	QoSontology.kif 2129-2129	The number 1 argument of host jitter is an instance of computer
(domain hostOf 2 Computer)	QoSontology.kif 550-550	The number 2 argument of host of is an instance of computer
(domain hostStatus 1 Computer)	QoSontology.kif 2111-2111	The number 1 argument of host status is an instance of computer
(domain ipAddressOf 1 Computer)	QoSontology.kif 762-762	The number 1 argument of ip address of is an instance of computer
(domain numberOfCPUs 1 Computer)	QoSontology.kif 1015-1015	The number 1 argument of number of CPUs is an instance of computer
(domain runningOn 2 Computer)	QoSontology.kif 188-188	The number 2 argument of running on is an instance of computer
(domain runsOn 2 Computer)	QoSontology.kif 339-339	The number 2 argument of runs on is an instance of computer
(domain thresholdOf 1 Computer)	QoSontology.kif 1034-1034	The number 1 argument of threshold of is an instance of computer
(domain trustedDevice 2 Computer)	ComputingBrands.kif 4286-4286	The number 2 argument of trusted device is an instance of computer
(domainSubclass canRunOn 2 Computer)	QoSontology.kif 352-352	The number 2 argument of can run on is a subclass of computer
(domainSubclass deviceOS 2 Computer)	ComputingBrands.kif 728-728	The number 2 argument of device OS is a subclass of computer

antecedent

(=> (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 3476-3486	If a process is an instance of cracking and an entity is an instance of computer and the entity is an instance of a kind of object and the entity is a patient of the process and the maker of a kind of object is a cognitive agent, then the cognitive agent doesn't desire there exists another entity such that the other entity is an agent of the process
(=> (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 3826-3840	If a transfer is an instance of software upgrade and an entity is a patient of the transfer and the entity is an instance of computer, then there exists an object such that the object transferred in the transfer is the object and the object is an instance of computer program and holds during the beginning of the time of existence of the transfer and holds during the end of the time of existence of the transfer
(=> (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 3217-3229	If a physical the attribute booting up and the physical is an instance of computer, then there exist an object, another object and a transfer such that the object is an instance of digital data and the other object is an instance of operating system and the transfer is an instance of data transfer and the time of existence of the transfer takes place during the time of existence of the physical and the transfer ends up at the physical and the object is a part of the other object and the object transferred in the transfer is the object
(=> (holdsDuring ?T (and (instance ?C Computer) (attribute ?C AirplaneMode))) (not (holdsDuring ?T (capability (NetworkCommunicationFn WirelessNetwork) origin ?C))))	ComputingBrands.kif 1820-1827	If an entity is an instance of computer and Standalone mode is an attribute of the entity holds during a time position, then the entity is capable of doing communication over wireless network as a origin doesn't hold during the time position

consequent

(<=> (instance ?Hardware ComputerHardware) (exists (?Computer) (and (instance ?Computer Computer) (component ?Hardware ?Computer))))	QoSontology.kif 63-68	A corpuscular object is an instance of computer hardware if and only if there exists another corpuscular object such that the other corpuscular object is an instance of computer and the corpuscular object is a component of the other corpuscular object
(=> (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 a collection is an instance of organization and computer and electronic product manufacturing is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exist an entity, the process2 and the agent2 such that the agent is an instance of manufacture and the entity is an instance of computer or the entity is an instance of machine and there exist the agent3 and an object such that the entity is a patient of the agent3 and the object is a resource for the agent3 and the object is an instance of electricity and the entity is a patient of the agent and the process2 is a member of the collection and the agent2 is an instance of selling and the process2 is an agent of the agent2 and the entity is a patient of the agent2
(=> (attribute ?User ComputerUser) (exists (?Computer) (and (instance ?Computer Computer) (uses ?Computer ?User))))	QoSontology.kif 1723-1728	If computer user is an attribute of an agent, then there exists an object such that the object is an instance of computer and the agent uses the object
(=> (instance ?ACT UploadingOverNetwork) (exists (?DATA ?COM) (and (patient ?ACT ?DATA) (instance ?COM Computer) (origin ?ACT ?COM) (instance ?DATA DigitalData))))	ComputerInput.kif 2779-2786	If a process is an instance of uploading, then there exist an entity and an object such that the entity is a patient of the process and the object is an instance of computer and the process originates at the object and the entity 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 3324-3337	If a collection is an instance of computer system, then there exist an engineering component, another engineering component and a third engineering component such that the engineering component is an instance of computer and the other engineering component is an instance of computer and the third engineering component is an instance of computer network and the engineering component is a member of the collection and the other engineering component is a member of the collection and the third engineering component is a member of the collection and the engineering component is not equal to the other engineering component and the engineering component is connected to the third engineering component and the other engineering component is connected to the third engineering component
(=> (instance ?D DHCPServer) (exists (?PROG ?C) (and (instance ?C Computer) (instance ?PROG DHCPProgram) (computerRunning ?D ?C) (programRunning ?D ?PROG))))	ComputingBrands.kif 4065-4072	If a computer process is an instance of DHCP server, then there exist a computer program and a computer such that the computer is an instance of computer and the computer program is an instance of DHCP program and the computer process is running on the computer and the computer program is a program running of the computer process
(=> (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 3801-3812	If a process is an instance of mounting, then there exist an entity and another entity such that the entity is an instance of computer and the other entity is an instance of computer I/O device and the entity is a patient of the process and the other entity is a patient of the process and the entity is connected to the other entity holds during the time of existence of the process and the other entity is a connected peripheral of the entity holds during immediately after the time of existence of the process
(=> (instance ?PROCESS ITProcess) (exists (?AGENT ?PATIENT) (and (agent ?PROCESS ?AGENT) (patient ?PROCESS ?PATIENT) (instance ?AGENT ITAgent) (instance ?PATIENT Computer))))	engineering.kif 1311-1318	If a process is an instance of IT process, then there exist an agent and an entity such that the agent is an agent of the process and the entity is a patient of the process and the agent is an instance of IT agent and the entity is an instance of computer
(=> (instance ?Process ComputerProcess) (exists (?Computer ?Program) (and (instance ?Computer Computer) (computerRunning ?Process ?Computer) (instance ?Program ComputerProgram) (programRunning ?Process ?Program))))	QoSontology.kif 157-164	If a computer process is an instance of computer process, then there exist a computer and a computer program such that the computer is an instance of computer and the computer process is running on the computer and the computer program is an instance of computer program and the computer program is a program running of the computer process
(=> (instance ?X BusinessCenter) (modalAttribute (exists (?COMP) (and (instance ?COMP Computer) (located ?COMP ?X))) Likely))	Hotel.kif 1670-1676	If an entity is an instance of business center, then the statement there exists another entity such that the other entity is an instance of computer and the other entity is located at the entity has the modal force of likely
(=> (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 4347-4358	If an agent is logged-in to an user account during a time interval, then the statement there exist an entity and another entity such that the entity is an instance of computer process and the agent is an agent of the entity and device account the user account and the other entity and the other entity is an instance of computer and the entity is running on the other entity and the other entity is an instrument for the entity holds during the time interval has the modal force of possibility

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