Text(文本)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1038-1038
No TPTP formula. May not be expressible in strict first order. english_format.kif 1287-1287
No TPTP formula. May not be expressible in strict first order. french_format.kif 716-716
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 248-248
No TPTP formula. May not be expressible in strict first order. terms-it.txt 251-251
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2400-2400
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 668-668
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 286-286
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 737-737
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 252-252


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