|
|
   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 是 内容制作 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4316-4316 | DataEntry 是 UserDirectAction 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4477-4477 | ActivatingADeactivatedAccount 是 DataEntry 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4493-4493 | DeactivatingAnAccount 是 DataEntry 的 subclass |
| 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 |
|
|
|