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 13788-13790
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13786-13787
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13785-13785 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 13791-13791

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 13801-13807
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13793-13799

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13751-13761
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13770-13783


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