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 3005-3005
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 3081-3081
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3121-3121
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3133-3133
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 3165-3165
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 3319-3319
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