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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PoundForce

Sigma KEE - PoundForce
PoundForce(磅力)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2614-2615
No TPTP formula. May not be expressible in strict first order. Merge.kif 7332-7334
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1328-1329
No TPTP formula. May not be expressible in strict first order. Merge.kif 7330-7330 磅力 and CompositeUnitOfMeasure

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46960-46960
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46959-46959
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46958-46958

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 7336-7338 等於 測量 RealNumber and 磅力 and 測量 乘法 RealNumber and 4.448222 and 牛頓


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