| Laptop(laptop) | | laptop, laptop_computer |
| appearance as argument number 1 |
|
|
| (subclass Laptop PortableComputer) | Mid-level-ontology.kif 32209-32209 | Laptop is a subclass of portable computer |
| (documentation Laptop EnglishLanguage "A PortableComputer that includes a standard sized ComputerKeyboard.") | Mid-level-ontology.kif 32210-32211 | Laptop is a subclass of portable computer |
| appearance as argument number 2 |
|
|
| (subclass AppleMacBookPro Laptop) | ComputingBrands.kif 772-772 | Macbook Pro is a subclass of laptop |
| (subclass AppleMacBookAir Laptop) | ComputingBrands.kif 787-787 | Macbook Air is a subclass of laptop |
| (subclass AppleMacBook Laptop) | ComputingBrands.kif 802-802 | Macbook is a subclass of laptop |
| (initiallyContainsPart ComputerKeyboard Laptop) | Mid-level-ontology.kif 32213-32213 | Instance of computer keyboard are always initially part of instances of laptop |
| (initiallyContainsPart ComputerScreen Laptop) | Mid-level-ontology.kif 32214-32214 | Instance of computer screen are always initially part of instances of laptop |
| (termFormat EnglishLanguage Laptop "laptop") | domainEnglishFormat.kif 65101-65101 | Instance of computer screen are always initially part of instances of laptop |
| consequent |
|
|
| (=> (instance ?LSP LaptopScreenPart) (hasPurpose ?LSP (exists (?L) (and (instance ?L Laptop) (part ?LSP ?L))))) |
ComputingBrands.kif 3673-3679 | If X is an instance of clamshell, then X has the purpose there exists Y such that Y is an instance of laptop and X is a part of Y |
| (=> (instance ?LSP LaptopKeyboardPart) (hasPurpose ?LSP (exists (?L) (and (instance ?L Laptop) (part ?LSP ?L))))) |
ComputingBrands.kif 3690-3696 | If X is an instance of keyboard, then X has the purpose there exists Y such that Y is an instance of laptop and X is a part of Y |
|
|
|