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 798-798
(domain status 1 ComputerProcess) QoSontology.kif 796-796 domain status, 1 and ComputerProcess
(domain status 2 ProcessStatus) QoSontology.kif 797-797 domain status, 2 and ProcessStatus
(instance status BinaryPredicate) QoSontology.kif 795-795 instance status and BinaryPredicate
(subrelation status property) QoSontology.kif 794-794 subrelation status and property

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


(format ChineseLanguage status "%2 是 %1 的 status ") domainEnglishFormat.kif 4639-4639
(format ChineseTraditionalLanguage status "%2 是 %1 的 status ") domainEnglishFormat.kif 4638-4638
(format EnglishLanguage status "%2 is the status of %1") domainEnglishFormat.kif 4637-4637
(termFormat ChineseLanguage status "状态") domainEnglishFormat.kif 55135-55135 termFormat ChineseLanguage, status and "状态"
(termFormat ChineseTraditionalLanguage status "狀態") domainEnglishFormat.kif 55134-55134 termFormat ChineseTraditionalLanguage, status and "狀態"
(termFormat EnglishLanguage status "status") domainEnglishFormat.kif 55133-55133 termFormat EnglishLanguage, status and "status"

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


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


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