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 1290-1290
(subclass Computer ElectricDevice)	QoSontology.kif 25-25	subclass Computer and ElectricDevice

appearance as argument number 2

(subclass AppleComputer Computer)	ComputingBrands.kif 98-98	subclass AppleComputer and Computer
(subclass EngineControlModule Computer)	Cars.kif 2499-2499	subclass EngineControlModule and Computer
(subclass IgnitionControlModule Computer)	Cars.kif 3152-3152	subclass IgnitionControlModule and Computer
(subclass PortableComputer Computer)	Mid-level-ontology.kif 27738-27738	subclass PortableComputer and Computer
(termFormat ChineseLanguage Computer "电脑")	domainEnglishFormat.kif 16246-16246
(termFormat ChineseTraditionalLanguage Computer "電腦")	domainEnglishFormat.kif 16245-16245
(termFormat EnglishLanguage Computer "computer")	domainEnglishFormat.kif 16244-16244

appearance as argument number 3

(domain computerRunning 2 Computer)	QoSontology.kif 201-201	domain computerRunning, 2 and Computer
(domain connectedPeripheral 2 Computer)	ComputingBrands.kif 3523-3523	domain connectedPeripheral, 2 and Computer
(domain deviceAccount 2 Computer)	ComputingBrands.kif 3871-3871	domain deviceAccount, 2 and Computer
(domain hardwareType 2 Computer)	QoSontology.kif 1021-1021	domain hardwareType, 2 and Computer
(domain hostJitter 1 Computer)	QoSontology.kif 2135-2135	domain hostJitter, 1 and Computer
(domain hostOf 2 Computer)	QoSontology.kif 548-548	domain hostOf, 2 and Computer
(domain hostStatus 1 Computer)	QoSontology.kif 2117-2117	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 4206-4206	domain trustedDevice, 2 and Computer
(domainSubclass canRunOn 2 Computer)	QoSontology.kif 350-350	domainSubclass canRunOn, 2 and Computer
(domainSubclass deviceOS 2 Computer)	ComputingBrands.kif 703-703	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 3466-3475	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) (objectTransferred ?SU ?P) (instance ?P ComputerProgram)) (exists (?POLD ?DSD) (and (instance ?POLD ComputerProgram) (instance ?DSD DataStorageDevice) (connectedPeripheral ?DSD ?C) (stored ?POLD ?DSD) (softwareVersion ?P ?POLD))))	ComputingBrands.kif 3825-3838	instance Transfer and ソフトウェアの更新 patient Transfer and Computer instance Computer and Computer objectTransferred Transfer and Object instance Object and ComputerProgram ObjectOLD DataStorageDevice instance ObjectOLD and ComputerProgram instance DataStorageDevice and DataStorageDevice connectedPeripheral DataStorageDevice and Computer stored ObjectOLD and DataStorageDevice softwareVersion Object and ObjectOLD

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 5133-5157	instance Collection and Organization attribute Collection and ComputerAndElectronicProductManufacturing Agent Object member Object and Collection agent Object and Agent Entity Object 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 Object and Collection instance Agent and Selling agent Agent and Object 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 ?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 3310-3323	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 3985-3992	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 3774-3785	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 1309-1316	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 1619-1625	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 4267-4278	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