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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SpeedScaleAttribute

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 SpeedScaleAttribute関係属性subclass では %n

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


(subclass BeaufortNumberAttribute SpeedScaleAttribute) Weather.kif 335-335 BeaufortNumberAttributeSpeedScaleAttributesubclass では %n
(subclass EFScaleAttribute SpeedScaleAttribute) Weather.kif 2088-2088 EFScaleAttributeSpeedScaleAttributesubclass では %n
(subclass SSHWSAttribute SpeedScaleAttribute) Weather.kif 2357-2357 SSHWSAttributeSpeedScaleAttributesubclass では %n
(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 speedScaleAttributeMinMax の数値 1 引数は SpeedScaleAttributeinstance では %n

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


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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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