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

Formal Language: 



KB Term:  Term intersection
English Word: 

  lifeStageAchieved

 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 lifeStageAchieved の数値 1 引数は 生物学的プロセス の instance では %n
(domain lifeStageAchieved 2 DevelopmentalAttribute) VirusProteinAndCellPart.kif 223-223 lifeStageAchieved の数値 2 引数は 発達属性 の instance では %n
(instance lifeStageAchieved BinaryPredicate) VirusProteinAndCellPart.kif 221-221 lifeStageAchieved は 2進述語 の instance では %n

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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