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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ProjectionScreen

 Sigma KEE - ProjectionScreen
ProjectionScreen(投影屏幕)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1813-1814
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6796-6796
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7654-7654
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1812-1812 子類 投影屏幕 and 通訊設備

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47680-47680
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47679-47679
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47678-47678


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