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 1292-1292 | |
(subclass Computer ElectricDevice) | QoSontology.kif 25-25 |
appearance as argument number 2 |
(subclass AppleComputer Computer) | ComputingBrands.kif 101-101 | |
(subclass EngineControlModule Computer) | Cars.kif 2495-2495 | |
(subclass IgnitionControlModule Computer) | Cars.kif 3162-3162 | |
(subclass PortableComputer Computer) | Mid-level-ontology.kif 29581-29581 | |
(termFormat ChineseLanguage Computer "电脑") | domainEnglishFormat.kif 16248-16248 | |
(termFormat ChineseTraditionalLanguage Computer "電腦") | domainEnglishFormat.kif 16247-16247 | |
(termFormat EnglishLanguage Computer "computer") | domainEnglishFormat.kif 16246-16246 |
appearance as argument number 3 |
(domain computerRunning 2 Computer) | QoSontology.kif 203-203 | |
(domain connectedPeripheral 2 Computer) | ComputingBrands.kif 3534-3534 | |
(domain deviceAccount 2 Computer) | ComputingBrands.kif 3951-3951 | |
(domain hardwareType 2 Computer) | QoSontology.kif 1023-1023 | |
(domain hostJitter 1 Computer) | QoSontology.kif 2129-2129 | |
(domain hostOf 2 Computer) | QoSontology.kif 550-550 | |
(domain hostStatus 1 Computer) | QoSontology.kif 2111-2111 | |
(domain ipAddressOf 1 Computer) | QoSontology.kif 762-762 | |
(domain numberOfCPUs 1 Computer) | QoSontology.kif 1015-1015 | |
(domain runningOn 2 Computer) | QoSontology.kif 188-188 | |
(domain runsOn 2 Computer) | QoSontology.kif 339-339 | |
(domain thresholdOf 1 Computer) | QoSontology.kif 1034-1034 | |
(domain trustedDevice 2 Computer) | ComputingBrands.kif 4286-4286 | |
(domainSubclass canRunOn 2 Computer) | QoSontology.kif 352-352 | |
(domainSubclass deviceOS 2 Computer) | ComputingBrands.kif 728-728 |
antecedent |
consequent |
(<=> (instance ?Hardware ComputerHardware) (exists (?Computer) (and (instance ?Computer Computer) (component ?Hardware ?Computer)))) |
QoSontology.kif 63-68 | |
(=> (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 | |
(=> (attribute ?User ComputerUser) (exists (?Computer) (and (instance ?Computer Computer) (uses ?Computer ?User)))) |
QoSontology.kif 1723-1728 | |
(=> (instance ?ACT UploadingOverNetwork) (exists (?DATA ?COM) (and (patient ?ACT ?DATA) (instance ?COM Computer) (origin ?ACT ?COM) (instance ?DATA DigitalData)))) |
ComputerInput.kif 2779-2786 | |
(=> (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 3324-3337 | |
(=> (instance ?D DHCPServer) (exists (?PROG ?C) (and (instance ?C Computer) (instance ?PROG DHCPProgram) (computerRunning ?D ?C) (programRunning ?D ?PROG)))) |
ComputingBrands.kif 4065-4072 | |
(=> (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 3801-3812 | |
(=> (instance ?PROCESS ITProcess) (exists (?AGENT ?PATIENT) (and (agent ?PROCESS ?AGENT) (patient ?PROCESS ?PATIENT) (instance ?AGENT ITAgent) (instance ?PATIENT Computer)))) |
engineering.kif 1311-1318 | |
(=> (instance ?Process ComputerProcess) (exists (?Computer ?Program) (and (instance ?Computer Computer) (computerRunning ?Process ?Computer) (instance ?Program ComputerProgram) (programRunning ?Process ?Program)))) |
QoSontology.kif 157-164 | |
(=> (instance ?X BusinessCenter) (modalAttribute (exists (?COMP) (and (instance ?COMP Computer) (located ?COMP ?X))) Likely)) |
Hotel.kif 1670-1676 | |
(=> (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 4347-4358 |