![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(documentation Laptop EnglishLanguage "A PortableComputer that includes a standard sized ComputerKeyboard.") | Mid-level-ontology.kif 27753-27754 | |
(subclass Laptop PortableComputer) | Mid-level-ontology.kif 27752-27752 |
appearance as argument number 2 |
![]() |
(initiallyContainsPart ComputerKeyboard Laptop) | Mid-level-ontology.kif 27756-27756 | |
(initiallyContainsPart ComputerScreen Laptop) | Mid-level-ontology.kif 27757-27757 | |
(subclass AppleMacBook Laptop) | ComputingBrands.kif 777-777 | |
(subclass AppleMacBookAir Laptop) | ComputingBrands.kif 762-762 | |
(subclass AppleMacBookPro Laptop) | ComputingBrands.kif 747-747 |
consequent |
![]() |
(=> (instance ?LSP LaptopKeyboardPart) (hasPurpose ?LSP (exists (?L) (and (instance ?L Laptop) (part ?LSP ?L))))) |
ComputingBrands.kif 3757-3763 | |
(=> (instance ?LSP LaptopScreenPart) (hasPurpose ?LSP (exists (?L) (and (instance ?L Laptop) (part ?LSP ?L))))) |
ComputingBrands.kif 3740-3746 |
![]() |
![]() |