| 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 | TransitFn の数値 1 引数は Transitway の instance では %n |
| (instance TransitFn UnaryFunction) | Transportation.kif 1602-1602 | TransitFn は 1変数関数 の instance では %n |
| (rangeSubclass TransitFn Translocation) | Transportation.kif 1604-1604 | TransitFn が返す値は Translocation の subclasses では %n |
| 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 58858-58858 | |
| (termFormat ChineseTraditionalLanguage TransitFn "過境") | domainEnglishFormat.kif 58857-58857 | |
| (termFormat EnglishLanguage TransitFn "transit") | domainEnglishFormat.kif 58856-58856 |
| 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