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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 64567-64567

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


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


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