No TPTP formula. May not be expressible in strict first order. | Merge.kif 14575-14575 | Arachnide est une sous-classe de arthropode |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1985-1985 | Tick est une sous-classe de arachnide |