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

Formal Language: 



KB Term:  Term intersection
English Word: 

  resourceUsed

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 1996-1997
(domain resourceUsed 1 ComputerProcess) QoSontology.kif 1994-1994 Le nombre 1 argument de resourceUsed est une instance de ComputerProcess
(domain resourceUsed 2 ComputerResource) QoSontology.kif 1995-1995 Le nombre 2 argument de resourceUsed est une instance de ComputerResource
(instance resourceUsed BinaryPredicate) QoSontology.kif 1993-1993 resourceUsed est une instance de pr�dicat binaire
(instance resourceUsed CaseRole) QoSontology.kif 1992-1992 resourceUsed est une instance de r�le d�pendant du cas
(subrelation resourceUsed patient) QoSontology.kif 1991-1991 resourceUsed est une sous-relation de patient

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


(format ChineseLanguage resourceUsed "%1 uses %2 ") domainEnglishFormat.kif 4426-4426
(format ChineseTraditionalLanguage resourceUsed "%%1 uses %2 ") domainEnglishFormat.kif 4425-4425
(format EnglishLanguage resourceUsed "%1 uses %2") domainEnglishFormat.kif 4424-4424
(termFormat ChineseLanguage resourceUsed "使用的资源") domainEnglishFormat.kif 49742-49742
(termFormat ChineseTraditionalLanguage resourceUsed "使用的資源") domainEnglishFormat.kif 49741-49741
(termFormat EnglishLanguage resourceUsed "resource used") domainEnglishFormat.kif 49740-49740

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


(=>
    (and
        (instance ?Reusing ReusingAResource)
        (resourceUsed ?Reusing ?Resource))
    (exists (?Using)
        (and
            (instance ?Using UsingAResource)
            (resourceUsed ?Using ?Resource)
            (earlier
                (WhenFn ?Using)
                (WhenFn ?Reusing)))))
QoSontology.kif 1981-1989
(=>
    (and
        (instance ?Using UsingAResource)
        (resourceUsed ?Using ?Resource)
        (agent ?Using ?Agent))
    (uses ?Resource ?Agent))
QoSontology.kif 1966-1971

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


(=>
    (and
        (instance ?Reusing ReusingAResource)
        (resourceUsed ?Reusing ?Resource))
    (exists (?Using)
        (and
            (instance ?Using UsingAResource)
            (resourceUsed ?Using ?Resource)
            (earlier
                (WhenFn ?Using)
                (WhenFn ?Reusing)))))
QoSontology.kif 1981-1989
(=>
    (instance ?Using ReusingAResource)
    (exists (?Resource)
        (resourceUsed ?Using ?Resource)))
QoSontology.kif 1976-1979
(=>
    (instance ?Using UsingAResource)
    (exists (?Resource)
        (resourceUsed ?Using ?Resource)))
QoSontology.kif 1961-1964


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