(domain startupTimeDelay 1 ComputerProgram)	QoSontology.kif 650-650	startupTimeDelay の数値 1 引数は コンピュータープログラム の instance では %n
(domainSubclass canRunOn 1 ComputerProgram)	QoSontology.kif 351-351	canRunOn の数値 1 引数は コンピュータープログラム のsubclass では %n
(domainSubclass dependencyType 2 ComputerProgram)	QoSontology.kif 1222-1222	dependencyType の数値 2 引数は コンピュータープログラム のsubclass では %n

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