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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Laptop
Laptop

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


(documentation Laptop EnglishLanguage "A PortableComputer that includes a standard sized ComputerKeyboard.") Mid-level-ontology.kif 27772-27773
(subclass Laptop PortableComputer) Mid-level-ontology.kif 27771-27771 subclass Laptop and PortableComputer

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


(initiallyContainsPart ComputerKeyboard Laptop) Mid-level-ontology.kif 27775-27775 initiallyContainsPart ComputerKeyboard and Laptop
(initiallyContainsPart ComputerScreen Laptop) Mid-level-ontology.kif 27776-27776 initiallyContainsPart ComputerScreen and Laptop
(subclass AppleMacBook Laptop) ComputingBrands.kif 779-779 subclass Macbook and Laptop
(subclass AppleMacBookAir Laptop) ComputingBrands.kif 764-764 subclass Macbook Air and Laptop
(subclass AppleMacBookPro Laptop) ComputingBrands.kif 749-749 subclass Macbook Pro and Laptop

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


(=>
    (instance ?LSP LaptopKeyboardPart)
    (hasPurpose ?LSP
        (exists (?L)
            (and
                (instance ?L Laptop)
                (part ?LSP ?L)))))
ComputingBrands.kif 3762-3768
(=>
    (instance ?LSP LaptopScreenPart)
    (hasPurpose ?LSP
        (exists (?L)
            (and
                (instance ?L Laptop)
                (part ?LSP ?L)))))
ComputingBrands.kif 3745-3751


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners