| (subclass Laptop PortableComputer) | Mid-level-ontology.kif 29544-29544 | Laptop est une sous-classe de PortableComputer |
| (subclass AppleMacBookPro Laptop) | ComputingBrands.kif 772-772 | AppleMacBookPro est une sous-classe de Laptop |
| (subclass AppleMacBookAir Laptop) | ComputingBrands.kif 787-787 | AppleMacBookAir est une sous-classe de Laptop |
| (subclass AppleMacBook Laptop) | ComputingBrands.kif 802-802 | AppleMacBook est une sous-classe de Laptop |
|
|