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

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 26-28
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 363-363
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1290-1290
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 25-25	Computer is a subclass of electric device

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 98-98	AppleComputer is a subclass of computer
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2499-2499	Engine control module is a subclass of computer
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3152-3152	Ignition control module is a subclass of computer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27757-27757	PortableComputer is a subclass of computer
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16171-16171
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16170-16170
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16169-16169

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 201-201	The number 2 argument of computer running is an instance of computer
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3528-3528	The number 2 argument of %1 is a connected peripheral of 2 is an instance of computer
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3876-3876	The number 2 argument of deviceAccount is an instance of computer
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1021-1021	The number 2 argument of hardware type is an instance of computer
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2135-2135	The number 1 argument of host jitter is an instance of computer
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 548-548	The number 2 argument of host of is an instance of computer
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2117-2117	The number 1 argument of host status is an instance of computer
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 760-760	The number 1 argument of ip address of is an instance of computer
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1013-1013	The number 1 argument of number of CPUs is an instance of computer
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 186-186	The number 2 argument of running on is an instance of computer
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 337-337	The number 2 argument of runs on is an instance of computer
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1039-1039	The number 1 argument of threshold of is an instance of computer
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4211-4211	The number 2 argument of trusted device is an instance of computer
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 350-350	The number 2 argument of canRunOn is a subclass of computer
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 705-705	The number 2 argument of deviceOS is a subclass of computer

antecedent

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3471-3480	If a process is an instance of cracking and a kind of object is an instance of computer and a kind of object is a patient of the process and the maker of the kind of object is a cognitive agent, then the cognitive agent doesn't desire there exists an entity such that the entity is an agent of the process
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3830-3843	If a transfer is an instance of software upgrade and a computer is a patient of the transfer and the computer is an instance of computer and the object transferred in the transfer is an object and the object is an instance of computer program, then there exist the objectOLD and a DataStorageDevice such that the objectOLD is an instance of computer program and the DataStorageDevice is an instance of DataStorageDevice and %1 is a connected peripheral of %2 the DataStorageDevice and the computer and the objectOLD is stored on the DataStorageDevice and the object is a later software version of the objectOLD

consequent

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	naics.kif 5133-5157	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 an object such that the object is a member of the collection and the agent is an agent of the object and there exist an entity, the object2 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 exists the agent3 such that the entity is a patient of the agent3 and another object is a resource for the agent3 and the other object is an instance of electricity and the entity is a patient of the agent and the object2 is a member of the collection and the agent2 is an instance of selling and the object2 is an agent of the agent2 and the entity is a patient of the agent2
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1728-1733	If computer user is an attribute of an object, then there exists an agent such that the agent is an instance of computer and the agent uses the object
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3312-3325	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
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3990-3997	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 DHCPProgram and the computer process is running on the computer and the computer program is a program running of the computer process
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3779-3790	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 ComputerIODevice 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 %1 is a connected peripheral of %2 the other entity and the entity holds during immediately after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1309-1316	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
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 155-162	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
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1618-1624	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
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4272-4283	If an agent is logged-in to an user account during a time interval, then the statement there exists an entity such that the entity is an instance of computer process and the agent is an agent of the entity and deviceAccount the user account and another 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners