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 Blackboard e' uma sub-classe de DataDisplayDevice
(subclass Blackboard DataStorageDevice) Media.kif 1086-1086 Blackboard e' uma sub-classe de DataStorageDevice
(subclass Blackboard DisplayArtifact) Media.kif 1087-1087 Blackboard e' uma sub-classe de DisplayArtifact

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


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

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