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 29545-29546
(subclass Laptop PortableComputer) Mid-level-ontology.kif 29544-29544 Laptop est une sous-classe de PortableComputer

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


(initiallyContainsPart ComputerKeyboard Laptop) Mid-level-ontology.kif 29548-29548 initiallyContainsPart ComputerKeyboard and Laptop
(initiallyContainsPart ComputerScreen Laptop) Mid-level-ontology.kif 29549-29549 initiallyContainsPart ComputerScreen and Laptop
(subclass AppleMacBook Laptop) ComputingBrands.kif 802-802 AppleMacBook est une sous-classe de Laptop
(subclass AppleMacBookAir Laptop) ComputingBrands.kif 787-787 AppleMacBookAir est une sous-classe de Laptop
(subclass AppleMacBookPro Laptop) ComputingBrands.kif 772-772 AppleMacBookPro est une sous-classe de Laptop
(termFormat EnglishLanguage Laptop "laptop") domainEnglishFormat.kif 65098-65098

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


(=>
    (instance ?LSP LaptopKeyboardPart)
    (hasPurpose ?LSP
        (exists (?L)
            (and
                (instance ?L Laptop)
                (part ?LSP ?L)))))
ComputingBrands.kif 3784-3790
(=>
    (instance ?LSP LaptopScreenPart)
    (hasPurpose ?LSP
        (exists (?L)
            (and
                (instance ?L Laptop)
                (part ?LSP ?L)))))
ComputingBrands.kif 3767-3773


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