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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - musician
musician

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


No TPTP formula. May not be expressible in strict first order. Music.kif 189-190
No TPTP formula. May not be expressible in strict first order. Music.kif 193-193 musician 的 1 数量 是 音乐录音instance
No TPTP formula. May not be expressible in strict first order. Music.kif 194-194 musician 的 2 数量 是 人类instance
No TPTP formula. May not be expressible in strict first order. Music.kif 195-195 musician 的 3 数量 是 制作音乐subclass
No TPTP formula. May not be expressible in strict first order. Music.kif 188-188 musician三元谓语instance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3934-3934
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3933-3933
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3932-3932
No TPTP formula. May not be expressible in strict first order. Music.kif 191-191

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


No TPTP formula. May not be expressible in strict first order. Music.kif 197-206

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


No TPTP formula. May not be expressible in strict first order. Music.kif 243-249
No TPTP formula. May not be expressible in strict first order. Music.kif 67-80


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 3.0 is open source software produced by Articulate Software and its partners