Laptop | ![]() | laptop, laptop_computer |
appearance as argument number 1 |
![]() |
(documentation Laptop EnglishLanguage "A PortableComputer that includes a standard sized ComputerKeyboard.") | Mid-level-ontology.kif 28933-28934 | |
(subclass Laptop PortableComputer) | Mid-level-ontology.kif 28932-28932 | Laptop is a subclass of PortableComputer |
appearance as argument number 2 |
![]() |
(initiallyContainsPart ComputerKeyboard Laptop) | Mid-level-ontology.kif 28936-28936 | Instance of ComputerKeyboard are always initially part of instances of Laptop |
(initiallyContainsPart ComputerScreen Laptop) | Mid-level-ontology.kif 28937-28937 | Instance of ComputerScreen are always initially part of instances of Laptop |
(subclass AppleMacBook Laptop) | ComputingBrands.kif 770-770 | Macbook is a subclass of Laptop |
(subclass AppleMacBookAir Laptop) | ComputingBrands.kif 755-755 | Macbook Air is a subclass of Laptop |
(subclass AppleMacBookPro Laptop) | ComputingBrands.kif 740-740 | Macbook Pro is a subclass of Laptop |
consequent |
![]() |
(=> (instance ?LSP LaptopKeyboardPart) (hasPurpose ?LSP (exists (?L) (and (instance ?L Laptop) (part ?LSP ?L))))) |
ComputingBrands.kif 3747-3753 |
|
(=> (instance ?LSP LaptopScreenPart) (hasPurpose ?LSP (exists (?L) (and (instance ?L Laptop) (part ?LSP ?L))))) |
ComputingBrands.kif 3730-3736 |
|
![]() |
![]() |