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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - status
status

appearance as argument number 1
-------------------------


(documentation status EnglishLanguage "(status ?PROCESS ?STATUS) holds if ?STATUS is the current status of ?PROCESS.") QoSontology.kif 800-800
(domain status 1 ComputerProcess) QoSontology.kif 798-798 Le nombre 1 argument de status est une instance de ComputerProcess
(domain status 2 ProcessStatus) QoSontology.kif 799-799 Le nombre 2 argument de status est une instance de ProcessStatus
(instance status BinaryPredicate) QoSontology.kif 797-797 status est une instance de pr�dicat binaire
(subrelation status property) QoSontology.kif 796-796 status est une sous-relation de property

appearance as argument number 2
-------------------------


(format ChineseLanguage status "%2 是 %1 的 status ") domainEnglishFormat.kif 4634-4634
(format ChineseTraditionalLanguage status "%2 是 %1 的 status ") domainEnglishFormat.kif 4633-4633
(format EnglishLanguage status "%2 is the status of %1") domainEnglishFormat.kif 4632-4632
(termFormat ChineseLanguage status "状态") domainEnglishFormat.kif 55194-55194
(termFormat ChineseTraditionalLanguage status "狀態") domainEnglishFormat.kif 55193-55193
(termFormat EnglishLanguage status "status") domainEnglishFormat.kif 55192-55192

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


(=>
    (and
        (status ?Process ProcessFailure)
        (hasPurpose ?Process ?Purpose))
    (not
        (holdsDuring
            (ImmediatePastFn
                (WhenFn ?Process)) ?Purpose)))
QoSontology.kif 802-809


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