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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 SpeedScaleAttribute est une sous-classe de attribut relationnel

appearance as argument number 2

(subclass BeaufortNumberAttribute SpeedScaleAttribute) Weather.kif 335-335 BeaufortNumberAttribute est une sous-classe de SpeedScaleAttribute
(subclass EFScaleAttribute SpeedScaleAttribute) Weather.kif 2088-2088 EFScaleAttribute est une sous-classe de SpeedScaleAttribute
(subclass SSHWSAttribute SpeedScaleAttribute) Weather.kif 2357-2357 SSHWSAttribute est une sous-classe de SpeedScaleAttribute
(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 Le nombre 1 argument de speedScaleAttributeMinMax est une instance de SpeedScaleAttribute


        (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