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

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


(format ChineseLanguage resourceUsed "%1 uses %2 ") domainEnglishFormat.kif 4435-4435
(format ChineseTraditionalLanguage resourceUsed "%%1 uses %2 ") domainEnglishFormat.kif 4434-4434
(format EnglishLanguage resourceUsed "%1 uses %2") domainEnglishFormat.kif 4433-4433
(termFormat ChineseLanguage resourceUsed "使用的资源") domainEnglishFormat.kif 49725-49725
(termFormat ChineseTraditionalLanguage resourceUsed "使用的資源") domainEnglishFormat.kif 49724-49724
(termFormat EnglishLanguage resourceUsed "resource used") domainEnglishFormat.kif 49723-49723

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


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

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


(=>
    (and
        (instance ?Reusing ReusingAResource)
        (resourceUsed ?Reusing ?Resource))
    (exists (?Using)
        (and
            (instance ?Using UsingAResource)
            (resourceUsed ?Using ?Resource)
            (earlier
                (WhenFn ?Using)
                (WhenFn ?Reusing)))))
QoSontology.kif 1986-1994
(=>
    (instance ?Using ReusingAResource)
    (exists (?Resource)
        (resourceUsed ?Using ?Resource)))
QoSontology.kif 1981-1984
(=>
    (instance ?Using UsingAResource)
    (exists (?Resource)
        (resourceUsed ?Using ?Resource)))
QoSontology.kif 1966-1969


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