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 1996-1997
(domain resourceUsed 1 ComputerProcess) QoSontology.kif 1994-1994 The number 1 argument of resource used is an instance of computer process
(domain resourceUsed 2 ComputerResource) QoSontology.kif 1995-1995 The number 2 argument of resource used is an instance of computer resource
(instance resourceUsed BinaryPredicate) QoSontology.kif 1993-1993 resource used is an instance of binary predicate
(instance resourceUsed CaseRole) QoSontology.kif 1992-1992 resource used is an instance of case role
(subrelation resourceUsed patient) QoSontology.kif 1991-1991 resource used is a subrelation of 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 49744-49744
(termFormat ChineseTraditionalLanguage resourceUsed "使用的資源") domainEnglishFormat.kif 49743-49743
(termFormat EnglishLanguage resourceUsed "resource used") domainEnglishFormat.kif 49742-49742

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 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