No TPTP formula. May not be expressible in strict first order.	english_format.kif 255-255
No TPTP formula. May not be expressible in strict first order.	english_format.kif 455-455
No TPTP formula. May not be expressible in strict first order.	english_format.kif 765-765
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2884-2884
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2892-2892
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 278-278
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 282-282
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 314-314
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14977-14977
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 322-322
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2912-2912
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3140-3140
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 330-330
No TPTP formula. May not be expressible in strict first order.	english_format.kif 511-511
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 382-382
No TPTP formula. May not be expressible in strict first order.	english_format.kif 692-692
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 398-398
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 402-402
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 446-446
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 450-450
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3008-3008
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 494-494
No TPTP formula. May not be expressible in strict first order.	english_format.kif 505-505
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 538-538
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3084-3084
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