| 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 | |
| (domain lifeStageAchieved 2 DevelopmentalAttribute) | VirusProteinAndCellPart.kif 223-223 | |
| (instance lifeStageAchieved BinaryPredicate) | VirusProteinAndCellPart.kif 221-221 |
| 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 34349-34349 | |
| (termFormat ChineseTraditionalLanguage lifeStageAchieved "生命階段實現") | domainEnglishFormat.kif 34348-34348 | |
| (termFormat EnglishLanguage lifeStageAchieved "life stage achieved") | domainEnglishFormat.kif 34347-34347 |
| 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