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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Violin
Violin(violin)
more pictures...		Amati, Guarnerius, Strad, Stradavarius, bass_fiddle, bass_viol, bull_fiddle, contrabass, double_bass, fiddle, string_bass, violin, violin_family

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


No TPTP formula. May not be expressible in strict first order. Music.kif 1225-1226
No TPTP formula. May not be expressible in strict first order. pictureList.kif 824-824
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 594-594
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 590-590
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 591-591
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 593-593
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 592-592
No TPTP formula. May not be expressible in strict first order. Music.kif 1224-1224 Violin is a subclass of string instrument

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61682-61682
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61681-61681
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61680-61680

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Music.kif 1399-1402


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