DataEntry |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4312-4314 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4317-4317 | DataEntry est une sous-classe de d�veloppement de contenu |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4316-4316 | DataEntry est une sous-classe de UserDirectAction |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4477-4477 | ActivatingADeactivatedAccount est une sous-classe de DataEntry |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4493-4493 | DeactivatingAnAccount est une sous-classe de DataEntry |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4315-4315 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4319-4326 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4299-4310 |
|