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 | Computer is a subclass of electric device |
appearance as argument number 2 |
(subclass AppleComputer Computer) | ComputingBrands.kif 101-101 | Apple Computer is a subclass of computer |
(subclass EngineControlModule Computer) | Cars.kif 2495-2495 | Engine control module is a subclass of computer |
(subclass IgnitionControlModule Computer) | Cars.kif 3162-3162 | Ignition control module is a subclass of computer |
(subclass PortableComputer Computer) | Mid-level-ontology.kif 29581-29581 | Portable computer is a subclass of computer |
(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 | The number 2 argument of computer running is an instance of computer |
(domain connectedPeripheral 2 Computer) | ComputingBrands.kif 3534-3534 | The number 2 argument of connected peripheral is an instance of computer |
(domain deviceAccount 2 Computer) | ComputingBrands.kif 3951-3951 | The number 2 argument of device account is an instance of computer |
(domain hardwareType 2 Computer) | QoSontology.kif 1023-1023 | The number 2 argument of hardware type is an instance of computer |
(domain hostJitter 1 Computer) | QoSontology.kif 2129-2129 | The number 1 argument of host jitter is an instance of computer |
(domain hostOf 2 Computer) | QoSontology.kif 550-550 | The number 2 argument of host of is an instance of computer |
(domain hostStatus 1 Computer) | QoSontology.kif 2111-2111 | The number 1 argument of host status is an instance of computer |
(domain ipAddressOf 1 Computer) | QoSontology.kif 762-762 | The number 1 argument of ip address of is an instance of computer |
(domain numberOfCPUs 1 Computer) | QoSontology.kif 1015-1015 | The number 1 argument of number of CPUs is an instance of computer |
(domain runningOn 2 Computer) | QoSontology.kif 188-188 | The number 2 argument of running on is an instance of computer |
(domain runsOn 2 Computer) | QoSontology.kif 339-339 | The number 2 argument of runs on is an instance of computer |
(domain thresholdOf 1 Computer) | QoSontology.kif 1034-1034 | The number 1 argument of threshold of is an instance of computer |
(domain trustedDevice 2 Computer) | ComputingBrands.kif 4286-4286 | The number 2 argument of trusted device is an instance of computer |
(domainSubclass canRunOn 2 Computer) | QoSontology.kif 352-352 | The number 2 argument of can run on is a subclass of computer |
(domainSubclass deviceOS 2 Computer) | ComputingBrands.kif 728-728 | The number 2 argument of device OS is a subclass of computer |
antecedent |
consequent |