lifeStageAchieved |
appearance as argument number 1 |
(documentation lifeStageAchieved EnglishLanguage "(lifeStageAchieved ?BDE ?ATTR) relates the BiologicalProcess ?BDE to the DevelopmentalAttribute that is realized as a result of ?BDE.") | VirusProteinAndCellPart.kif 224-226 | |
(domain lifeStageAchieved 1 BiologicalProcess) | VirusProteinAndCellPart.kif 222-222 | Le nombre 1 argument de lifeStageAchieved est une instance de processus biologique |
(domain lifeStageAchieved 2 DevelopmentalAttribute) | VirusProteinAndCellPart.kif 223-223 | Le nombre 2 argument de lifeStageAchieved est une instance de attribut de d�vellopement |
(instance lifeStageAchieved BinaryPredicate) | VirusProteinAndCellPart.kif 221-221 | lifeStageAchieved est une instance de pr�dicat binaire |
appearance as argument number 2 |
(format ChineseLanguage lifeStageAchieved "%2 %n 是 %1 的 life 完成的阶段") | domainEnglishFormat.kif 1535-1535 | |
(format ChineseTraditionalLanguage lifeStageAchieved "%2 %n 是 %1 的 life 完成的階段") | domainEnglishFormat.kif 1534-1534 | |
(format EnglishLanguage lifeStageAchieved "%2 is %n a life stage achieved of %1") | domainEnglishFormat.kif 1533-1533 | |
(termFormat ChineseLanguage lifeStageAchieved "生命阶段实现") | domainEnglishFormat.kif 34343-34343 | |
(termFormat ChineseTraditionalLanguage lifeStageAchieved "生命階段實現") | domainEnglishFormat.kif 34342-34342 | |
(termFormat EnglishLanguage lifeStageAchieved "life stage achieved") | domainEnglishFormat.kif 34341-34341 |
antecedent |
(=> (and (lifeStageAchieved ?BDE ?LST) (experiencer ?BDE ?OBJ)) (holdsDuring (BeginFn (WhenFn ?BDE)) (not (instance ?OBJ ?LST)))) |
VirusProteinAndCellPart.kif 237-245 |
|
(=> (and (lifeStageAchieved ?BDE ?LST) (experiencer ?BDE ?OBJ)) (holdsDuring (ImmediateFutureFn (WhenFn ?BDE)) (instance ?OBJ ?LST))) |
VirusProteinAndCellPart.kif 228-235 |
|