No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 756-756
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 686-686
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 788-788
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 559-559
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 844-844
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 895-895
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 899-899
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 451-451
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 767-767
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3322-3322
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 927-927
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 935-935
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 696-696
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 979-979
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 257-257
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3398-3398
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 999-999
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1012-1012
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1016-1016
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