No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19904-19904 | SittingDown est une sous-classe de mouvement du corps |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19905-19905 | SittingDown est une sous-classe de MotionDownward |
![]() |