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 2002-2003
(domain resourceUsed 1 ComputerProcess) QoSontology.kif 2000-2000 The number 1 argument of resource used is an instance of computer process
(domain resourceUsed 2 ComputerResource) QoSontology.kif 2001-2001 The number 2 argument of resource used is an instance of computer resource
(instance resourceUsed BinaryPredicate) QoSontology.kif 1999-1999 resource used is an instance of binary predicate
(instance resourceUsed CaseRole) QoSontology.kif 1998-1998 resource used is an instance of case role
(subrelation resourceUsed patient) QoSontology.kif 1997-1997 resource used is a subrelation of patient

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


(format ChineseLanguage resourceUsed "%1 uses %2 ") domainEnglishFormat.kif 4431-4431
(format ChineseTraditionalLanguage resourceUsed "%%1 uses %2 ") domainEnglishFormat.kif 4430-4430
(format EnglishLanguage resourceUsed "%1 uses %2") domainEnglishFormat.kif 4429-4429
(termFormat ChineseLanguage resourceUsed "使用的资源") domainEnglishFormat.kif 49640-49640
(termFormat ChineseTraditionalLanguage resourceUsed "使用的資源") domainEnglishFormat.kif 49639-49639
(termFormat EnglishLanguage resourceUsed "resource used") domainEnglishFormat.kif 49638-49638

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


(=>
    (and
        (instance ?Reusing ReusingAResource)
        (resourceUsed ?Reusing ?Resource))
    (exists (?Using)
        (and
            (instance ?Using UsingAResource)
            (resourceUsed ?Using ?Resource)
            (earlier
                (WhenFn ?Using)
                (WhenFn ?Reusing)))))
QoSontology.kif 1987-1995
(=>
    (and
        (instance ?Using UsingAResource)
        (resourceUsed ?Using ?Resource)
        (agent ?Using ?Agent))
    (uses ?Agent ?Resource))
QoSontology.kif 1972-1977

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


(=>
    (and
        (instance ?Reusing ReusingAResource)
        (resourceUsed ?Reusing ?Resource))
    (exists (?Using)
        (and
            (instance ?Using UsingAResource)
            (resourceUsed ?Using ?Resource)
            (earlier
                (WhenFn ?Using)
                (WhenFn ?Reusing)))))
QoSontology.kif 1987-1995
(=>
    (instance ?Using ReusingAResource)
    (exists (?Resource)
        (resourceUsed ?Using ?Resource)))
QoSontology.kif 1982-1985
(=>
    (instance ?Using UsingAResource)
    (exists (?Resource)
        (resourceUsed ?Using ?Resource)))
QoSontology.kif 1967-1970


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