accountInformation |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4413-4415 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4411-4411 | accountInformation 的 1 数量 是 用户帐号 的 instance |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4412-4412 | accountInformation 的 2 数量 是 命题 的 instance |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4410-4410 | accountInformation 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4409-4409 | accountInformation 是 包含信息 的 subrelation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4416-4416 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4155-4155 | accountPhoneNumber 是 accountInformation 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4417-4417 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4123-4135 |
consequent |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4123-4135 |