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 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


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