| 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 | The number 1 argument of life stage achieved is an instance of biological process |
| (domain lifeStageAchieved 2 DevelopmentalAttribute) | VirusProteinAndCellPart.kif 223-223 | The number 2 argument of life stage achieved is an instance of developmental attribute |
| (instance lifeStageAchieved BinaryPredicate) | VirusProteinAndCellPart.kif 221-221 | life stage achieved is an instance of binary predicate |
| 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 34377-34377 | |
| (termFormat ChineseTraditionalLanguage lifeStageAchieved "生命階段實現") | domainEnglishFormat.kif 34376-34376 | |
| (termFormat EnglishLanguage lifeStageAchieved "life stage achieved") | domainEnglishFormat.kif 34375-34375 |
| 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 |
|
|
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