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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Length
Length(length)length

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


s__documentation(s__Length,s__EnglishLanguage,'"PhysicalDimension of length, [m]."')

engineering.kif 75-75
s__documentation(s__Length,s__EnglishLanguage,'"As with length, this is the measure of an Object along its longest span."')

Mid-level-ontology.kif 29186-29187
s__instance(s__Length,s__MeasurementAttribute)

s__instance(s__MeasurementAttribute,s__SetOrClass)

Mid-level-ontology.kif 29185-29185 Length is an instance of measurement attribute
s__instance(s__Length,s__PhysicalDimension)

s__instance(s__PhysicalDimension,s__SetOrClass)

engineering.kif 76-76 Length is an instance of physical dimension

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


s__termFormat(s__ChineseLanguage,s__Length,'"长度"')

domainEnglishFormat.kif 33942-33942
s__termFormat(s__ChineseTraditionalLanguage,s__Length,'"長度"')

domainEnglishFormat.kif 33941-33941
s__termFormat(s__EnglishLanguage,s__Length,'"length"')

domainEnglishFormat.kif 33940-33940

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


( ! [V__O,V__Q,V__S] :
   (((s__instance(V__O,s__Physical) &
         s__instance(V__Q,s__Quantity))
       =>
       (((s__memberMeasure(V__S,s__Length,V__Q)
           &
           s__instance(V__S,s__Class) &
           s__instance(V__O,V__S))
       =>
       (s__length(V__O,V__Q)))))
)
)

Mid-level-ontology.kif 29190-29195


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