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 8471-8474 | |
(documentation WhenFn JapaneseLanguage "UnaryFunction は、Object または Process が存在 する正確な TimeInterval にマップされる。 注:%TimeInterval の外側のすべての TimeInterval (WhenFn ?THING) では、(時間 ?THING ?TIME) は保持されない。") | japanese_format.kif 1462-1464 | |
(domain WhenFn 1 Physical) | Merge.kif 8468-8468 | O argumento numero 1 de WhenFn e' uma instancia de Fisico |
(instance WhenFn TemporalRelation) | Merge.kif 8465-8465 | WhenFn e' uma instancia de Relacao Temporal |
(instance WhenFn TotalValuedRelation) | Merge.kif 8467-8467 | WhenFn e' uma instancia de Relacao Total |
(instance WhenFn UnaryFunction) | Merge.kif 8466-8466 | WhenFn e' uma instancia de funcao Unaria |
(range WhenFn TimeInterval) | Merge.kif 8469-8469 | O contra-dominio de WhenFn e' uma instancia de Intervalo Temporal |
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 e' relacionado internamente por SUMO 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 |