Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Laptop
Laptoplaptop, laptop_computer

appearance as argument number 1
-------------------------


(documentation Laptop EnglishLanguage "A PortableComputer that includes a standard sized ComputerKeyboard.") Mid-level-ontology.kif 28933-28934
(subclass Laptop PortableComputer) Mid-level-ontology.kif 28932-28932 Laptop is a subclass of PortableComputer

appearance as argument number 2
-------------------------


(initiallyContainsPart ComputerKeyboard Laptop) Mid-level-ontology.kif 28936-28936 Instance of ComputerKeyboard are always initially part of instances of Laptop
(initiallyContainsPart ComputerScreen Laptop) Mid-level-ontology.kif 28937-28937 Instance of ComputerScreen are always initially part of instances of Laptop
(subclass AppleMacBook Laptop) ComputingBrands.kif 770-770 Macbook is a subclass of Laptop
(subclass AppleMacBookAir Laptop) ComputingBrands.kif 755-755 Macbook Air is a subclass of Laptop
(subclass AppleMacBookPro Laptop) ComputingBrands.kif 740-740 Macbook Pro is a subclass of Laptop

consequent
-------------------------


(=>
    (instance ?LSP LaptopKeyboardPart)
    (hasPurpose ?LSP
        (exists (?L)
            (and
                (instance ?L Laptop)
                (part ?LSP ?L)))))
ComputingBrands.kif 3747-3753
(=>
    (instance ?LSP LaptopScreenPart)
    (hasPurpose ?LSP
        (exists (?L)
            (and
                (instance ?L Laptop)
                (part ?LSP ?L)))))
ComputingBrands.kif 3730-3736


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners