equal

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 234-249
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 549-556
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 540-547
No TPTP formula. May not be expressible in strict first order. Merge.kif 476-484
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 783-788
No TPTP formula. May not be expressible in strict first order. Merge.kif 2623-2628
No TPTP formula. May not be expressible in strict first order. Merge.kif 18446-18451
No TPTP formula. May not be expressible in strict first order. Merge.kif 18429-18434
No TPTP formula. May not be expressible in strict first order. Merge.kif 18463-18468
No TPTP formula. May not be expressible in strict first order. Government.kif 4675-4680
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 818-828
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1347-1358
No TPTP formula. May not be expressible in strict first order. Merge.kif 8054-8062
No TPTP formula. May not be expressible in strict first order. Merge.kif 5765-5769
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4966-4971
No TPTP formula. May not be expressible in strict first order. Merge.kif 15515-15532
No TPTP formula. May not be expressible in strict first order. Merge.kif 4861-4872
No TPTP formula. May not be expressible in strict first order. Merge.kif 4874-4888
No TPTP formula. May not be expressible in strict first order. Merge.kif 5866-5870
No TPTP formula. May not be expressible in strict first order. Merge.kif 4946-4956
No TPTP formula. May not be expressible in strict first order. Merge.kif 4958-4972
No TPTP formula. May not be expressible in strict first order. Merge.kif 3219-3223
No TPTP formula. May not be expressible in strict first order. Merge.kif 6044-6050
No TPTP formula. May not be expressible in strict first order. Merge.kif 6394-6398
No TPTP formula. May not be expressible in strict first order. Merge.kif 6370-6374

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