Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

No TPTP formula. May not be expressible in strict first order. Food.kif 1633-1639
No TPTP formula. May not be expressible in strict first order. Merge.kif 1182-1182 Mistura e' uma sub-classe de Substancia
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1249-1249 GunPowder e' uma sub-classe de Mistura
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2153-2153 Sewage e' uma sub-classe de Mistura
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8831-8831 Detergent e' uma sub-classe de Mistura
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8896-8896 Glue e' uma sub-classe de Mistura
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8909-8909 Glass e' uma sub-classe de Mistura
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8912-8912 MetallicAlloy e' uma sub-classe de Mistura
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17920-17920 Soil e' uma sub-classe de Mistura
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17981-17981 Humus e' uma sub-classe de Mistura
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21444-21444 Vomit e' uma sub-classe de Mistura
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21556-21556 Colloid e' uma sub-classe de Mistura
No TPTP formula. May not be expressible in strict first order. Merge.kif 14731-14731 LiquidMixture e' uma sub-classe de Mistura
No TPTP formula. May not be expressible in strict first order. Merge.kif 14758-14758 GasMixture e' uma sub-classe de Mistura
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4745-4745 Adderall e' uma sub-classe de Mistura
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5836-5836 RingersLactate e' uma sub-classe de Mistura
No TPTP formula. May not be expressible in strict first order. Geography.kif 4440-4440 Gravel e' uma sub-classe de Mistura
No TPTP formula. May not be expressible in strict first order. Geography.kif 7403-7403 ParticulateMatter e' uma sub-classe de Mistura
No TPTP formula. May not be expressible in strict first order. Food.kif 309-309 PreparedFood e' uma sub-classe de Mistura
No TPTP formula. May not be expressible in strict first order. Food.kif 1600-1600 Dough e' uma sub-classe de Mistura
No TPTP formula. May not be expressible in strict first order. Economy.kif 4557-4557 VegetableOil e' uma sub-classe de Mistura
No TPTP formula. May not be expressible in strict first order. Economy.kif 5601-5601 Bauxite e' uma sub-classe de Mistura
No TPTP formula. May not be expressible in strict first order. Economy.kif 5895-5895 Concrete e' uma sub-classe de Mistura
No TPTP formula. May not be expressible in strict first order. Economy.kif 5975-5975 Fertilizer e' uma sub-classe de Mistura
No TPTP formula. May not be expressible in strict first order. Economy.kif 6098-6098 Gemstone e' uma sub-classe de Mistura
No TPTP formula. May not be expressible in strict first order. Cars.kif 1139-1139 Exhaust e' uma sub-classe de Mistura
No TPTP formula. May not be expressible in strict first order. Cars.kif 1585-1585 HydraulicFluid e' uma sub-classe de Mistura


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