programCopy |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 638-640 | |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 636-636 | 程序副本 的 1 数量 是 电脑文件 的 instance |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 637-637 | 程序副本 的 2 数量 是 电脑程序 的 instance |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 634-634 | 程序副本 是 非对称关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 635-635 | 程序副本 是 包含信息 的 subrelation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4250-4250 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4249-4249 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4248-4248 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47642-47642 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47641-47641 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47640-47640 |
consequent |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 888-894 | |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 861-867 | |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 599-606 | |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 625-632 |