| 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 | O argumento numero 1 de TransitFn e' uma instancia de Transitway |
| (instance TransitFn UnaryFunction) | Transportation.kif 1602-1602 | TransitFn e' uma instancia de funcao Unaria |
| (rangeSubclass TransitFn Translocation) | Transportation.kif 1604-1604 | Os valores retornados por TransitFn sao as sub-classes de Translocation |
| 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 |
|
|
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