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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Blackboard

Sigma KEE - Blackboard
Blackboard

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


(subclass Blackboard DataDisplayDevice) Media.kif 1085-1085
(subclass Blackboard DataStorageDevice) Media.kif 1086-1086
(subclass Blackboard DisplayArtifact) Media.kif 1087-1087

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


(termFormat EnglishLanguage Blackboard "blackboard") domainEnglishFormat.kif 64542-64542

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


(=>
    (instance ?OBJ Blackboard)
    (color ?OBJ Black))
Media.kif 1093-1095
(=>
    (instance ?OBJ Blackboard)
    (shape ?OBJ Flat))
Media.kif 1089-1091


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