temporalPart |
appearance as argument number 1 |
(documentation temporalPart ChineseLanguage "这是类似空间谓词 part 的时间部分。 (temporalPart ?POS1 ?POS2)的意思是 TimePosition ?POS1 是 TimePosition ?POS2 的一部分。 注:因为 temporalPart 是 ReflexiveRelation,所以每个 TimePostion 都是它本身的 一个 temporalPart。") | chinese_format.kif 2693-2696 | |
(documentation temporalPart EnglishLanguage "The temporal analogue of the spatial part predicate. (temporalPart ?POS1 ?POS2) means that TimePosition ?POS1 is part of TimePosition ?POS2. Note that since temporalPart is a ReflexiveRelation every TimePostion is a temporalPart of itself.") | Merge.kif 7971-7974 | |
(documentation temporalPart JapaneseLanguage "空間 part 述部の時間アナログ。(temporalPart ?POS1 ?POS2) とは、TimePosition ?POS1が TimePosition ?POS2 の一部であることを意味する。 注:temporalPart はすべての TimePostion の ReflexiveRelation であるため、それ自体の TimePostion である。") | japanese_format.kif 1416-1419 | |
(domain temporalPart 1 TimePosition) | Merge.kif 7968-7968 | 域 時間部分, 1 and TimePosition |
(domain temporalPart 2 TimePosition) | Merge.kif 7969-7969 | 域 時間部分, 2 and TimePosition |
(instance temporalPart BinaryPredicate) | Merge.kif 7965-7965 | 例 時間部分 and BinaryPredicate |
(instance temporalPart PartialOrderingRelation) | Merge.kif 7967-7967 | 例 時間部分 and PartialOrderingRelation |
(instance temporalPart TemporalRelation) | Merge.kif 7966-7966 | 例 時間部分 and TemporalRelation |
appearance as argument number 2 |
(format ChineseLanguage temporalPart "%1 时段 %n 是 %2 时段 的一 part") | chinese_format.kif 417-417 | |
(format EnglishLanguage temporalPart "%1 is %n a part of %2") | english_format.kif 423-423 | |
(format FrenchLanguage temporalPart "%1 est %n une partie de %2") | french_format.kif 243-243 | |
(format ItalianLanguage temporalPart "%1 è %n una parte di%2") | relations-it.txt 296-296 | |
(format JapaneseLanguage temporalPart "%1 は %2 の part では %n") | japanese_format.kif 2037-2037 | |
(format PortugueseLanguage temporalPart "%1 e' %n uma &parte de %2") | portuguese_format.kif 195-195 | |
(format cz temporalPart "%1 %p{je} %n{nen�} a part of %2'") | relations-cz.txt 248-248 | |
(format de temporalPart "%1 ist ein teil von %2 %n{nicht}") | relations-de.txt 541-541 | |
(format hi temporalPart "%1 %2 kaa bhaaga %n hai") | relations-hindi.txt 332-332 | |
(format ro temporalPart "%1 %n{nu} este o part%t{parte} a lui %2") | relations-ro.kif 264-264 | |
(format sv temporalPart "%1 är %n{inte} en del av %2") | relations-sv.txt 264-264 | |
(format tg temporalPart "%1 %n ay ang bahagi ng %2") | relations-tg.txt 488-488 | |
(relatedInternalConcept typicalTemporalPart temporalPart) | Cars.kif 1433-1433 | 相關的內部概念 typicalTemporalPart and 時間部分 |
(relatedInternalConcept typicallyContainsTemporalPart temporalPart) | Cars.kif 1475-1475 | 相關的內部概念 typicallyContainsTemporalPart and 時間部分 |
(subrelation finishes temporalPart) | Merge.kif 8100-8100 | 子關係 飾面 and 時間部分 |
(subrelation starts temporalPart) | Merge.kif 8068-8068 | 子關係 啟動 and 時間部分 |
(termFormat ChineseLanguage temporalPart "时间部分") | chinese_format.kif 418-418 | |
(termFormat ChineseTraditionalLanguage temporalPart "時間部分") | domainEnglishFormat.kif 57453-57453 | |
(termFormat EnglishLanguage temporalPart "temporal part") | domainEnglishFormat.kif 57452-57452 |
antecedent |
consequent |