not

-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 5130-5142
No TPTP formula. May not be expressible in strict first order. Merge.kif 5104-5115
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18343-18358
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2636-2644
No TPTP formula. May not be expressible in strict first order. Merge.kif 3083-3102
No TPTP formula. May not be expressible in strict first order. Merge.kif 5790-5799
No TPTP formula. May not be expressible in strict first order. Merge.kif 6062-6068
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4427-4444
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2120-2131
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30662-30683
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 501-514
No TPTP formula. May not be expressible in strict first order. Merge.kif 12383-12397
No TPTP formula. May not be expressible in strict first order. Cars.kif 853-866
No TPTP formula. May not be expressible in strict first order. Dining.kif 772-795
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2162-2175
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5016-5025
No TPTP formula. May not be expressible in strict first order. Cars.kif 4081-4113
No TPTP formula. May not be expressible in strict first order. Military.kif 108-122
No TPTP formula. May not be expressible in strict first order. Geography.kif 7142-7162
No TPTP formula. May not be expressible in strict first order. Media.kif 224-231
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2784-2796
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2746-2754
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 812-817
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1033-1060
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 877-888

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