Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| windRelativePosition |
| appearance as argument number 1 |
|
| (instance windRelativePosition BinaryPredicate) | Weather.kif 261-261 | wind relative position is an instance of binary predicate |
| (instance windRelativePosition AsymmetricRelation) | Weather.kif 262-262 | wind relative position is an instance of asymmetric relation |
| (domain windRelativePosition 1 Object) | Weather.kif 263-263 | The number 1 argument of wind relative position is an instance of object |
| (domain windRelativePosition 2 Attribute) | Weather.kif 264-264 | The number 2 argument of wind relative position is an instance of attribute |
| (documentation windRelativePosition EnglishLanguage "(windRelativePosition ?OBJECT ?POSITION) means that the Wind blows at ?OBJECT from the relative vector ?POSITION. E.g., Crosswind, Headwind, Tailwind.") | Weather.kif 266-269 | The number 2 argument of wind relative position is an instance of attribute |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage windRelativePosition "%2 is %n a wind relative position of %1") | domainEnglishFormat.kif 2624-2624 | |
| (format ChineseTraditionalLanguage windRelativePosition "%2 %n 是 %1 的 wind 相對位置") | domainEnglishFormat.kif 2625-2625 | |
| (format ChineseLanguage windRelativePosition "%2 %n 是 %1 的 wind 相对位置") | domainEnglishFormat.kif 2626-2626 | |
| (termFormat EnglishLanguage windRelativePosition "wind relative position") | domainEnglishFormat.kif 63136-63136 | |
| (termFormat ChineseTraditionalLanguage windRelativePosition "風的相對位置") | domainEnglishFormat.kif 63137-63137 | |
| (termFormat ChineseLanguage windRelativePosition "风的相对位置") | domainEnglishFormat.kif 63138-63138 |
|