Laptop | ![]() |
appearance as argument number 1 |
![]() |
(documentation Laptop EnglishLanguage "A PortableComputer that includes a standard sized ComputerKeyboard.") | Mid-level-ontology.kif 31464-31465 | |
(subclass Laptop PortableComputer) | Mid-level-ontology.kif 31463-31463 | Laptop は PortableComputer の subclass では |
appearance as argument number 2 |
![]() |
(initiallyContainsPart ComputerKeyboard Laptop) | Mid-level-ontology.kif 31467-31467 | initiallyContainsPart ComputerKeyboard and Laptop |
(initiallyContainsPart ComputerScreen Laptop) | Mid-level-ontology.kif 31468-31468 | initiallyContainsPart ComputerScreen and Laptop |
(subclass AppleMacBook Laptop) | ComputingBrands.kif 802-802 | Macbook は Laptop の subclass では |
(subclass AppleMacBookAir Laptop) | ComputingBrands.kif 787-787 | Macbook Air は Laptop の subclass では |
(subclass AppleMacBookPro Laptop) | ComputingBrands.kif 772-772 | Macbook Pro は Laptop の subclass では |
(termFormat EnglishLanguage Laptop "laptop") | domainEnglishFormat.kif 65092-65092 | Macbook Pro は Laptop の subclass では |
consequent |
![]() |
(=> (instance ?LSP LaptopKeyboardPart) (hasPurpose ?LSP (exists (?L) (and (instance ?L Laptop) (part ?LSP ?L))))) |
ComputingBrands.kif 3779-3785 | |
(=> (instance ?LSP LaptopScreenPart) (hasPurpose ?LSP (exists (?L) (and (instance ?L Laptop) (part ?LSP ?L))))) |
ComputingBrands.kif 3762-3768 |
![]() |
![]() |