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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 1590-1592
(domain TransitFn 1 Transitway) Transportation.kif 1588-1588
(instance TransitFn UnaryFunction) Transportation.kif 1587-1587
(rangeSubclass TransitFn Translocation) Transportation.kif 1589-1589

appearance as argument number 2
-------------------------


(format ChineseLanguage TransitFn "%1 的 transit ") domainEnglishFormat.kif 2535-2535
(format ChineseTraditionalLanguage TransitFn "%1 的 transit ") domainEnglishFormat.kif 2534-2534
(format EnglishLanguage TransitFn "the transit of %1") domainEnglishFormat.kif 2533-2533
(termFormat ChineseLanguage TransitFn "过境") domainEnglishFormat.kif 58801-58801
(termFormat ChineseTraditionalLanguage TransitFn "過境") domainEnglishFormat.kif 58800-58800
(termFormat EnglishLanguage TransitFn "transit") domainEnglishFormat.kif 58799-58799

antecedent
-------------------------


(=>
    (and
        (instance ?GOING
            (TransitFn ?WAY))
        (instance ?WAY Transitway))
    (path ?GOING ?WAY))
Transportation.kif 1594-1598


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners