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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TabletComputer

Sigma KEE - TabletComputer
TabletComputer(tablet computer)

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 Tablet computer is a subclass of portable computer

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


(subclass AppleIPad TabletComputer) ComputingBrands.kif 612-612 IPad is a subclass of tablet computer
(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 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