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
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 540-540
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3086-3086
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3126-3126
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 692-692
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3138-3138
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 608-608
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 777-777
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 664-664
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 469-469
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3170-3170
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 688-688
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 692-692
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 694-694
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 657-657
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 720-720
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 736-736
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