No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3592-3592 |
Balloon e' uma sub-classe de FluidContainer |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2049-2049 |
BathTub e' uma sub-classe de FluidContainer |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4688-4688 |
Bottle e' uma sub-classe de FluidContainer |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3577-3577 |
Cask e' uma sub-classe de FluidContainer |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4710-4710 |
DrinkingCup e' uma sub-classe de FluidContainer |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29475-29475 |
FishTank e' uma sub-classe de FluidContainer |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 985-985 |
GasTank e' uma sub-classe de FluidContainer |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3323-3323 |
OilPan e' uma sub-classe de FluidContainer |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4721-4721 |
SwimmingPool e' uma sub-classe de FluidContainer |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25276-25276 |
WhirlpoolTub e' uma sub-classe de FluidContainer |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24368-24368 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24367-24367 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24366-24366 |
|