|
|
   Laptop
|
|
|
| appearance as argument number 1 |
|
|
| s__documentation(s__Laptop, s__EnglishLanguage, "A PortableComputer that includes a standard sized ComputerKeyboard_") | Mid-level-ontology.kif 31450-31451 | |
| s__subclass(s__Laptop, s__PortableComputer) | Mid-level-ontology.kif 31449-31449 | Laptop is a subclass of PortableComputer |
| appearance as argument number 2 |
|
|
| s__initiallyContainsPart(s__ComputerKeyboard, s__Laptop) | Mid-level-ontology.kif 31453-31453 | initiallyContainsPart ComputerKeyboard and Laptop |
| s__initiallyContainsPart(s__ComputerScreen, s__Laptop) | Mid-level-ontology.kif 31454-31454 | initiallyContainsPart ComputerScreen and Laptop |
| s__subclass(s__AppleMacBook, s__Laptop) | ComputingBrands.kif 802-802 | AppleMacBook is a subclass of Laptop |
| s__subclass(s__AppleMacBookAir, s__Laptop) | ComputingBrands.kif 787-787 | AppleMacBookAir is a subclass of Laptop |
| s__subclass(s__AppleMacBookPro, s__Laptop) | ComputingBrands.kif 772-772 | AppleMacBookPro is a subclass of Laptop |
| s__termFormat(s__EnglishLanguage, s__Laptop, "laptop") | domainEnglishFormat.kif 65091-65091 | AppleMacBookPro is a subclass of Laptop |
| consequent |
|
|
| ! [V__LSP : $i] : ((s__instance(V__LSP, s__LaptopKeyboardPart) => s__hasPurpose(V__LSP, ( ? [V__L:$i] : ((s__instance(V__L, s__Laptop) & s__part(V__LSP, V__L))))))) | ComputingBrands.kif 3779-3785 |
|
| ! [V__LSP : $i] : ((s__instance(V__LSP, s__LaptopScreenPart) => s__hasPurpose(V__LSP, ( ? [V__L:$i] : ((s__instance(V__L, s__Laptop) & s__part(V__LSP, V__L))))))) | ComputingBrands.kif 3762-3768 |
|
|
|
|