Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  UsingAResource

 Sigma KEE - UsingAResource
UsingAResource(using a resource)

appearance as argument number 1
-------------------------


(subclass UsingAResource ComputerProcess) QoSontology.kif 2081-2081 Using a resource is a subclass of computer process
(documentation UsingAResource EnglishLanguage "A ComputerProcess which requires access to a ComputerResource.") QoSontology.kif 2082-2083 Using a resource is a subclass of computer process

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


(termFormat EnglishLanguage UsingAResource "using a resource") domainEnglishFormat.kif 60857-60857
(termFormat ChineseTraditionalLanguage UsingAResource "使用A資源") domainEnglishFormat.kif 60858-60858
(termFormat ChineseLanguage UsingAResource "使用A资源") domainEnglishFormat.kif 60859-60859

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


(=>
    (instance ?Using UsingAResource)
    (exists (?Resource)
        (resourceUsed ?Using ?Resource)))		 QoSontology.kif 2085-2088 If X is an instance of using a resource, then there exists Y such that X uses Y
(=>
    (and
        (instance ?Using UsingAResource)
        (resourceUsed ?Using ?Resource)
        (agent ?Using ?Agent))
    (uses ?Resource ?Agent))		 QoSontology.kif 2090-2095 If X is an instance of using a resource, X uses Y, and Z is an agent of X, then Z uses Y

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


(=>
    (and
        (instance ?Reusing ReusingAResource)
        (resourceUsed ?Reusing ?Resource))
    (exists (?Using)
        (and
            (instance ?Using UsingAResource)
            (resourceUsed ?Using ?Resource)
            (earlier
                (WhenFn ?Using)
                (WhenFn ?Reusing)))))		 QoSontology.kif 2105-2113 If X is an instance of reusing a resource and X uses Y, then there exists Z such that Z is an instance of using a resource, Z uses Y, and the time of existence of Z happens earlier than the time of existence of X


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners