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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LyricalContent

Sigma KEE - LyricalContent
LyricalContent

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13816-13818
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13814-13815
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13813-13813 LyricalContent est une sous-classe de proposition

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


No TPTP formula. May not be expressible in strict first order. Music.kif 918-918 Le domaine de LyricalComponentFn est une instance de LyricalContent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13819-13819

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


No TPTP formula. May not be expressible in strict first order. Music.kif 864-864 Le nombre 2 argument de SongFn est une instance de LyricalContent
No TPTP formula. May not be expressible in strict first order. Music.kif 162-162 Le nombre 1 argument de lyricist est une instance de LyricalContent

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13829-13835
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13821-13827

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13779-13789
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13798-13811


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