UsingAResource - Sigma Knowledge base Browser

appearance as argument number 1

(documentation UsingAResource EnglishLanguage "A ComputerProcess which requires access to a ComputerResource.")	QoSontology.kif 1958-1959
(subclass UsingAResource ComputerProcess)	QoSontology.kif 1957-1957	UsingA resource is a subclass of computer process

appearance as argument number 2

(termFormat ChineseLanguage UsingAResource "使用A资源")	domainEnglishFormat.kif 60920-60920
(termFormat ChineseTraditionalLanguage UsingAResource "使用A資源")	domainEnglishFormat.kif 60919-60919
(termFormat EnglishLanguage UsingAResource "usingA resource")	domainEnglishFormat.kif 60918-60918

antecedent

(=> (and (instance ?Using UsingAResource) (resourceUsed ?Using ?Resource) (agent ?Using ?Agent)) (uses ?Resource ?Agent))	QoSontology.kif 1966-1971	If a computer process is an instance of usingA resource and the computer process uses a computer resource and an agent is an agent of the computer process, then the agent uses the computer resource
(=> (instance ?Using UsingAResource) (exists (?Resource) (resourceUsed ?Using ?Resource)))	QoSontology.kif 1961-1964	If a computer process is an instance of usingA resource, then there exists a computer resource such that the computer process uses the computer resource

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

If a computer process is an instance of reusingA resource and the computer process uses a computer resource,
then there exists another computer process such that the other computer process is an instance of usingA resource and the other computer process uses the computer resource and the time of existence of the other computer process happens earlier than the time of existence of the computer process

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

KB Term:			Term intersection

English Word: