No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3714-3714
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 508-508
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 635-635
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1439-1439
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3734-3734
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 706-706
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1471-1471
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1531-1531
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3758-3758
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2633-2633
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 267-267
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 261-261
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 265-265
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 263-263
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 708-708
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3790-3790
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3798-3798
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