(domain startupTimeDelay 1 ComputerProgram)	QoSontology.kif 650-650	启动时间延迟 的 1 数量 是 电脑程序 的 instance
(domainSubclass canRunOn 1 ComputerProgram)	QoSontology.kif 351-351	可以操作 的 1 数量 是 电脑程序 的 subclass
(domainSubclass dependencyType 2 ComputerProgram)	QoSontology.kif 1222-1222	依赖类型 的 2 数量 是 电脑程序 的 subclass

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