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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SpeedScaleAttribute
SpeedScaleAttribute

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

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


(subclass BeaufortNumberAttribute SpeedScaleAttribute) Weather.kif 335-335
(subclass EFScaleAttribute SpeedScaleAttribute) Weather.kif 2088-2088
(subclass SSHWSAttribute SpeedScaleAttribute) Weather.kif 2357-2357
(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

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