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 | distanceOnPath 的 1 数量 是 恒量 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24363-24363 | distanceOnPath 的 2 数量 是 公交专用道 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24358-24358 | distanceOnPath 是 二元谓语 的 instance |
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 |