TreeView Knowledge Base Browser

appearance as argument number 1

(documentation stateOfProcess EnglishLanguage "(stateOfProcess ?PROCESS ?STATE) says that ?STATE is a state of the ComputerProcess ?PROCESS.")	QoSontology.kif 575-576
(domain stateOfProcess 1 ComputerProcess)	QoSontology.kif 573-573	O argumento numero 1 de stateOfProcess e' uma instancia de ComputerProcess
(domain stateOfProcess 2 ProcessState)	QoSontology.kif 574-574	O argumento numero 2 de stateOfProcess e' uma instancia de ProcessState
(instance stateOfProcess BinaryPredicate)	QoSontology.kif 572-572	stateOfProcess e' uma instancia de Predicado Binario

appearance as argument number 2

(format ChineseLanguage stateOfProcess "state of process %1 是 %2 ")	domainEnglishFormat.kif 4622-4622
(format ChineseTraditionalLanguage stateOfProcess "state of process %1 是 %2 ")	domainEnglishFormat.kif 4621-4621
(format EnglishLanguage stateOfProcess "the state of process %1 is %2")	domainEnglishFormat.kif 4620-4620
(termFormat ChineseLanguage stateOfProcess "进程状态")	domainEnglishFormat.kif 55148-55148
(termFormat ChineseTraditionalLanguage stateOfProcess "進程狀態")	domainEnglishFormat.kif 55147-55147
(termFormat EnglishLanguage stateOfProcess "state of process")	domainEnglishFormat.kif 55146-55146