computerRunning - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - computerRunning

computerRunning

appearance as argument number 1

(documentation computerRunning EnglishLanguage "(computerRunning ?Process ?Computer) means that the ComputerProcess ?Process is running on ?Computer.")	QoSontology.kif 205-206
(domain computerRunning 1 ComputerProcess)	QoSontology.kif 203-203	The number 1 argument of computer running is an instance of computer process
(domain computerRunning 2 Computer)	QoSontology.kif 204-204	The number 2 argument of computer running is an instance of computer
(instance computerRunning BinaryPredicate)	QoSontology.kif 201-201	computer running is an instance of binary predicate
(instance computerRunning CaseRole)	QoSontology.kif 202-202	computer running is an instance of case role
(subrelation computerRunning instrument)	QoSontology.kif 200-200	computer running is a subrelation of instrument

appearance as argument number 2

(format ChineseLanguage computerRunning "%1 是 running 在 %2 ")	domainEnglishFormat.kif 3054-3054
(format ChineseTraditionalLanguage computerRunning "%1 是 running 在 %2 ")	domainEnglishFormat.kif 3053-3053
(format EnglishLanguage computerRunning "%1 is running on %2")	domainEnglishFormat.kif 3052-3052
(termFormat ChineseLanguage computerRunning "电脑运行")	domainEnglishFormat.kif 16407-16407
(termFormat ChineseTraditionalLanguage computerRunning "電腦運行")	domainEnglishFormat.kif 16406-16406
(termFormat EnglishLanguage computerRunning "computer running")	domainEnglishFormat.kif 16405-16405

antecedent

(=> (and (instance ?A AppleAppStore) (programRunning ?P ?A) (computerRunning ?P ?C)) (hasPurpose ?A (exists (?D) (and (instance ?D DownloadingOverNetwork) (origin ?D ?C)))))	ComputingBrands.kif 1990-1999	If a physical is an instance of Apple app store and the physical is a program running of a computer process and the computer process is running on a computer, then the physical has the purpose there exists an entity such that the entity is an instance of downloading and the entity originates at the computer
(=> (and (programRunning ?Process ?Program) (computerRunning ?Process ?Computer)) (runsOn ?Program ?Computer))	QoSontology.kif 344-348	If a computer program is a program running of a computer process and the computer process is running on a computer, then the computer program can be ComputerProcesses on the computer
(=> (and (programRunning ?Process ?Program) (instance ?Program ?PC) (instance ?Computer ?CC) (computerRunning ?Process ?Computer)) (canRunOn ?PC ?CC))	QoSontology.kif 358-364	If a computer program is a program running of a computer process and the computer program is an instance of another kind of computer program and a computer is an instance of another kind of computer and the computer process is running on the computer, then another kind of computer is capable of ComputerProcessing another kind of computer program

consequent

(=> (and (deviceOS ?C ?OS) (instance ?CI ?C) (instance ?OSI ?OS) (manufacturer ?C ?ORG)) (desires ?ORG (and (programRunning ?PROC ?OSI) (computerRunning ?PROC ?CI))))	ComputingBrands.kif 734-743	If device OS a kind of object and a kind of computer and a kind of objectI is an instance of the kind of object and a kind of computerI is an instance of the kind of computer and the maker of the kind of object is a cognitive agent, then the cognitive agent desires the kind of computerI is a program running of a third entity and the third entity is running on the kind of objectI
(=> (and (instance ?I SoftwareInstallation) (dataProcessed ?I ?P) (instance ?P ComputerProgram) (destination ?I ?C)) (hasPurpose ?I (exists (?PROC) (computerRunning ?PROC ?C))))	ComputingBrands.kif 3588-3596	If a computer process is an instance of installation and a digital data is processed by the computer process and the digital data is an instance of computer program and the computer process ends up at an entity, then the computer process has the purpose there exists the digital dataROC such that the digital dataROC is running on the entity
(=> (and (instance ?Software SoftwareSystem) (instance ?Process ComputerProcess) (programRunning ?Process ?Software)) (exists (?Hardware) (and (instance ?Hardware HardwareSystem) (computerRunning ?Process ?Hardware))))	QoSontology.kif 300-308	If a computer program is an instance of software system and a computer process is an instance of computer process and the computer program is a program running of the computer process, then there exists a computer such that the computer is an instance of hardware system and the computer process is running on the computer
(=> (instance ?A App) (hasPurpose ?A (exists (?A ?P ?C) (and (instance ?C MobileCellPhone) (instance ?P ComputerProcess) (programRunning ?P ?A) (computerRunning ?P ?C)))))	ComputingBrands.kif 1960-1968	If a physical is an instance of app, then the physical has the purpose there exist the physical, an entity and another entity such that the other entity is an instance of mobile cell phone and the entity is an instance of computer process and the physical is a program running of the entity and the entity is running on the other entity
(=> (instance ?D DHCPServer) (exists (?PROG ?C) (and (instance ?C Computer) (instance ?PROG DHCPProgram) (computerRunning ?D ?C) (programRunning ?D ?PROG))))	ComputingBrands.kif 4060-4067	If a computer process is an instance of DHCP server, then there exist a computer program and a computer such that the computer is an instance of computer and the computer program is an instance of DHCP program and the computer process is running on the computer and the computer program is a program running of the computer process
(=> (instance ?Process ComputerProcess) (exists (?Computer ?Program) (and (instance ?Computer Computer) (computerRunning ?Process ?Computer) (instance ?Program ComputerProgram) (programRunning ?Process ?Program))))	QoSontology.kif 158-165	If a computer process is an instance of computer process, then there exist a computer and a computer program such that the computer is an instance of computer and the computer process is running on the computer and the computer program is an instance of computer program and the computer program is a program running of the computer process
(=> (instance ?R Robot) (hasPurpose ?R (exists (?PROC ?COMP) (and (instance ?PROC ComputerProcess) (instance ?COMP ComputerProgram) (computerRunning ?PROC ?COMP) (patient ?PROC ?R) (holdsDuring (WhenFn ?PROC) (exists (?INT) (and (instance ?INT IntentionalProcess) (instrument ?INT ?R))))))))	engineering.kif 999-1013	If a physical is an instance of robot, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of computer process and the other entity is an instance of computer program and the entity is running on the other entity and the physical is a patient of the entity and there exists a third entity such that the third entity is an instance of intentional process and the physical is an instrument for the third entity holds during the time of existence of the entity
(=> (loggedInDuring ?A ?UA ?T) (modalAttribute (holdsDuring ?T (exists (?P ?C) (and (instance ?P ComputerProcess) (agent ?P ?A) (deviceAccount ?UA ?C) (instance ?C Computer) (computerRunning ?P ?C) (instrument ?P ?C)))) Possibility))	ComputingBrands.kif 4342-4353	If an agent is logged_in to an user account during a time interval, then the statement there exist an entity and another entity such that the entity is an instance of computer process and the agent is an agent of the entity and device account the user account and the other entity and the other entity is an instance of computer and the entity is running on the other entity and the other entity is an instrument for the entity holds during the time interval has the modal force of possibility
(=> (runningOn ?Program ?Computer) (exists (?Process) (and (programRunning ?Process ?Program) (computerRunning ?Process ?Computer))))	QoSontology.kif 193-198	If a computer program is running on a computer, then there exists a computer process such that the computer program is a program running of the computer process and the computer process is running on the computer

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