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 179-181
(domain lifeStageAchieved 1 BiologicalProcess) VirusProteinAndCellPart.kif 177-177 domain lifeStageAchieved, 1 and BiologicalProcess
(domain lifeStageAchieved 2 DevelopmentalAttribute) VirusProteinAndCellPart.kif 178-178 domain lifeStageAchieved, 2 and DevelopmentalAttribute
(instance lifeStageAchieved BinaryPredicate) VirusProteinAndCellPart.kif 176-176 instance lifeStageAchieved and BinaryPredicate

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 34255-34255 termFormat ChineseLanguage, lifeStageAchieved and "生命阶段实现"
(termFormat ChineseTraditionalLanguage lifeStageAchieved "生命階段實現") domainEnglishFormat.kif 34254-34254 termFormat ChineseTraditionalLanguage, lifeStageAchieved and "生命階段實現"
(termFormat EnglishLanguage lifeStageAchieved "life stage achieved") domainEnglishFormat.kif 34253-34253 termFormat EnglishLanguage, lifeStageAchieved and "life stage achieved"

antecedent
-------------------------


(=>
    (and
        (lifeStageAchieved ?BDE ?LST)
        (experiencer ?BDE ?OBJ))
    (holdsDuring
        (BeginFn
            (WhenFn ?BDE))
        (not
            (instance ?OBJ ?LST))))
VirusProteinAndCellPart.kif 192-200
(=>
    (and
        (lifeStageAchieved ?BDE ?LST)
        (experiencer ?BDE ?OBJ))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?BDE))
        (instance ?OBJ ?LST)))
VirusProteinAndCellPart.kif 183-190


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners