| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25833-25833 | RunningTrack est une sous-classe de artefact stationnaire |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25834-25834 | RunningTrack est une sous-classe de LandTransitway |
|
|