equal

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


No TPTP formula. May not be expressible in strict first order. Food.kif 2883-2889
No TPTP formula. May not be expressible in strict first order. Economy.kif 4967-4972
No TPTP formula. May not be expressible in strict first order. Economy.kif 5031-5037
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5831-5839
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5846-5852
No TPTP formula. May not be expressible in strict first order. Media.kif 195-200
No TPTP formula. May not be expressible in strict first order. Music.kif 938-948
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19914-19929
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19972-19977
No TPTP formula. May not be expressible in strict first order. Economy.kif 4091-4101
No TPTP formula. May not be expressible in strict first order. Economy.kif 4085-4089
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 289-296
No TPTP formula. May not be expressible in strict first order. Merge.kif 3096-3115
No TPTP formula. May not be expressible in strict first order. Economy.kif 5285-5290
No TPTP formula. May not be expressible in strict first order. Economy.kif 4503-4509
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5798-5807
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 862-866
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5782-5791
No TPTP formula. May not be expressible in strict first order. Geography.kif 3994-4001
No TPTP formula. May not be expressible in strict first order. Weather.kif 2562-2569
No TPTP formula. May not be expressible in strict first order. Economy.kif 4870-4881
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5471-5476
No TPTP formula. May not be expressible in strict first order. Merge.kif 9657-9661
No TPTP formula. May not be expressible in strict first order. Media.kif 3052-3073

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