TreeView Knowledge Base Browser - Computer

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Computer

Computer

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://www.adampease.org/Articulate/SUMOpictures/ pictures/ signs_symbol/ bullets/ computer_20.png")	pictureList.kif 363-363
(lexicon Computer LexNoun "computer")	engineering.kif 1291-1291
(subclass Computer ElectricDevice)	QoSontology.kif 25-25	subclass Computer and ElectricDevice

appearance as argument number 2

(subclass AppleComputer Computer)	ComputingBrands.kif 94-94	subclass AppleComputer and Computer
(subclass EngineControlModule Computer)	Cars.kif 2512-2512	subclass EngineControlModule and Computer
(subclass IgnitionControlModule Computer)	Cars.kif 3177-3177	subclass IgnitionControlModule and Computer
(subclass PortableComputer Computer)	Mid-level-ontology.kif 28942-28942	subclass PortableComputer and Computer
(termFormat ChineseLanguage Computer "电脑")	domainEnglishFormat.kif 16239-16239
(termFormat ChineseTraditionalLanguage Computer "電腦")	domainEnglishFormat.kif 16238-16238
(termFormat EnglishLanguage Computer "computer")	domainEnglishFormat.kif 16237-16237

appearance as argument number 3

(domain computerRunning 2 Computer)	QoSontology.kif 201-201	domain computerRunning, 2 and Computer
(domain connectedPeripheral 2 Computer)	ComputingBrands.kif 3499-3499	domain connectedPeripheral, 2 and Computer
(domain deviceAccount 2 Computer)	ComputingBrands.kif 3914-3914	domain deviceAccount, 2 and Computer
(domain hardwareType 2 Computer)	QoSontology.kif 1021-1021	domain hardwareType, 2 and Computer
(domain hostJitter 1 Computer)	QoSontology.kif 2134-2134	domain hostJitter, 1 and Computer
(domain hostOf 2 Computer)	QoSontology.kif 548-548	domain hostOf, 2 and Computer
(domain hostStatus 1 Computer)	QoSontology.kif 2116-2116	domain hostStatus, 1 and Computer
(domain ipAddressOf 1 Computer)	QoSontology.kif 760-760	domain ipAddressOf, 1 and Computer
(domain numberOfCPUs 1 Computer)	QoSontology.kif 1013-1013	domain numberOfCPUs, 1 and Computer
(domain runningOn 2 Computer)	QoSontology.kif 186-186	domain runningOn, 2 and Computer
(domain runsOn 2 Computer)	QoSontology.kif 337-337	domain runsOn, 2 and Computer
(domain thresholdOf 1 Computer)	QoSontology.kif 1039-1039	domain thresholdOf, 1 and Computer
(domain trustedDevice 2 Computer)	ComputingBrands.kif 4249-4249	domain trustedDevice, 2 and Computer
(domainSubclass canRunOn 2 Computer)	QoSontology.kif 350-350	domainSubclass canRunOn, 2 and Computer
(domainSubclass deviceOS 2 Computer)	ComputingBrands.kif 696-696	domainSubclass deviceOS, 2 and Computer

antecedent

(=> (and (instance ?J Jailbreaking) (instance ?D Computer) (patient ?J ?D) (manufacturer ?D ?C)) (not (desires ?C (exists (?A) (agent ?J ?A)))))	ComputingBrands.kif 3442-3451	instance Process and クラッキング instance Object and Computer patient Process and Object manufacturer Object and CognitiveAgent desires CognitiveAgent and entity agent Process and entity
(=> (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 3789-3803	instance Transfer and ソフトウェアの更新 patient Transfer and Entity instance Entity and Computer Object objectTransferred Transfer and Object instance Object and ComputerProgram holdsDuring BeginFn WhenFn Transfer and softwareVersion Object and PreviousVersion holdsDuring EndFn WhenFn Transfer and softwareVersion Object and CurrentVersion
(=> (holdsDuring ?T (and (instance ?C Computer) (attribute ?C AirplaneMode))) (not (holdsDuring ?T (capability (NetworkCommunicationFn WirelessNetwork) origin ?C))))	ComputingBrands.kif 1788-1795	holdsDuring TimePosition and instance entity and Computer attribute entity and スタンドアロンモード holdsDuring TimePosition and capability ％1 を介した通信, origin and entity

consequent

(<=> (instance ?Hardware ComputerHardware) (exists (?Computer) (and (instance ?Computer Computer) (component ?Hardware ?Computer))))	QoSontology.kif 63-68	instance CorpuscularObject and ComputerHardware CorpuscularObject instance CorpuscularObject and Computer component CorpuscularObject and CorpuscularObject
(=> (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) (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	instance Collection and Organization attribute Collection and ComputerAndElectronicProductManufacturing Agent Process member Process and Collection agent Process and Agent Entity Process and Agent instance Agent and Manufacture instance Entity and Computer instance Entity and Machine Agent patient Agent and Entity resource Agent and Object instance Object and Electricity patient Agent and Entity member Process and Collection instance Agent and Selling agent Agent and Process patient Agent and Entity
(=> (attribute ?User ComputerUser) (exists (?Computer) (and (instance ?Computer Computer) (uses ?User ?Computer))))	QoSontology.kif 1728-1733	attribute Object and ComputerUser Agent instance Agent and Computer uses Object and Agent
(=> (instance ?ACT UploadingOverNetwork) (exists (?DATA ?COM) (and (patient ?ACT ?DATA) (instance ?COM Computer) (origin ?ACT ?COM) (instance ?DATA DigitalData))))	ComputerInput.kif 2775-2782	instance Process and UploadingOverNetwork Entity Object patient Process and Entity instance Object and Computer origin Process and Object instance Entity and DigitalData
(=> (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 3290-3303	instance Collection and ComputerSystem EngineeringComponent EngineeringComponent and EngineeringComponent instance EngineeringComponent and Computer instance EngineeringComponent and Computer instance EngineeringComponent and ComputerNetwork member EngineeringComponent and Collection member EngineeringComponent and Collection member EngineeringComponent and Collection equal EngineeringComponent and EngineeringComponent connectedEngineeringComponents EngineeringComponent and EngineeringComponent connectedEngineeringComponents EngineeringComponent and EngineeringComponent
(=> (instance ?D DHCPServer) (exists (?PROG ?C) (and (instance ?C Computer) (instance ?PROG DHCPProgram) (computerRunning ?D ?C) (programRunning ?D ?PROG))))	ComputingBrands.kif 4028-4035	instance ComputerProcess and DHCPServer ComputerProgram Computer instance Computer and Computer instance ComputerProgram and DHCPProgram computerRunning ComputerProcess and Computer programRunning ComputerProcess and ComputerProgram
(=> (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 3764-3775	instance Process and MountingADevice Entity Entity instance Entity and Computer instance Entity and ComputerIODevice patient Process and Entity patient Process and Entity holdsDuring WhenFn Process and connectedEngineeringComponents Entity and Entity holdsDuring ImmediateFutureFn WhenFn Process and connectedPeripheral Entity and Entity
(=> (instance ?PROCESS ITProcess) (exists (?AGENT ?PATIENT) (and (agent ?PROCESS ?AGENT) (patient ?PROCESS ?PATIENT) (instance ?AGENT ITAgent) (instance ?PATIENT Computer))))	engineering.kif 1310-1317	instance Process and ITProcess Agent Entity agent Process and Agent patient Process and Entity instance Agent and ITAgent instance Entity and Computer
(=> (instance ?Process ComputerProcess) (exists (?Computer ?Program) (and (instance ?Computer Computer) (computerRunning ?Process ?Computer) (instance ?Program ComputerProgram) (programRunning ?Process ?Program))))	QoSontology.kif 155-162	instance ComputerProcess and ComputerProcess Computer ComputerProgram instance Computer and Computer computerRunning ComputerProcess and Computer instance ComputerProgram and ComputerProgram programRunning ComputerProcess and ComputerProgram
(=> (instance ?X BusinessCenter) (modalAttribute (exists (?COMP) (and (instance ?COMP Computer) (located ?COMP ?X))) Likely))	Hotel.kif 1645-1651	instance Entity and BusinessCenter modalAttribute entity instance entity and Computer located entity and Entity and Likely
(=> (loggedInDuring ?A ?UA ?T) (modalAttribute (holdsDuring ?T (exists (?P) (and (instance ?P ComputerProcess) (agent ?P ?A) (deviceAccount ?UA ?C) (instance ?C Computer) (computerRunning ?P ?C) (instrument ?P ?C)))) Possibility))	ComputingBrands.kif 4310-4321	loggedInDuring Agent, UserAccount and TimeInterval modalAttribute holdsDuring TimeInterval and entity instance entity and ComputerProcess agent entity and Agent deviceAccount UserAccount and entity instance entity and Computer computerRunning entity and entity instrument entity and entity and 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