No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3124-3124
No TPTP formula. May not be expressible in strict first order.	english_format.kif 694-694
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3136-3136
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 606-606
No TPTP formula. May not be expressible in strict first order.	english_format.kif 777-777
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 662-662
No TPTP formula. May not be expressible in strict first order.	english_format.kif 475-475
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3168-3168
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 686-686
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 690-690
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30634-30634
No TPTP formula. May not be expressible in strict first order.	english_format.kif 696-696
No TPTP formula. May not be expressible in strict first order.	english_format.kif 660-660
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18332-18332
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18396-18396
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 718-718
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 734-734
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 754-754
No TPTP formula. May not be expressible in strict first order.	english_format.kif 688-688
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 786-786
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9982-9982
No TPTP formula. May not be expressible in strict first order.	english_format.kif 564-564
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 842-842
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 893-893
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 897-897
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