finishes |
appearance as argument number 1 |
(documentation finishes ChineseLanguage "(finishes ?INTERVAL1 ?INTERVAL2) 的意思是 ?INTERVAL1 和 ?INTERVAL 2两个是 TimeInterval 有共同的结束 TimePoint,而 ?INTERVAL2 比 ?INTERVAL1 先开始。") | chinese_format.kif 2704-2706 | |
(documentation finishes EnglishLanguage "(finishes ?INTERVAL1 ?INTERVAL2) means that ?INTERVAL1 and ?INTERVAL2 are both TimeIntervals that have the same ending TimePoint and that ?INTERVAL2 begins before ?INTERVAL1.") | Merge.kif 8094-8096 | |
(documentation finishes JapaneseLanguage "(finishes ?INTERVAL1 ?INTERVAL2) とは、?INTERVAL1 と ?INTERVAL2が両方とも同じ末な TimePoint を持つ TimeInterval であり、?INTERVAL2 が ?INTERVAL1より前に開始することを意味する。") | japanese_format.kif 1427-1429 | |
(domain finishes 1 TimeInterval) | Merge.kif 8091-8091 | Il numero 1 argomenti di finishes è un istanza di IntervalloTemporale |
(domain finishes 2 TimeInterval) | Merge.kif 8092-8092 | Il numero 2 argomenti di finishes è un istanza di IntervalloTemporale |
(instance finishes IrreflexiveRelation) | Merge.kif 8089-8089 | finishes è un' istanza di RelazioneNonRiflessiva |
(instance finishes TemporalRelation) | Merge.kif 8087-8087 | finishes è un' istanza di RelazioneTemporale |
(instance finishes TotalValuedRelation) | Merge.kif 8090-8090 | finishes è un' istanza di RelazioneAValoreTotale |
(instance finishes TransitiveRelation) | Merge.kif 8088-8088 | finishes è un' istanza di RelazioneTransitiva |
(subrelation finishes temporalPart) | Merge.kif 8086-8086 | finishes è una sottorelazione di temporalPart |
appearance as argument number 2 |
(format ChineseLanguage finishes "%1 %n finishes了才到 %2") | chinese_format.kif 421-421 | |
(format EnglishLanguage finishes "%1 %n{doesn't} finish%p{es} %2") | english_format.kif 427-427 | |
(format FrenchLanguage finishes "%1 %n{ne} finit %n{pas} %2") | french_format.kif 245-245 | |
(format ItalianLanguage finishes "%1 %n{non} finisce%p{es} %2") | relations-it.txt 111-111 | |
(format JapaneseLanguage finishes "%1 は %2 を finish%p{es} %n{ない}") | japanese_format.kif 2039-2039 | |
(format PortugueseLanguage finishes "%1 %n{nao} termina em %n %2") | portuguese_format.kif 197-197 | |
(format cz finishes "%1 %n{doesn't} finish%p{es} %2") | relations-cz.txt 250-250 | |
(format de finishes "%1 beendet %2 %n{nicht}") | relations-de.txt 547-547 | |
(format hi finishes "%1 %2 ko samaapta %n{nahiin} karataa hai") | relations-hindi.txt 151-151 | |
(format ro finishes "%1 %n{nu} finish%t{terminã} %2") | relations-ro.kif 266-266 | |
(format sv finishes "%1 avslutar %n{inte} %2") | relations-sv.txt 266-266 | |
(format tg finishes "%1 %n simutin %2") | relations-tg.txt 232-232 | |
(termFormat ChineseLanguage finishes "完成") | chinese_format.kif 422-422 | |
(termFormat ChineseLanguage finishes "饰面") | domainEnglishFormat.kif 23876-23876 | |
(termFormat ChineseTraditionalLanguage finishes "飾面") | domainEnglishFormat.kif 23875-23875 | |
(termFormat EnglishLanguage finishes "finishes") | domainEnglishFormat.kif 23874-23874 | |
(termFormat tg finishes "simutin") | relations-tg.txt 233-233 |
antecedent |
consequent |
statement |
(exists (?TIME) (and (instance ?TIME TimeInterval) (finishes ?TIME (WhenFn JesusOfNazareth)) (starts ?TIME (WhenFn TwelveApostles)) (forall (?MEM) (=> (holdsDuring ?TIME (member ?MEM TwelveApostles)) (holdsDuring ?TIME (friend ?MEM JesusOfNazareth)))))) |
Media.kif 1970-1978 | IntervalloTemporale IntervalloTemporale è un' istanza di IntervalloTemporale IntervalloTemporale finiscees il tempo di esistenza di JesusOfNazareth IntervalloTemporale inizias il tempo di esistenza di TwelveApostles Entit�
|