![]() |
![]() ![]() ![]()
|
![]() |
|
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 |
![]() |
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 | |
(=> (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 |
|
consequent |
![]() |
![]() |
![]() |