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 8493-8496 | |
(documentation WhenFn JapaneseLanguage "UnaryFunction は、Object または Process が存在 する正確な TimeInterval にマップされる。 注:%TimeInterval の外側のすべての TimeInterval (WhenFn ?THING) では、(時間 ?THING ?TIME) は保持されない。") | japanese_format.kif 1462-1464 | |
(domain WhenFn 1 Physical) | Merge.kif 8490-8490 | Il numero 1 argomenti di WhenFn è un istanza di Entit�Concreta |
(instance WhenFn TemporalRelation) | Merge.kif 8487-8487 | WhenFn è un' istanza di RelazioneTemporale |
(instance WhenFn TotalValuedRelation) | Merge.kif 8489-8489 | WhenFn è un' istanza di RelazioneAValoreTotale |
(instance WhenFn UnaryFunction) | Merge.kif 8488-8488 | WhenFn è un' istanza di FunzioneUnaria |
(range WhenFn TimeInterval) | Merge.kif 8491-8491 | rango di WhenFn è un'istanza di IntervalloTemporale |
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 461-461 | |
(format FrenchLanguage WhenFn "temps d'existence de %1") | french_format.kif 264-264 | |
(format ItalianLanguage WhenFn "il tempo di esistenza di %1") | relations-it.txt 314-314 | |
(format JapaneseLanguage WhenFn "%1 の time の existence") | japanese_format.kif 2054-2054 | |
(format PortugueseLanguage WhenFn "tempo de existencia de %1") | portuguese_format.kif 216-216 | |
(format cz WhenFn "doba existence %1") | relations-cz.txt 270-270 | |
(format de WhenFn "die zeit des Bestehens von %1") | relations-de.txt 595-595 | |
(format hi WhenFn "%1 ke astitva kaa samaya") | relations-hindi.txt 349-349 | |
(format ro WhenFn "time%t{timpul} existenþei lui %1") | relations-ro.kif 285-285 | |
(format sv WhenFn "tiden då %1 existerade") | relations-sv.txt 290-290 | |
(format tg WhenFn "ang panahon ng kabuhayan ng %1") | relations-tg.txt 506-506 | |
(relatedInternalConcept WhereFn WhenFn) | Merge.kif 4225-4225 | WhereFn è interamente correlato a WhenFn |
(termFormat ChineseLanguage WhenFn "何时") | domainEnglishFormat.kif 62985-62985 | |
(termFormat ChineseLanguage WhenFn "何时函数") | chinese_format.kif 456-456 | |
(termFormat ChineseTraditionalLanguage WhenFn "何時") | domainEnglishFormat.kif 62984-62984 | |
(termFormat EnglishLanguage WhenFn "when") | domainEnglishFormat.kif 62983-62983 |
antecedent |
consequent |
statement |