Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  ListFn__7Fn__0En1Re2In3Re4In5Ra6In7InFn
|
|
|
| appearance as argument number 1 |
|
|
| (documentation SpeedScaleAttribute EnglishLanguage "SpeedScaleAttribute is a class of Attributes for indicating the speed of a Motion") | Weather.kif 3317-3318 | |
| (documentation SpeedScaleAttribute ChineseLanguage "SpeedScaleAttribute (时速级数属性) 是用于表达 %Motion (运动) 的速度一个 Attribute (属性)类别。 ") | Weather.kif 3319-3320 | |
| (subclass SpeedScaleAttribute RelationalAttribute) | Weather.kif 3321-3321 | Speed scale attribute is a subclass of relational attribute |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain speedScaleAttributeMinMax 1 SpeedScaleAttribute) | Weather.kif 3392-3392 | 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 3323-3327 | If X is an instance of speed scale attribute and Y the attribute X, then Y is an instance of motion |
|