No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1025-1025
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1033-1033
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 698-698
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1069-1069
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1073-1073
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3470-3470
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 259-259
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 461-461
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3522-3522
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3526-3526
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3530-3530
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3534-3534
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 504-504
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 502-502
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1093-1093
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3518-3518
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 639-639
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 802-802
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