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

Formal Language: 



KB Term:  Term intersection
English Word: 

  status

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 The number 1 argument of status is an instance of computer process
(domain status 2 ProcessStatus) QoSontology.kif 797-797 The number 2 argument of status is an instance of process status
(instance status BinaryPredicate) QoSontology.kif 795-795 status is an instance of binary predicate
(subrelation status property) QoSontology.kif 794-794 status is a subrelation of property

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


(format ChineseLanguage status "%2 是 %1 的 status ") domainEnglishFormat.kif 4643-4643
(format ChineseTraditionalLanguage status "%2 是 %1 的 status ") domainEnglishFormat.kif 4642-4642
(format EnglishLanguage status "%2 is the status of %1") domainEnglishFormat.kif 4641-4641
(termFormat ChineseLanguage status "状态") domainEnglishFormat.kif 55173-55173
(termFormat ChineseTraditionalLanguage status "狀態") domainEnglishFormat.kif 55172-55172
(termFormat EnglishLanguage status "status") domainEnglishFormat.kif 55171-55171

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


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


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