Whiteboard - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Whiteboard

Whiteboard(whiteboard)

appearance as argument number 1

(documentation Whiteboard EnglishLanguage "%&Whiteboard refers to flat surface where information can be encoded using erasable pens. This baord is normally colored White")	Mid-level-ontology.kif 27514-27515
(subclass Whiteboard DataStorageDevice)	Mid-level-ontology.kif 27512-27512	Whiteboard is a subclass of data storage device
(subclass Whiteboard DisplayArtifact)	Mid-level-ontology.kif 27513-27513	Whiteboard is a subclass of display artifact

appearance as argument number 2

(termFormat EnglishLanguage Whiteboard "whiteboard")

Mid-level-ontology.kif 27516-27516

antecedent

(=> (instance ?OBJ Whiteboard) (color ?OBJ White))	Mid-level-ontology.kif 27518-27520	If an object is an instance of whiteboard, then the object is the color white
(=> (instance ?OBJ Whiteboard) (hasPurpose ?OBJ (exists (?WRITE) (and (instance ?WRITE Writing) (destination ?WRITE ?OBJ)))))	Mid-level-ontology.kif 27526-27532	If a physical is an instance of whiteboard, then the physical has the purpose there exists an entity such that the entity is an instance of writing and the entity ends up at the physical
(=> (instance ?OBJ Whiteboard) (shape ?OBJ Flat))	Mid-level-ontology.kif 27522-27524	If a physical is an instance of whiteboard, then the physical is flat

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