No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21405-21405 |
Bleeding est une sous-classe de LiquidMotion |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1512-1512 |
BleedingAir est une sous-classe de LiquidMotion |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 484-484 |
BloodCirculation est une sous-classe de LiquidMotion |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1741-1741 |
Cavitating est une sous-classe de LiquidMotion |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 651-651 |
CoffeeMaking est une sous-classe de LiquidMotion |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17551-17551 |
Dripping est une sous-classe de LiquidMotion |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17607-17607 |
Flooding est une sous-classe de LiquidMotion |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1480-1480 |
Perspiring est une sous-classe de LiquidMotion |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17560-17560 |
Pouring est une sous-classe de LiquidMotion |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17629-17629 |
Spraying est une sous-classe de LiquidMotion |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17555-17555 |
Stirring est une sous-classe de LiquidMotion |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11266-11266 |
WaterMotion est une sous-classe de LiquidMotion |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17578-17578 |
WaterWave est une sous-classe de LiquidMotion |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1600-1600 |
Weeping est une sous-classe de LiquidMotion |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34655-34655 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34654-34654 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34653-34653 |
|