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

Formal Language: 



KB Term:  Term intersection
English Word: 

  NorthernNorthHalmaheraLanguage

Sigma KEE - Laptop
Laptop

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


(documentation Laptop EnglishLanguage "A PortableComputer that includes a standard sized ComputerKeyboard.") Mid-level-ontology.kif 29596-29597
(subclass Laptop PortableComputer) Mid-level-ontology.kif 29595-29595 子類 Laptop and PortableComputer

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


(initiallyContainsPart ComputerKeyboard Laptop) Mid-level-ontology.kif 29599-29599 ComputerKeyboard 的例子總是 Laptopinitially part 的例子
(initiallyContainsPart ComputerScreen Laptop) Mid-level-ontology.kif 29600-29600 ComputerScreen 的例子總是 Laptopinitially part 的例子
(subclass AppleMacBook Laptop) ComputingBrands.kif 802-802 子類 Macbook and Laptop
(subclass AppleMacBookAir Laptop) ComputingBrands.kif 787-787 子類 Macbook Air and Laptop
(subclass AppleMacBookPro Laptop) ComputingBrands.kif 772-772 子類 Macbook Pro and Laptop
(termFormat EnglishLanguage Laptop "laptop") domainEnglishFormat.kif 65100-65100

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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