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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TabletComputer
TabletComputer

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


(documentation TabletComputer EnglishLanguage "A PortableComputer lacking a physical ComputerKeyboard, but having a touch-sensitive screen.") Mid-level-ontology.kif 29552-29553
(subclass TabletComputer PortableComputer) Mid-level-ontology.kif 29551-29551 TabletComputer est une sous-classe de PortableComputer

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


(subclass AppleIPad TabletComputer) ComputingBrands.kif 612-612 AppleIPad est une sous-classe de TabletComputer
(termFormat EnglishLanguage TabletComputer "tablet computer") domainEnglishFormat.kif 65576-65576

antecedent
-------------------------


(=>
    (instance ?T TabletComputer)
    (exists (?K)
        (and
            (instance ?K ComputerTouchscreen)
            (part ?K ?T))))
Mid-level-ontology.kif 29563-29568
(=>
    (instance ?T TabletComputer)
    (not
        (exists (?K)
            (and
                (instance ?K ComputerKeyboard)
                (part ?K ?T)))))
Mid-level-ontology.kif 29555-29561


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