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

Formal Language: 



KB Term:  Term intersection
English Word: 

  VideoDataStorageDevice

 Sigma KEE - Tabun
Tabun(塔崩)

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 576-578
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31656-31656 roomTempState 塔崩 and 固體
No TPTP formula. May not be expressible in strict first order. WMD.kif 575-575 子類 塔崩 and G系列神經毒劑

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56707-56707
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56706-56706
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56705-56705


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