WhenFn |
appearance as argument number 1 |
![]() |
(documentation WhenFn ChineseLanguage "这是一个 UnaryFunction,它把一个 Object 或 Process 联系到它存在的准确 TimeInterval。注:在 TimeInterval (WhenFn ?THING)以外的 每一个 TimePoint ?TIME, (time ?THING ?TIME) 并不存在") | chinese_format.kif 2736-2738 | |
(documentation WhenFn EnglishLanguage "A UnaryFunction that maps an Object or Process to the exact TimeInterval during which it exists. Note that, for every TimePoint ?TIME outside of the TimeInterval (WhenFn ?THING), (time ?THING ?TIME) does not hold.") | Merge.kif 7806-7809 | |
(domain WhenFn 1 Physical) | Merge.kif 7803-7803 | domain WhenFn, 1 and Physical |
(instance WhenFn TemporalRelation) | Merge.kif 7800-7800 | instance WhenFn and TemporalRelation |
(instance WhenFn TotalValuedRelation) | Merge.kif 7802-7802 | instance WhenFn and TotalValuedRelation |
(instance WhenFn UnaryFunction) | Merge.kif 7801-7801 | instance WhenFn and UnaryFunction |
(range WhenFn TimeInterval) | Merge.kif 7804-7804 | range WhenFn and TimeInterval |
appearance as argument number 2 |
![]() |
(format ChineseLanguage WhenFn "%1 出现 的 time") | chinese_format.kif 455-455 | |
(format EnglishLanguage WhenFn "the time of existence of %1") | english_format.kif 464-464 | |
(relatedInternalConcept WhereFn WhenFn) | Merge.kif 3952-3952 | relatedInternalConcept WhereFn and WhenFn |
(termFormat ChineseLanguage WhenFn "何时") | domainEnglishFormat.kif 62929-62929 | termFormat ChineseLanguage, WhenFn and "何时" |
(termFormat ChineseLanguage WhenFn "何时函数") | chinese_format.kif 456-456 | termFormat ChineseLanguage, WhenFn and "何时函数" |
(termFormat ChineseTraditionalLanguage WhenFn "何時") | domainEnglishFormat.kif 62928-62928 | termFormat ChineseTraditionalLanguage, WhenFn and "何時" |
(termFormat EnglishLanguage WhenFn "when") | domainEnglishFormat.kif 62927-62927 | termFormat EnglishLanguage, WhenFn and "when" |
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 1972-1980 | TimeInterval instance TimeInterval and TimeInterval finishes TimeInterval and WhenFn JesusOfNazareth starts TimeInterval and WhenFn TwelveApostles entity
|
(holdsDuring (WhenFn JesusOfNazareth) (located JesusOfNazareth Palestine)) |
Media.kif 1922-1922 | holdsDuring WhenFn JesusOfNazareth and located JesusOfNazareth and Palestine |
![]() |
![]() |