TabletComputer - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language: Formal Language:

KB Term:			Term intersection

English Word:

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 31457-31458
(subclass TabletComputer PortableComputer)	Mid-level-ontology.kif 31456-31456	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 65569-65569	IPad is a subclass of tablet computer

antecedent

(=> (instance ?T TabletComputer) (exists (?K) (and (instance ?K ComputerTouchscreen) (part ?K ?T))))	Mid-level-ontology.kif 31468-31473	If an object is an instance of tablet computer, then there exists another object such that the other object is an instance of computer touchscreen and the other object is a part of the object
(=> (instance ?T TabletComputer) (not (exists (?K) (and (instance ?K ComputerKeyboard) (part ?K ?T)))))	Mid-level-ontology.kif 31460-31466	If an object is an instance of tablet computer, then there doesn't exist another object such that the other object is an instance of computer keyboard and the other object is a part of the object

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