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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Lock

 Sigma KEE - recordingCompany
recordingCompany

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


No TPTP formula. May not be expressible in strict first order. Music.kif 127-128
No TPTP formula. May not be expressible in strict first order. Music.kif 131-131 Le nombre 1 argument de recordingCompany est une instance de Recording
No TPTP formula. May not be expressible in strict first order. Music.kif 132-132 Le nombre 2 argument de recordingCompany est une instance de organisation
No TPTP formula. May not be expressible in strict first order. Music.kif 126-126 recordingCompany est une instance de pr�dicat binaire

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4354-4354
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4353-4353
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4352-4352
No TPTP formula. May not be expressible in strict first order. Music.kif 129-129

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


No TPTP formula. May not be expressible in strict first order. Music.kif 741-746


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