No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 383-383
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 399-399
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 403-403
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 447-447
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 451-451
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3009-3009
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 495-495
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 539-539
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3085-3085
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3125-3125
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3137-3137
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 607-607
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 663-663
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3169-3169
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 687-687
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 691-691
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 719-719
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 735-735
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 755-755
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 787-787
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 843-843
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 894-894
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 898-898
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3321-3321
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 926-926
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