Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| lifeStageAchieved |
| appearance as argument number 1 |
|
| (instance lifeStageAchieved BinaryPredicate) | VirusProteinAndCellPart.kif 225-225 | life stage achieved is an instance of binary predicate |
| (domain lifeStageAchieved 1 BiologicalProcess) | VirusProteinAndCellPart.kif 226-226 | The number 1 argument of life stage achieved is an instance of biological process |
| (domain lifeStageAchieved 2 DevelopmentalAttribute) | VirusProteinAndCellPart.kif 227-227 | The number 2 argument of life stage achieved is an instance of developmental attribute |
| (documentation lifeStageAchieved EnglishLanguage "(lifeStageAchieved ?BDE ?ATTR) relates the BiologicalProcess ?BDE to the DevelopmentalAttribute that is realized as a result of ?BDE.") | VirusProteinAndCellPart.kif 228-230 | The number 2 argument of life stage achieved is an instance of developmental attribute |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage lifeStageAchieved "%2 is %n a life stage achieved of %1") | domainEnglishFormat.kif 1533-1533 | |
| (format ChineseTraditionalLanguage lifeStageAchieved "%2 %n 是 %1 的 life 完成的階段") | domainEnglishFormat.kif 1534-1534 | |
| (format ChineseLanguage lifeStageAchieved "%2 %n 是 %1 的 life 完成的阶段") | domainEnglishFormat.kif 1535-1535 | |
| (termFormat EnglishLanguage lifeStageAchieved "life stage achieved") | domainEnglishFormat.kif 34345-34345 | |
| (termFormat ChineseTraditionalLanguage lifeStageAchieved "生命階段實現") | domainEnglishFormat.kif 34346-34346 | |
| (termFormat ChineseLanguage lifeStageAchieved "生命阶段实现") | domainEnglishFormat.kif 34347-34347 |
| antecedent |
|
|
| (=> (and (lifeStageAchieved ?BDE ?LST) (experiencer ?BDE ?OBJ)) (holdsDuring (ImmediateFutureFn (WhenFn ?BDE)) (instance ?OBJ ?LST))) |
VirusProteinAndCellPart.kif 232-239 | If X is a life stage achieved of Y and Z experiences Y, then Z is an instance of X holds during immediately after the time of existence of Y |
| (=> (and (lifeStageAchieved ?BDE ?LST) (experiencer ?BDE ?OBJ)) (holdsDuring (BeginFn (WhenFn ?BDE)) (not (instance ?OBJ ?LST)))) |
VirusProteinAndCellPart.kif 241-249 | If X is a life stage achieved of Y and Z experiences Y, then Z is not an instance of X holds during the beginning of the time of existence of Y |
|