No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 650-650	O argumento numero 1 de startupTimeDelay e' uma instancia de Programa de Computador
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 351-351	O argumento numero 1 de canRunOn e' uma sub-classe de Programa de Computador
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1222-1222	O argumento numero 2 de dependencyType e' uma sub-classe de Programa de Computador

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