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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - resourceUsed
resourceUsed

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


(documentation resourceUsed EnglishLanguage "(resourceUsed ?Process ?Resource) means that the ComputerProcess ?Process has access to the ComputerResource ?Resource.") QoSontology.kif 2127-2128
(domain resourceUsed 1 ComputerProcess) QoSontology.kif 2125-2125 Le nombre 1 argument de resourceUsed est une instance de ComputerProcess
(domain resourceUsed 2 ComputerResource) QoSontology.kif 2126-2126 Le nombre 2 argument de resourceUsed est une instance de ComputerResource
(instance resourceUsed BinaryPredicate) QoSontology.kif 2124-2124 resourceUsed est une instance de pr�dicat binaire
(instance resourceUsed CaseRole) QoSontology.kif 2123-2123 resourceUsed est une instance de r�le d�pendant du cas
(subrelation resourceUsed patient) QoSontology.kif 2122-2122 resourceUsed est une sous-relation de patient

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


(format ChineseLanguage resourceUsed "%1 uses %2 ") domainEnglishFormat.kif 4430-4430
(format ChineseTraditionalLanguage resourceUsed "%%1 uses %2 ") domainEnglishFormat.kif 4429-4429
(format EnglishLanguage resourceUsed "%1 uses %2") domainEnglishFormat.kif 4428-4428
(termFormat ChineseLanguage resourceUsed "使用的资源") domainEnglishFormat.kif 49746-49746
(termFormat ChineseTraditionalLanguage resourceUsed "使用的資源") domainEnglishFormat.kif 49745-49745
(termFormat EnglishLanguage resourceUsed "resource used") domainEnglishFormat.kif 49744-49744

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


(=>
    (and
        (instance ?Reusing ReusingAResource)
        (resourceUsed ?Reusing ?Resource))
    (exists (?Using)
        (and
            (instance ?Using UsingAResource)
            (resourceUsed ?Using ?Resource)
            (earlier
                (WhenFn ?Using)
                (WhenFn ?Reusing)))))
QoSontology.kif 2112-2120
(=>
    (and
        (instance ?Using UsingAResource)
        (resourceUsed ?Using ?Resource)
        (agent ?Using ?Agent))
    (uses ?Resource ?Agent))
QoSontology.kif 2097-2102

consequent
-------------------------


(=>
    (and
        (instance ?Reusing ReusingAResource)
        (resourceUsed ?Reusing ?Resource))
    (exists (?Using)
        (and
            (instance ?Using UsingAResource)
            (resourceUsed ?Using ?Resource)
            (earlier
                (WhenFn ?Using)
                (WhenFn ?Reusing)))))
QoSontology.kif 2112-2120
(=>
    (instance ?Using ReusingAResource)
    (exists (?Resource)
        (resourceUsed ?Using ?Resource)))
QoSontology.kif 2107-2110
(=>
    (instance ?Using UsingAResource)
    (exists (?Resource)
        (resourceUsed ?Using ?Resource)))
QoSontology.kif 2092-2095


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