format

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 449-449
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 765-765
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2886-2886
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2894-2894
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 280-280
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 284-284
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 316-316
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 324-324
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2914-2914
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3142-3142
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 332-332
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 506-506
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 384-384
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 690-690
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 400-400
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 404-404
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 448-448
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 452-452
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3010-3010
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 496-496
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 500-500

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