TreeView Knowledge Base Browser - Computer

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language: Formal Language:

KB Term:			Term intersection

English Word:

SukaimaniyahIraq

Sigma KEE - 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

s__documentation(s__Computer, s__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
s__externalImage(s__Computer, "http://articulatesoftware_com/SUMOpictures/signs_symbol/bullets/computer_20_png")	pictureList.kif 363-363
s__lexicon(s__Computer, s__LexNoun, "computer")	engineering.kif 1605-1605
s__subclass(s__Computer, s__ElectricDevice)	QoSontology.kif 25-25	Computer is a subclass of ElectricDevice

appearance as argument number 2

s__subclass(s__AppleComputer, s__Computer)	ComputingBrands.kif 101-101	AppleComputer is a subclass of Computer
s__subclass(s__EngineControlModule, s__Computer)	Cars.kif 2496-2496	EngineControlModule is a subclass of Computer
s__subclass(s__IgnitionControlModule, s__Computer)	Cars.kif 3238-3238	IgnitionControlModule is a subclass of Computer
s__subclass(s__PortableComputer, s__Computer)	Mid-level-ontology.kif 31435-31435	PortableComputer is a subclass of Computer
s__termFormat(s__ChineseLanguage, s__Computer, "电脑")	domainEnglishFormat.kif 16256-16256	PortableComputer is a subclass of Computer
s__termFormat(s__ChineseTraditionalLanguage, s__Computer, "電腦")	domainEnglishFormat.kif 16255-16255	PortableComputer is a subclass of Computer
s__termFormat(s__EnglishLanguage, s__Computer, "computer")	domainEnglishFormat.kif 16254-16254	PortableComputer is a subclass of Computer

appearance as argument number 3

s__domain(s__computerRunning__m, 2, s__Computer)	QoSontology.kif 204-204	The number 2 argument of computerRunning is an instance of Computer
s__domain(s__connectedPeripheral__m, 2, s__Computer)	ComputingBrands.kif 3529-3529	The number 2 argument of connectedPeripheral is an instance of Computer
s__domain(s__deviceAccount__m, 2, s__Computer)	ComputingBrands.kif 3946-3946	The number 2 argument of deviceAccount is an instance of Computer
s__domain(s__hardwareType__m, 2, s__Computer)	QoSontology.kif 1132-1132	The number 2 argument of hardwareType is an instance of Computer
s__domain(s__hostJitter__m, 1, s__Computer)	QoSontology.kif 2261-2261	The number 1 argument of hostJitter is an instance of Computer
s__domain(s__hostOf__m, 2, s__Computer)	QoSontology.kif 658-658	The number 2 argument of hostOf is an instance of Computer
s__domain(s__hostStatus__m, 1, s__Computer)	QoSontology.kif 2243-2243	The number 1 argument of hostStatus is an instance of Computer
s__domain(s__ipAddressOf__m, 1, s__Computer)	QoSontology.kif 871-871	The number 1 argument of ipAddressOf is an instance of Computer
s__domain(s__numberOfCPUs__m, 1, s__Computer)	QoSontology.kif 1124-1124	The number 1 argument of numberOfCPUs is an instance of Computer
s__domain(s__runningOn__m, 2, s__Computer)	QoSontology.kif 189-189	The number 2 argument of runningOn is an instance of Computer
s__domain(s__runsOn__m, 2, s__Computer)	QoSontology.kif 340-340	The number 2 argument of runsOn is an instance of Computer
s__domain(s__thresholdOf__m, 1, s__Computer)	QoSontology.kif 1143-1143	The number 1 argument of thresholdOf is an instance of Computer
s__domain(s__trustedDevice__m, 2, s__Computer)	ComputingBrands.kif 4281-4281	The number 2 argument of trustedDevice is an instance of Computer
s__domainSubclass(s__canRunOn__m, 2, s__Computer)	QoSontology.kif 353-353	The number 2 argument of canRunOn is a subclass of Computer
s__domainSubclass(s__deviceOS__m, 2, s__Computer)	ComputingBrands.kif 728-728	The number 2 argument of deviceOS is a subclass of Computer

antecedent

! [V__C : $i,V__D : $i,V__J : $i,V__CLASS : $i] : (((s__instance(V__J, s__Jailbreaking) & s__instance(V__D, s__Computer) & s__instance(V__D, V__CLASS) & s__patient(V__J, V__D) & s__manufacturer(V__CLASS, V__C)) => ~(s__desires(V__C, ( ? [V__A:$i] : (s__agent(V__J, V__A)))))))	ComputingBrands.kif 3472-3482	If a process is an instance of Jailbreaking 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 manufacturer a kind of object and 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
! [V__SU : $i,V__C : $i] : (((s__instance(V__SU, s__SoftwareUpgrading) & s__patient(V__SU, V__C) & s__instance(V__C, s__Computer)) => ( ? [V__P:$i] : ((s__objectTransferred(V__SU, V__P) & s__instance(V__P, s__ComputerProgram) & s__holdsDuring(s__BeginFn(s__WhenFn(V__SU)), s__softwareVersion(V__P, s__PreviousVersion)) & s__holdsDuring(s__EndFn(s__WhenFn(V__SU)), s__softwareVersion(V__P, s__CurrentVersion)))))))	ComputingBrands.kif 3821-3835	If a transfer is an instance of SoftwareUpgrading and an entity is a patient of the transfer and the entity is an instance of Computer, then there exists an object such that objectTransferred the transfer and the object and the object is an instance of computer program and softwareVersion the object and PreviousVersion holds during the beginning of the time of existence of the transfer and softwareVersion the object and CurrentVersion holds during the end of the time of existence of the transfer
! [V__X : $i] : (((s__property(V__X, s__Booting) & s__instance(V__X, s__Computer)) => ( ? [V__CD:$i, V__OS:$i, V__DT:$i] : ((s__instance(V__CD, s__DigitalData) & s__instance(V__OS, s__OperatingSystem) & s__instance(V__DT, s__DataTransfer) & s__during(s__WhenFn(V__DT), s__WhenFn(V__X)) & s__destination(V__DT, V__X) & s__part(V__CD, V__OS) & s__objectTransferred(V__DT, V__CD))))))	ComputingBrands.kif 3213-3225	If a physical the attribute Booting 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 DigitalData and the other object is an instance of OperatingSystem and the transfer is an instance of DataTransfer 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 objectTransferred the transfer and the object
(s__holdsDuring(V__T, (s__instance(V__C, s__Computer) & s__attribute(V__C, s__AirplaneMode))) => ~(s__holdsDuring(V__T, s__capability(s__NetworkCommunicationFn(s__WirelessNetwork), s__origin__m, V__C))))	ComputingBrands.kif 1820-1827	If an entity is an instance of Computer and AirplaneMode is an attribute of the entity holds during a time position, then the entity is capable of doing NetworkCommunicationFn WirelessNetwork as a origin doesn't hold during the time position

consequent

! [V__Hardware : $i] : (((s__instance(V__Hardware, s__ComputerHardware) => ( ? [V__Computer:$i] : ((s__instance(V__Computer, s__Computer) & s__component(V__Hardware, V__Computer))))) & (( ? [V__Computer:$i] : ((s__instance(V__Computer, s__Computer) & s__component(V__Hardware, V__Computer)))) => s__instance(V__Hardware, s__ComputerHardware))))	QoSontology.kif 63-68	A corpuscular object is an instance of ComputerHardware 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
((s__instance(V__ORG, s__Organization) & s__attribute(V__ORG, s__ComputerAndElectronicProductManufacturing)) => ( ? [V__EV:$i, V__MEM:$i] : ((s__member(V__MEM, V__ORG) & s__agent(V__MEM, V__EV) & ( ? [V__THING:$i, V__MEM2:$i, V__EV2:$i] : ((s__instance(V__EV, s__Manufacture) & (s__instance(V__THING, s__Computer) \| (s__instance(V__THING, s__Machine) & ( ? [V__EV3, V__ELEC] : ((s__patient(V__EV3, V__THING) & s__resource(V__EV3, V__ELEC) & s__instance(V__ELEC, s__Electricity)))))) & s__patient(V__EV, V__THING) & s__member(V__MEM2, V__ORG) & s__instance(V__EV2, s__Selling) & s__agent(V__EV2, V__MEM2) & s__patient(V__EV2, V__THING))))))))	naics.kif 5126-5150	If a collection is an instance of organization and ComputerAndElectronicProductManufacturing 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
! [V__User : $i] : ((s__attribute(V__User, s__ComputerUser) => ( ? [V__Computer:$i] : ((s__instance(V__Computer, s__Computer) & s__uses(V__Computer, V__User))))))	QoSontology.kif 1854-1859	If ComputerUser 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
! [V__ACT : $i] : ((s__instance(V__ACT, s__UploadingOverNetwork) => ( ? [V__DATA:$i, V__COM:$i] : ((s__patient(V__ACT, V__DATA) & s__instance(V__COM, s__Computer) & s__origin(V__ACT, V__COM) & s__instance(V__DATA, s__DigitalData))))))	ComputerInput.kif 2779-2786	If a process is an instance of UploadingOverNetwork, 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 DigitalData
! [V__CS : $i] : ((s__instance(V__CS, s__ComputerSystem) => ( ? [V__C1:$i, V__C2:$i, V__CN:$i] : ((s__instance(V__C1, s__Computer) & s__instance(V__C2, s__Computer) & s__instance(V__CN, s__ComputerNetwork) & s__member(V__C1, V__CS) & s__member(V__C2, V__CS) & s__member(V__CN, V__CS) & ~(V__C1 = V__C2) & s__connectedEngineeringComponents(V__C1, V__CN) & s__connectedEngineeringComponents(V__C2, V__CN))))))	ComputingBrands.kif 3320-3333	If a collection is an instance of ComputerSystem, 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 ComputerNetwork 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 equal the engineering component and 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
! [V__D : $i] : ((s__instance(V__D, s__DHCPServer) => ( ? [V__PROG:$i, V__C:$i] : ((s__instance(V__C, s__Computer) & s__instance(V__PROG, s__DHCPProgram) & s__computerRunning(V__D, V__C) & s__programRunning(V__D, V__PROG))))))	ComputingBrands.kif 4060-4067	If a ComputerProcess is an instance of DHCPServer, 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 computerRunning the ComputerProcess and the Computer and programRunning the ComputerProcess and the computer program
! [V__MD : $i] : ((s__instance(V__MD, s__MountingADevice) => ( ? [V__C:$i, V__P:$i] : ((s__instance(V__C, s__Computer) & s__instance(V__P, s__ComputerIODevice) & s__patient(V__MD, V__C) & s__patient(V__MD, V__P) & s__holdsDuring(s__WhenFn(V__MD), s__connectedEngineeringComponents(V__C, V__P)) & s__holdsDuring(s__ImmediateFutureFn(s__WhenFn(V__MD)), s__connectedPeripheral(V__P, V__C)))))))	ComputingBrands.kif 3796-3807	If a process is an instance of MountingADevice, 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 connectedPeripheral the other entity and the entity holds during immediately after the time of existence of the process
! [V__PROCESS : $i] : ((s__instance(V__PROCESS, s__ITProcess) => ( ? [V__AGENT:$i, V__PATIENT:$i] : ((s__agent(V__PROCESS, V__AGENT) & s__patient(V__PROCESS, V__PATIENT) & s__instance(V__AGENT, s__ITAgent) & s__instance(V__PATIENT, s__Computer))))))	engineering.kif 1624-1631	If a process is an instance of ITProcess, 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 ITAgent and the entity is an instance of Computer
! [V__Process : $i] : ((s__instance(V__Process, s__ComputerProcess) => ( ? [V__Computer:$i, V__Program:$i] : ((s__instance(V__Computer, s__Computer) & s__computerRunning(V__Process, V__Computer) & s__instance(V__Program, s__ComputerProgram) & s__programRunning(V__Process, V__Program))))))	QoSontology.kif 158-165	If a ComputerProcess is an instance of ComputerProcess, then there exist a Computer and a computer program such that the Computer is an instance of Computer and computerRunning the ComputerProcess and the Computer and the computer program is an instance of computer program and programRunning the ComputerProcess and the computer program
! [V__X : $i] : ((s__instance(V__X, s__BusinessCenter) => s__modalAttribute(( ? [V__COMP:$i] : ((s__instance(V__COMP, s__Computer) & s__located(V__COMP, V__X)))), s__Likely)))	Hotel.kif 1681-1687	If an entity is an instance of BusinessCenter, 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
! [V__A : $i,V__T : $i,V__UA : $i] : ((s__loggedInDuring(V__A, V__UA, V__T) => s__modalAttribute(s__holdsDuring(V__T, ( ? [V__P:$i, V__C:$i] : ((s__instance(V__P, s__ComputerProcess) & s__agent(V__P, V__A) & s__deviceAccount(V__UA, V__C) & s__instance(V__C, s__Computer) & s__computerRunning(V__P, V__C) & s__instrument(V__P, V__C))))), s__Possibility)))	ComputingBrands.kif 4342-4353	If loggedInDuring an agent, an UserAccount and a time interval, then the statement there exist an entity and another entity such that the entity is an instance of ComputerProcess and the agent is an agent of the entity and deviceAccount the UserAccount and the other entity and the other entity is an instance of Computer and computerRunning the entity and 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 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 is open source software produced by Articulate Software and its partners