resourceUsed - Sigma Knowledge base Browser

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

appearance as argument number 2

(format ChineseLanguage resourceUsed "%1 uses %2 ")	domainEnglishFormat.kif 4426-4426
(format ChineseTraditionalLanguage resourceUsed "%%1 uses %2 ")	domainEnglishFormat.kif 4425-4425
(format EnglishLanguage resourceUsed "%1 uses %2")	domainEnglishFormat.kif 4424-4424
(termFormat ChineseLanguage resourceUsed "使用的资源")	domainEnglishFormat.kif 49782-49782
(termFormat ChineseTraditionalLanguage resourceUsed "使用的資源")	domainEnglishFormat.kif 49781-49781
(termFormat EnglishLanguage resourceUsed "resource used")	domainEnglishFormat.kif 49780-49780

antecedent

(=> (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
(=> (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

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
(=> (instance ?Using ReusingAResource) (exists (?Resource) (resourceUsed ?Using ?Resource)))	QoSontology.kif 1976-1979	If a computer process is an instance of reusingA resource, then there exists a computer resource such that the computer process 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

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