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
(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 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