distanceOnPath |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24359-24361 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24362-24362 | The number 1 argument of distance on path is an instance of constant quantity |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24363-24363 | The number 2 argument of distance on path is an instance of transitway |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24358-24358 | distance on path is an instance of binary predicate |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3278-3278 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3277-3277 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3276-3276 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65814-65814 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2806-2819 |
|
No TPTP formula. May not be expressible in strict first order. | Sports.kif 295-302 |
|
No TPTP formula. May not be expressible in strict first order. | Sports.kif 281-288 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2799-2804 |
|