hasDependency |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1240-1241 | |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1238-1238 | Le nombre 1 argument de hasDependency est une instance de programme d'ordinateur |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1239-1239 | Le nombre 2 argument de hasDependency est une instance de programme d'ordinateur |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1237-1237 | hasDependency est une instance de pr�dicat binaire |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1137-1137 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1136-1136 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1135-1135 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27510-27510 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27509-27509 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27508-27508 |
antecedent |