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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Velocity
Velocity(velocity)

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


s__documentation(s__Velocity,s__EnglishLanguage,'"PhysicalDimension of velocity, [m/ s]."')

engineering.kif 78-78
s__instance(s__Velocity,s__PhysicalDimension)

s__instance(s__PhysicalDimension,s__SetOrClass)

engineering.kif 79-79 Velocity is an instance of physical dimension
s__physicalDomain(s__Velocity,s__Force,s__Translatory)

engineering.kif 281-281 Velocity and force form physical domain translatory

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


s__termFormat(s__ChineseLanguage,s__Velocity,'"速度"')

domainEnglishFormat.kif 61414-61414
s__termFormat(s__ChineseTraditionalLanguage,s__Velocity,'"速度"')

domainEnglishFormat.kif 61413-61413
s__termFormat(s__EnglishLanguage,s__Velocity,'"velocity"')

domainEnglishFormat.kif 61412-61412


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