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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Music

 Sigma KEE - Music
Music(Musica)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13733-13737
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6714-6714
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7382-7382
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7383-7383
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7384-7384
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13732-13732 Musica e' uma sub-classe de Proposicao

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


No TPTP formula. May not be expressible in strict first order. Music.kif 955-955 O contra-dominio de NationalAnthemFn e' uma instancia de Musica
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13746-13746 MusicalComposition e' uma sub-classe de Musica
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13763-13763 Song e' uma sub-classe de Musica
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1225-1225
No TPTP formula. May not be expressible in strict first order. english_format.kif 1671-1671
No TPTP formula. May not be expressible in strict first order. french_format.kif 903-903
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 436-436
No TPTP formula. May not be expressible in strict first order. terms-it.txt 439-439
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2587-2587
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 855-855
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 441-441
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 475-475
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 924-924
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 440-440

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Music.kif 846-846 O argumento numero 2 de MusicalInterpretationFn e' uma instancia de Musica
No TPTP formula. May not be expressible in strict first order. Music.kif 356-356 O argumento numero 1 de anthem e' uma instancia de Musica
No TPTP formula. May not be expressible in strict first order. Music.kif 178-178 O argumento numero 2 de musicInterpretation e' uma instancia de Musica

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13740-13744


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