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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Ampere

 Sigma KEE - Ampere
Ampere(安培)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2497-2499
No TPTP formula. May not be expressible in strict first order. Merge.kif 6723-6728
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1193-1196
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5849-5849
No TPTP formula. May not be expressible in strict first order. Merge.kif 6720-6720 例 安培 and CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6721-6721 例 安培 and SystemeInternationalUnit

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7266-7266
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7265-7265
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7264-7264


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