starts |
appearance as argument number 1 |
(documentation starts ChineseLanguage "(starts ?INTERVAL1 ?INTERVAL2) 的意思是 ?INTERVAL1 和 ?INTERVAL2 两个是 TimeInterval 有共同的开始 TimePoint,而 ?INTERVAL1 比 ?INTERVAL2 先 结束。") | chinese_format.kif 2701-2703 | |
(documentation starts EnglishLanguage "(starts ?INTERVAL1 ?INTERVAL2) means that ?INTERVAL1 and ?INTERVAL2 are both TimeIntervals that have the same initial TimePoint and that ?INTERVAL1 ends before ?INTERVAL2.") | Merge.kif 8076-8078 | |
(documentation starts JapaneseLanguage "(starts ?INTERVAL1 ?INTERVAL2) とは、?INTERVAL1 と ?INTERVAL2 が両方とも同じ初期 TimePoint を持つ TimeInterva であり、?INTERVAL1 が ?INTERVAL2 より前に終了することを意味する。") | japanese_format.kif 1424-1426 | |
(domain starts 1 TimeInterval) | Merge.kif 8073-8073 | The number 1 argument of starts is an instance of time interval |
(domain starts 2 TimeInterval) | Merge.kif 8074-8074 | The number 2 argument of starts is an instance of time interval |
(instance starts IrreflexiveRelation) | Merge.kif 8071-8071 | starts is an instance of irreflexive relation |
(instance starts TemporalRelation) | Merge.kif 8069-8069 | starts is an instance of temporal relation |
(instance starts TotalValuedRelation) | Merge.kif 8072-8072 | starts is an instance of total valued relation |
(instance starts TransitiveRelation) | Merge.kif 8070-8070 | starts is an instance of transitive relation |
(subrelation starts temporalPart) | Merge.kif 8068-8068 | starts is a subrelation of temporal part |
appearance as argument number 2 |
(format ChineseLanguage starts "%1 %n starts了才到 %2 ") | chinese_format.kif 419-419 | |
(format EnglishLanguage starts "%1 %n{doesn't} start%p{s} %2") | english_format.kif 425-425 | |
(format FrenchLanguage starts "%1 %n{ne} commence %n{pas} %2") | french_format.kif 244-244 | |
(format ItalianLanguage starts "%1 %n{non} inizia%p{s} %2") | relations-it.txt 269-269 | |
(format JapaneseLanguage starts "%1 は %2 を start%p{s} %n{ない}") | japanese_format.kif 2038-2038 | |
(format PortugueseLanguage starts "%1 %n{nao} comeca em %n %2") | portuguese_format.kif 196-196 | |
(format cz starts "%1 %n{doesn't} start%p{s} %2") | relations-cz.txt 249-249 | |
(format de starts "%1 beginnt %2 %n{nicht}") | relations-de.txt 544-544 | |
(format hi starts "%1 %2 ko %n{nahiin} praarambha karataa hai") | relations-hindi.txt 306-306 | |
(format ro starts "%1 %n{nu} start%t{începe} %2") | relations-ro.kif 265-265 | |
(format sv starts "%1 påbörjar %n{inte} %2") | relations-sv.txt 265-265 | |
(format tg starts "%1 %n ay simula ng %2") | relations-tg.txt 461-461 | |
(termFormat ChineseLanguage starts "启动") | domainEnglishFormat.kif 55114-55114 | |
(termFormat ChineseLanguage starts "开始") | chinese_format.kif 420-420 | |
(termFormat ChineseTraditionalLanguage starts "啟動") | domainEnglishFormat.kif 55113-55113 | |
(termFormat EnglishLanguage starts "starts") | domainEnglishFormat.kif 55112-55112 |
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 | There exists a time interval such that the time interval is an instance of time interval and the time interval finishes the time of existence of Jesus of Nazareth and the time interval starts the time of existence of Twelve apostles and for all an entity
|