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
(domain resourceUsed 2 ComputerResource) QoSontology.kif 2001-2001
(instance resourceUsed BinaryPredicate) QoSontology.kif 1999-1999
(instance resourceUsed CaseRole) QoSontology.kif 1998-1998
(subrelation resourceUsed patient) QoSontology.kif 1997-1997

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 49681-49681
(termFormat ChineseTraditionalLanguage resourceUsed "使用的資源") domainEnglishFormat.kif 49680-49680
(termFormat EnglishLanguage resourceUsed "resource used") domainEnglishFormat.kif 49679-49679

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