| Laptop | |
| appearance as argument number 1 |
|
|
| (documentation Laptop EnglishLanguage "A PortableComputer that includes a standard sized ComputerKeyboard.") | Mid-level-ontology.kif 27772-27773 | |
| (subclass Laptop PortableComputer) | Mid-level-ontology.kif 27771-27771 | subclass Laptop and PortableComputer |
| appearance as argument number 2 |
|
|
| (initiallyContainsPart ComputerKeyboard Laptop) | Mid-level-ontology.kif 27775-27775 | initiallyContainsPart ComputerKeyboard and Laptop |
| (initiallyContainsPart ComputerScreen Laptop) | Mid-level-ontology.kif 27776-27776 | initiallyContainsPart ComputerScreen and Laptop |
| (subclass AppleMacBook Laptop) | ComputingBrands.kif 779-779 | subclass Macbook and Laptop |
| (subclass AppleMacBookAir Laptop) | ComputingBrands.kif 764-764 | subclass Macbook Air and Laptop |
| (subclass AppleMacBookPro Laptop) | ComputingBrands.kif 749-749 | subclass Macbook Pro and Laptop |
| consequent |
|
|
| (=> (instance ?LSP LaptopKeyboardPart) (hasPurpose ?LSP (exists (?L) (and (instance ?L Laptop) (part ?LSP ?L))))) |
ComputingBrands.kif 3762-3768 | |
| (=> (instance ?LSP LaptopScreenPart) (hasPurpose ?LSP (exists (?L) (and (instance ?L Laptop) (part ?LSP ?L))))) |
ComputingBrands.kif 3745-3751 |
|
|
|