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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PlayingInstrumentFn

 Sigma KEE - PlayingInstrumentFn
PlayingInstrumentFn

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


No TPTP formula. May not be expressible in strict first order. Music.kif 825-826
No TPTP formula. May not be expressible in strict first order. Music.kif 823-824
No TPTP formula. May not be expressible in strict first order. Music.kif 827-827 PlayingInstrumentFn 的 1 数量 是 设备 的 subclass
No TPTP formula. May not be expressible in strict first order. Music.kif 828-828 PlayingInstrumentFn 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order. Music.kif 829-829 PlayingInstrumentFn 的所得值 是 器乐 的 subclass

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4118-4118
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4117-4117
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4116-4116
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65328-65328

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


No TPTP formula. May not be expressible in strict first order. Music.kif 831-836

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


No TPTP formula. May not be expressible in strict first order. Music.kif 1414-1417
No TPTP formula. May not be expressible in strict first order. Music.kif 1430-1433
No TPTP formula. May not be expressible in strict first order. Music.kif 1407-1410
No TPTP formula. May not be expressible in strict first order. Music.kif 1391-1394
No TPTP formula. May not be expressible in strict first order. Music.kif 1422-1425
No TPTP formula. May not be expressible in strict first order. Music.kif 1399-1402
No TPTP formula. May not be expressible in strict first order. Music.kif 197-206


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