| 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 58822-58822 | |
| (termFormat ChineseTraditionalLanguage TransitFn "過境") | domainEnglishFormat.kif 58821-58821 | |
| (termFormat EnglishLanguage TransitFn "transit") | domainEnglishFormat.kif 58820-58820 |
| antecedent |
|
|
| (=> (and (instance ?GOING (TransitFn ?WAY)) (instance ?WAY Transitway)) (path ?GOING ?WAY)) |
Transportation.kif 1609-1613 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners