| TimeMeasure | |
| appearance as argument number 1 |
|
|
| (documentation TimeMeasure ChineseLanguage "这个是通用时间轴(TimePosition 的实例)上的类别， 它包括时间段(TimeDuration 的实例)，与 TimePoint 和 TimeInterval 的定位。") | chinese_format.kif 1779-1780 | |
| (documentation TimeMeasure EnglishLanguage "The class of temporal durations (instances of TimeDuration) and positions of TimePoints and TimeIntervals along the universal timeline (instances of TimePosition).") | Merge.kif 2069-2071 | |
| (documentation TimeMeasure JapaneseLanguage "ユニバーサル タイムライン (TimePosition のイン スタンス) に沿った一時的な期間のクラス (TimeDuration のインスタンス) と TimePoint と TimeInterval 。") | japanese_format.kif 391-393 | |
| (subclass TimeMeasure ConstantQuantity) | Merge.kif 2067-2067 |
| appearance as argument number 2 |
|
|
| (subclass TimeDuration TimeMeasure) | Merge.kif 2073-2073 | |
| (subclass TimePosition TimeMeasure) | Merge.kif 2078-2078 | |
| (termFormat ChineseLanguage TimeMeasure "时间单位") | chinese_format.kif 877-877 | |
| (termFormat EnglishLanguage TimeMeasure "time measure") | english_format.kif 956-956 | |
| (termFormat FrenchLanguage TimeMeasure "mesure temporel") | french_format.kif 553-553 | |
| (termFormat Hindi TimeMeasure "samaya maapa") | terms-hindi.txt 83-83 | |
| (termFormat ItalianLanguage TimeMeasure "MisuraTemporale") | terms-it.txt 86-86 | |
| (termFormat JapaneseLanguage TimeMeasure "時間測定") | japanese_format.kif 2238-2238 | |
| (termFormat PortugueseLanguage TimeMeasure "Medida Temporal") | portuguese_format.kif 505-505 | |
| (termFormat cb TimeMeasure "gitas-ong oras") | terms-cb.txt 88-88 | |
| (termFormat cz TimeMeasure "time measure") | terms-cz.txt 120-120 | |
| (termFormat ro TimeMeasure "mãsur&abreve temporalã") | relations-ro.kif 574-574 | |
| (termFormat tg TimeMeasure "sukat ng panahon") | terms-tg.txt 87-87 |
| consequent |
|
|
| (=> (and (instance ?M Measuring) (result ?M ?Q) (instrument ?M ?C) (instance ?C Clock)) (instance ?Q TimeMeasure)) |
Mid-level-ontology.kif 2879-2885 |
|
|
|