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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Trip
  Kilometer

Sigma KEE - Trip
Trip

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


(documentation Trip EnglishLanguage "Trip is the subclass of Motions along a TransitRoute or Transitway.") Transportation.kif 3058-3059
(subclass Trip Motion) Transportation.kif 3056-3056 Tripmotionsubclass では %n

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


(subclass IntermodalTrip Trip) Transportation.kif 3061-3061 IntermodalTripTripsubclass では %n
(termFormat ChineseLanguage Trip "旅") domainEnglishFormat.kif 59218-59218
(termFormat ChineseTraditionalLanguage Trip "旅") domainEnglishFormat.kif 59217-59217
(termFormat EnglishLanguage Trip "trip") domainEnglishFormat.kif 59216-59216


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