| Laptop | |
| appearance as argument number 1 |
|
|
| (documentation Laptop EnglishLanguage "A PortableComputer that includes a standard sized ComputerKeyboard.") | Mid-level-ontology.kif 29829-29830 | |
| (subclass Laptop PortableComputer) | Mid-level-ontology.kif 29828-29828 | Laptop 是 PortableComputer 的 subclass |
| appearance as argument number 2 |
|
|
| (initiallyContainsPart ComputerKeyboard Laptop) | Mid-level-ontology.kif 29832-29832 | ComputerKeyboard 的例子总是 Laptop 的 initially part 的例子 |
| (initiallyContainsPart ComputerScreen Laptop) | Mid-level-ontology.kif 29833-29833 | ComputerScreen 的例子总是 Laptop 的 initially part 的例子 |
| (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 65146-65146 | Macbook Pro 是 Laptop 的 subclass |
| consequent |
|
|
| (=> (instance ?LSP LaptopKeyboardPart) (hasPurpose ?LSP (exists (?L) (and (instance ?L Laptop) (part ?LSP ?L))))) |
ComputingBrands.kif 3784-3790 | |
| (=> (instance ?LSP LaptopScreenPart) (hasPurpose ?LSP (exists (?L) (and (instance ?L Laptop) (part ?LSP ?L))))) |
ComputingBrands.kif 3767-3773 |
|
|
|