Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  TransitFn

Sigma KEE - TransitFn
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 TransitFn の数値 1 引数は Transitwayinstance では %n
(instance TransitFn UnaryFunction) Transportation.kif 1602-1602 TransitFn1変数関数instance では %n
(rangeSubclass TransitFn Translocation) Transportation.kif 1604-1604 TransitFn が返す値は Translocationsubclasses では %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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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