TreeView Knowledge Base Browser

appearance as argument number 1

(documentation canRunOn EnglishLanguage "A weaker relation than runOn that says merely that a properly configured computer should be able to run the given software.")	QoSontology.kif 353-355
(domainSubclass canRunOn 1 ComputerProgram)	QoSontology.kif 351-351	域子類可以操作, 1 and ComputerProgram
(domainSubclass canRunOn 2 Computer)	QoSontology.kif 352-352	域子類可以操作, 2 and 電腦
(instance canRunOn AsymmetricRelation)	QoSontology.kif 350-350	例可以操作 and AsymmetricRelation
(instance canRunOn BinaryPredicate)	QoSontology.kif 349-349	例可以操作 and BinaryPredicate

appearance as argument number 2

(format ChineseLanguage canRunOn "%2 %n 应该可以 ComputerProcess %1")	domainEnglishFormat.kif 2195-2195
(format ChineseTraditionalLanguage canRunOn "%2 %n 應該可以 ComputerProcess %1")	domainEnglishFormat.kif 2194-2194
(format EnglishLanguage canRunOn "%2 is %n capable of ComputerProcessing %1")	domainEnglishFormat.kif 2193-2193
(subrelation deviceOS canRunOn)	ComputingBrands.kif 729-729	子關係 deviceOS and 可以操作
(termFormat ChineseLanguage canRunOn "可以操作")	domainEnglishFormat.kif 12998-12998
(termFormat ChineseTraditionalLanguage canRunOn "可以操作")	domainEnglishFormat.kif 12997-12997
(termFormat EnglishLanguage canRunOn "can run on")	domainEnglishFormat.kif 12996-12996

consequent

(=>
    (and
        (programRunning ?Process ?Program)
        (instance ?Program ?PC)
        (instance ?Computer ?CC)
        (computerRunning ?Process ?Computer))
    (canRunOn ?PC ?CC))

QoSontology.kif 357-363

ComputerProgram 是電腦程序的執行 program 例 ComputerProgram and ComputerProgram 例電腦 and 電腦電腦程序是 running 在電腦
電腦應該可以 ComputerProcess ComputerProgram

appearance as argument number 0

(canRunOn AppleFindMy AppleIPhoneOS13)	ComputingBrands.kif 4254-4254	IOS 13 應該可以 ComputerProcess AppleFindMy
(canRunOn AppleIOS AppleIPhone)	ComputingBrands.kif 91-91	IPhone 應該可以 ComputerProcess 蘋果作業系統
(canRunOn AppleMacOSX AppleIMac)	ComputingBrands.kif 755-755	IMac 應該可以 ComputerProcess AppleMacOSX
(canRunOn AppleMacOSX AppleMacBook)	ComputingBrands.kif 814-814	Macbook 應該可以 ComputerProcess AppleMacOSX
(canRunOn AppleMacOSX AppleMacBookAir)	ComputingBrands.kif 799-799	Macbook Air 應該可以 ComputerProcess AppleMacOSX
(canRunOn AppleMacOSX AppleMacBookPro)	ComputingBrands.kif 784-784	Macbook Pro 應該可以 ComputerProcess AppleMacOSX
(canRunOn AppleMacOSX AppleMacPro)	ComputingBrands.kif 769-769	Mac Pro 應該可以 ComputerProcess AppleMacOSX

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: