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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Becquerel

Sigma KEE - Becquerel
Becquerel(貝克勒爾)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2568-2570
No TPTP formula. May not be expressible in strict first order. Merge.kif 7044-7047
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1273-1275
No TPTP formula. May not be expressible in strict first order. Merge.kif 7041-7041 貝克勒爾 and CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order. Merge.kif 7042-7042 貝克勒爾 and SystemeInternationalUnit

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10451-10451
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10450-10450
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10449-10449

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 7049-7051


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