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 31464-31465
(subclass Laptop PortableComputer) Mid-level-ontology.kif 31463-31463 LaptopPortableComputersubclass では

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


(initiallyContainsPart ComputerKeyboard Laptop) Mid-level-ontology.kif 31467-31467 initiallyContainsPart ComputerKeyboard and Laptop
(initiallyContainsPart ComputerScreen Laptop) Mid-level-ontology.kif 31468-31468 initiallyContainsPart ComputerScreen and Laptop
(subclass AppleMacBook Laptop) ComputingBrands.kif 802-802 MacbookLaptopsubclass では
(subclass AppleMacBookAir Laptop) ComputingBrands.kif 787-787 Macbook AirLaptopsubclass では
(subclass AppleMacBookPro Laptop) ComputingBrands.kif 772-772 Macbook ProLaptopsubclass では
(termFormat EnglishLanguage Laptop "laptop") domainEnglishFormat.kif 65092-65092 Macbook ProLaptopsubclass では

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


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


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