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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MusicText

Sigma KEE - MusicText
MusicText(音樂文本)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14448-14449
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2710-2710
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2870-2870
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14447-14447 子類 音樂文本 and Text

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39431-39431
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39430-39430
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39429-39429

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14451-14453

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


No TPTP formula. May not be expressible in strict first order. naics.kif 7600-7618


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