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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - composer
composer

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


No TPTP formula. May not be expressible in strict first order. Music.kif 156-159
No TPTP formula. May not be expressible in strict first order. Media.kif 1848-1851
No TPTP formula. May not be expressible in strict first order. Music.kif 153-154
No TPTP formula. May not be expressible in strict first order. Media.kif 1845-1845 The number 1 argument of composer is an instance of agent
No TPTP formula. May not be expressible in strict first order. Music.kif 160-160 The number 1 argument of composer is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order. Music.kif 161-161 The number 2 argument of composer is an instance of musical composition
No TPTP formula. May not be expressible in strict first order. Media.kif 1846-1846 The number 2 argument of composer is a subclass of musical composition
No TPTP formula. May not be expressible in strict first order. Media.kif 1844-1844 composer is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Media.kif 1843-1843 composer is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Media.kif 1847-1847 composer is a subrelation of authors
No TPTP formula. May not be expressible in strict first order. Music.kif 152-152 composer is a subrelation of creator

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 773-773
No TPTP formula. May not be expressible in strict first order. Music.kif 155-155 "composer" is the printable form of composer in english language

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


No TPTP formula. May not be expressible in strict first order. Music.kif 163-168

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


No TPTP formula. May not be expressible in strict first order. Media.kif 1853-1857


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners