ChineseLanguage(Chinese language)

-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3672-3673
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3471-3471
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1842-1846
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1884-1887
No TPTP formula. May not be expressible in strict first order. Weather.kif 67-67
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1785-1788
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3887-3888
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3384-3385
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3006-3007
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. chinese_format.kif 3414-3415
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2586-2586
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3488-3489
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2424-2424
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2589-2590

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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