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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SpeedScaleAttribute
SpeedScaleAttribute(speed scale attribute)

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


(documentation SpeedScaleAttribute ChineseLanguage "SpeedScaleAttribute (时速级数属性) 是用于表达 %Motion (运动) 的速度一个 Attribute (属性)类别。 ") Weather.kif 2052-2053
(documentation SpeedScaleAttribute EnglishLanguage "SpeedScaleAttribute is a class of Attributes for indicating the speed of a Motion") Weather.kif 2050-2051
(subclass SpeedScaleAttribute RelationalAttribute) Weather.kif 2054-2054 Speed scale attribute is a subclass of relational attribute

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


(subclass BeaufortNumberAttribute SpeedScaleAttribute) Weather.kif 335-335 Beaufort number attribute is a subclass of speed scale attribute
(subclass EFScaleAttribute SpeedScaleAttribute) Weather.kif 2088-2088 Enhanced fuijita scale attribute is a subclass of speed scale attribute
(subclass SSHWSAttribute SpeedScaleAttribute) Weather.kif 2357-2357 Saffir Simpson Hurrican wind scale is a subclass of speed scale attribute
(termFormat ChineseLanguage SpeedScaleAttribute "时速级数属性") domainEnglishFormat.kif 10345-10345
(termFormat EnglishLanguage SpeedScaleAttribute "speed scale attribute") domainEnglishFormat.kif 10344-10344

appearance as argument number 3
-------------------------


(domain speedScaleAttributeMinMax 1 SpeedScaleAttribute) Weather.kif 2125-2125 The number 1 argument of speed scale attribute min max is an instance of speed scale attribute

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


(=>
    (and
        (instance ?ATTR SpeedScaleAttribute)
        (property ?X ?ATTR))
    (instance ?X Motion))
Weather.kif 2056-2060


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