NorthernNorthHalmaheraLanguage
|
|
appearance as argument number 1 |
(documentation Laptop EnglishLanguage "A PortableComputer that includes a standard sized ComputerKeyboard.") | Mid-level-ontology.kif 29596-29597 | |
(subclass Laptop PortableComputer) | Mid-level-ontology.kif 29595-29595 | 子類 Laptop and PortableComputer |
appearance as argument number 2 |
(initiallyContainsPart ComputerKeyboard Laptop) | Mid-level-ontology.kif 29599-29599 | ComputerKeyboard 的例子總是 Laptop 的 initially part 的例子 |
(initiallyContainsPart ComputerScreen Laptop) | Mid-level-ontology.kif 29600-29600 | ComputerScreen 的例子總是 Laptop 的 initially part 的例子 |
(subclass AppleMacBook Laptop) | ComputingBrands.kif 802-802 | 子類 Macbook and Laptop |
(subclass AppleMacBookAir Laptop) | ComputingBrands.kif 787-787 | 子類 Macbook Air and Laptop |
(subclass AppleMacBookPro Laptop) | ComputingBrands.kif 772-772 | 子類 Macbook Pro and Laptop |
(termFormat EnglishLanguage Laptop "laptop") | domainEnglishFormat.kif 65100-65100 |
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 |