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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Ounce
Ounce(盎司)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2598-2598
No TPTP formula. May not be expressible in strict first order. Merge.kif 7245-7246
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1309-1309
No TPTP formula. May not be expressible in strict first order. Merge.kif 7243-7243 盎司UnitOfVolumeinstance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43656-43656
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43655-43655
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43654-43654

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30470-30470 Lemurminimum 预期价值是 1.0 盎司
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30450-30450 Parrotminimum 预期价值是 0.4 盎司
No TPTP formula. May not be expressible in strict first order. Merge.kif 7248-7250 实数 盎司 equal 那个 实数 和 8 杯子


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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