No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 650-650	Le nombre 1 argument de startupTimeDelay est une instance de programme d'ordinateur
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 351-351	Le nombre 1 argument de canRunOn est une sous-classe de programme d'ordinateur
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1222-1222	Le nombre 2 argument de dependencyType est une sous-classe de programme d'ordinateur

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