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. |
Economy.kif 5601-5601 |
Bauxite 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. |
Economy.kif 5895-5895 |
Concrete 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. |
Food.kif 1600-1600 |
Dough 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. |
Economy.kif 5975-5975 |
Fertilizer 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. |
Economy.kif 6098-6098 |
Gemstone 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 8896-8896 |
Glue 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. |
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 17981-17981 |
Humus 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 |
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. |
Mid-level-ontology.kif 8912-8912 |
MetallicAlloy 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. |
Medicine.kif 5836-5836 |
RingersLactate 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 17920-17920 |
Soil 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. |
Mid-level-ontology.kif 21444-21444 |
Vomit e' uma sub-classe de Mistura |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |