| 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 228-230 | |
| (domain lifeStageAchieved 1 BiologicalProcess) | VirusProteinAndCellPart.kif 226-226 | Le nombre 1 argument de lifeStageAchieved est une instance de processus biologique |
| (domain lifeStageAchieved 2 DevelopmentalAttribute) | VirusProteinAndCellPart.kif 227-227 | Le nombre 2 argument de lifeStageAchieved est une instance de attribut de d�vellopement |
| (instance lifeStageAchieved BinaryPredicate) | VirusProteinAndCellPart.kif 225-225 | 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 34354-34354 | |
| (termFormat ChineseTraditionalLanguage lifeStageAchieved "生命階段實現") | domainEnglishFormat.kif 34353-34353 | |
| (termFormat EnglishLanguage lifeStageAchieved "life stage achieved") | domainEnglishFormat.kif 34352-34352 |
| antecedent |
|
|
| (=> (and (lifeStageAchieved ?BDE ?LST) (experiencer ?BDE ?OBJ)) (holdsDuring (BeginFn (WhenFn ?BDE)) (not (instance ?OBJ ?LST)))) |
VirusProteinAndCellPart.kif 241-249 |
|
| (=> (and (lifeStageAchieved ?BDE ?LST) (experiencer ?BDE ?OBJ)) (holdsDuring (ImmediateFutureFn (WhenFn ?BDE)) (instance ?OBJ ?LST))) |
VirusProteinAndCellPart.kif 232-239 |
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners