TransitFn |
appearance as argument number 1 |
(documentation TransitFn EnglishLanguage "(TransitFn ?WAY) denotes the class of Translocations that consist of travelling along the Transitway ?WAY.") | Transportation.kif 1605-1607 | |
(domain TransitFn 1 Transitway) | Transportation.kif 1603-1603 | |
(instance TransitFn UnaryFunction) | Transportation.kif 1602-1602 | |
(rangeSubclass TransitFn Translocation) | Transportation.kif 1604-1604 |
appearance as argument number 2 |
(format ChineseLanguage TransitFn "%1 的 transit ") | domainEnglishFormat.kif 2539-2539 | |
(format ChineseTraditionalLanguage TransitFn "%1 的 transit ") | domainEnglishFormat.kif 2538-2538 | |
(format EnglishLanguage TransitFn "the transit of %1") | domainEnglishFormat.kif 2537-2537 | |
(termFormat ChineseLanguage TransitFn "过境") | domainEnglishFormat.kif 58856-58856 | |
(termFormat ChineseTraditionalLanguage TransitFn "過境") | domainEnglishFormat.kif 58855-58855 | |
(termFormat EnglishLanguage TransitFn "transit") | domainEnglishFormat.kif 58854-58854 |
antecedent |
(=> (and (instance ?GOING (TransitFn ?WAY)) (instance ?WAY Transitway)) (path ?GOING ?WAY)) |
Transportation.kif 1609-1613 |