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

Formal Language: 



KB Term:  Term intersection
English Word: 

  prevents

Sigma KEE - routeBetween
routeBetween

appearance as argument number 1
-------------------------


(documentation routeBetween EnglishLanguage "(routeBetween ?ROUTE ?FROM ?TO) means that the Transitway ?ROUTE is a route between the place ?FROM and the place ?TO.") Transportation.kif 2823-2825
(domain routeBetween 1 Transitway) Transportation.kif 2820-2820
(domain routeBetween 2 Region) Transportation.kif 2821-2821
(domain routeBetween 3 Region) Transportation.kif 2822-2822
(instance routeBetween TernaryPredicate) Transportation.kif 2819-2819

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


(format EnglishLanguage routeBetween "%1 %n{doesn't} route between %2 for %3") domainEnglishFormat.kif 554-554
(termFormat EnglishLanguage routeBetween "route between") domainEnglishFormat.kif 8846-8846


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