No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4678-4678 | FluidContainer est une sous-classe de Container |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2049-2049 | BathTub est une sous-classe de FluidContainer |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4688-4688 | Bottle est une sous-classe de FluidContainer |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4710-4710 | DrinkingCup est une sous-classe de FluidContainer |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4721-4721 | SwimmingPool est une sous-classe de FluidContainer |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25276-25276 | WhirlpoolTub est une sous-classe de FluidContainer |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29475-29475 | FishTank est une sous-classe de FluidContainer |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3577-3577 | Cask est une sous-classe de FluidContainer |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 985-985 | GasTank est une sous-classe de FluidContainer |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3323-3323 | OilPan est une sous-classe de FluidContainer |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3592-3592 | Balloon est une sous-classe de FluidContainer |
![]() |