Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - lifeStageAchieved
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 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 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


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