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(電腦)

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 1605-1605
(subclass Computer ElectricDevice)	QoSontology.kif 25-25	子類電腦 and 電器

appearance as argument number 2

(subclass AppleComputer Computer)	ComputingBrands.kif 101-101	子類 AppleComputer and 電腦
(subclass EngineControlModule Computer)	Cars.kif 2496-2496	子類 EngineControlModule and 電腦
(subclass IgnitionControlModule Computer)	Cars.kif 3238-3238	子類 IgnitionControlModule and 電腦
(subclass PortableComputer Computer)	Mid-level-ontology.kif 31449-31449	子類 PortableComputer and 電腦
(termFormat ChineseLanguage Computer "电脑")	domainEnglishFormat.kif 16257-16257	子類 PortableComputer and 電腦
(termFormat ChineseTraditionalLanguage Computer "電腦")	domainEnglishFormat.kif 16256-16256	子類 PortableComputer and 電腦
(termFormat EnglishLanguage Computer "computer")	domainEnglishFormat.kif 16255-16255	子類 PortableComputer and 電腦

appearance as argument number 3

(domain computerRunning 2 Computer)	QoSontology.kif 204-204	域電腦運行, 2 and 電腦
(domain connectedPeripheral 2 Computer)	ComputingBrands.kif 3529-3529	域 connectedPeripheral, 2 and 電腦
(domain deviceAccount 2 Computer)	ComputingBrands.kif 3946-3946	域 deviceAccount, 2 and 電腦
(domain hardwareType 2 Computer)	QoSontology.kif 1132-1132	域硬件類型, 2 and 電腦
(domain hostJitter 1 Computer)	QoSontology.kif 2261-2261	域主機抖動, 1 and 電腦
(domain hostOf 2 Computer)	QoSontology.kif 658-658	域的主持, 2 and 電腦
(domain hostStatus 1 Computer)	QoSontology.kif 2243-2243	域主持人身份, 1 and 電腦
(domain ipAddressOf 1 Computer)	QoSontology.kif 871-871	域的IP地址, 1 and 電腦
(domain numberOfCPUs 1 Computer)	QoSontology.kif 1124-1124	域 CPU的數量, 1 and 電腦
(domain runningOn 2 Computer)	QoSontology.kif 189-189	域繼續前進, 2 and 電腦
(domain runsOn 2 Computer)	QoSontology.kif 340-340	域能够操作, 2 and 電腦
(domain thresholdOf 1 Computer)	QoSontology.kif 1143-1143	域的門檻, 1 and 電腦
(domain trustedDevice 2 Computer)	ComputingBrands.kif 4281-4281	域 trustedDevice, 2 and 電腦
(domainSubclass canRunOn 2 Computer)	QoSontology.kif 353-353	域子類可以操作, 2 and 電腦
(domainSubclass deviceOS 2 Computer)	ComputingBrands.kif 728-728	域子類 deviceOS, 2 and 電腦

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 3472-3482	例 Process and 粉碎例 Entity and 電腦例 Entity and Object 患者 Process and Entity manufacturer Object and CognitiveAgent 慾望 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 3821-3835	例 Transfer and 軟體更新患者 Transfer and Entity 例 Entity and 電腦 Object objectTransferred Transfer and Object 例 Object and ComputerProgram 持有期間開始何時 Transfer and softwareVersion Object and PreviousVersion 持有期間結束何時 Transfer and softwareVersion Object and CurrentVersion
(=> (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 3213-3225	屬性 Physical and 啟動中例 Physical and 電腦 Object Object and Transfer 例 Object and 數字數據例 Object and 操作系統例 Transfer and 數據傳輸期間何時 Transfer and 何時 Physical 目的地 Transfer and Physical 部分 Object and Object objectTransferred Transfer and Object
(=> (holdsDuring ?T (and (instance ?C Computer) (attribute ?C AirplaneMode))) (not (holdsDuring ?T (capability (NetworkCommunicationFn WirelessNetwork) origin ?C))))	ComputingBrands.kif 1820-1827	持有期間 TimePosition and 例 entity and 電腦 attribute entity and 獨立模式持有期間 TimePosition and 能力通信透過 WirelessNetwork, 起源 and entity

consequent

(<=> (instance ?Hardware ComputerHardware) (exists (?Computer) (and (instance ?Computer Computer) (component ?Hardware ?Computer))))	QoSontology.kif 63-68	例 CorpuscularObject and 電腦硬件 CorpuscularObject 例 CorpuscularObject and 電腦零件 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 ?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	例 Collection and Organization attribute Collection and 計算機和電子產品製造業 AutonomousAgent Process 會員 Process and Collection agent Process and AutonomousAgent Entity Process and AutonomousAgent 例 AutonomousAgent and Manufacture 例 Entity and 電腦例 Entity and Machine AutonomousAgent Object 患者 AutonomousAgent and Entity 資源 AutonomousAgent and Object 例 Object and 電力患者 AutonomousAgent and Entity 會員 Process and Collection 例 AutonomousAgent and Selling agent AutonomousAgent and Process 患者 AutonomousAgent and Entity
(=> (attribute ?User ComputerUser) (exists (?Computer) (and (instance ?Computer Computer) (uses ?Computer ?User))))	QoSontology.kif 1854-1859	attribute AutonomousAgent and 電腦用戶 Object 例 Object and 電腦使用 Object and AutonomousAgent
(=> (instance ?ACT UploadingOverNetwork) (exists (?DATA ?COM) (and (patient ?ACT ?DATA) (instance ?COM Computer) (origin ?ACT ?COM) (instance ?DATA DigitalData))))	ComputerInput.kif 2779-2786	例 Process and 上傳 Entity Object 患者 Process and Entity 例 Object and 電腦起源 Process and Object 例 Entity and 數字數據
(=> (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 3320-3333	例 Collection and ComputerSystem EngineeringComponent EngineeringComponent and EngineeringComponent 例 EngineeringComponent and 電腦例 EngineeringComponent and 電腦例 EngineeringComponent and 計算機網絡會員 EngineeringComponent and Collection 會員 EngineeringComponent and Collection 會員 EngineeringComponent and Collection equal EngineeringComponent and EngineeringComponent 連接的工程組件 EngineeringComponent and EngineeringComponent 連接的工程組件 EngineeringComponent and EngineeringComponent
(=> (instance ?D DHCPServer) (exists (?PROG ?C) (and (instance ?C Computer) (instance ?PROG DHCPProgram) (computerRunning ?D ?C) (programRunning ?D ?PROG))))	ComputingBrands.kif 4060-4067	例電腦程序 and DHCPServer ComputerProgram 電腦例電腦 and 電腦例 ComputerProgram and DHCPProgram 電腦程序是 running 在電腦 ComputerProgram 是電腦程序的執行 program
(=> (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 3796-3807	例 Process and MountingADevice Entity Entity 例 Entity and 電腦例 Entity and ComputerIODevice 患者 Process and Entity 患者 Process and Entity 持有期間何時 Process and 連接的工程組件 Entity and Entity 持有期間眼前的未來何時 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 1624-1631	例 Process and IT流程 AutonomousAgent Entity agent Process and AutonomousAgent 患者 Process and Entity 例 AutonomousAgent and IT代理商例 Entity and 電腦
(=> (instance ?Process ComputerProcess) (exists (?Computer ?Program) (and (instance ?Computer Computer) (computerRunning ?Process ?Computer) (instance ?Program ComputerProgram) (programRunning ?Process ?Program))))	QoSontology.kif 158-165	例電腦程序 and 電腦程序電腦 ComputerProgram 例電腦 and 電腦電腦程序是 running 在電腦例 ComputerProgram and ComputerProgram ComputerProgram 是電腦程序的執行 program
(=> (instance ?X BusinessCenter) (modalAttribute (exists (?COMP) (and (instance ?COMP Computer) (located ?COMP ?X))) Likely))	Hotel.kif 1681-1687	例 Entity and BusinessCenter 模態屬性 entity 例 entity and 電腦位於 entity and Entity and 容易
(=> (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 4342-4353	loggedInDuring AutonomousAgent, 用戶帳號 and TimeInterval 模態屬性持有期間 TimeInterval and entity entity 例 entity and 電腦程序 agent entity and AutonomousAgent deviceAccount 用戶帳號 and entity 例 entity and 電腦 entity 是 running 在 entity 儀器 entity and entity and 可能性

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