TreeView Knowledge Base Browser - ChristianMusic

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - ChristianMusic

ChristianMusic(christian music)

Gregorian_chant, Magnificat, canticle, choral, chorale, doxology, gradual, plainchant, plainsong

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Music.kif 642-644
No TPTP formula. May not be expressible in strict first order.	Music.kif 641-641	Christian music is a subattribute of religious music

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

Music.kif 645-645

antecedent

No TPTP formula. May not be expressible in strict first order.

Music.kif 647-652

If christian music is in the genre an object,
then there exists another object such that christian is an attribute of the other object and the object includes a reference to the other object

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