dataProcessed |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1879-1880 | |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1877-1877 | 数据已处理 的 1 数量 是 电脑程序 的 instance |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1878-1878 | 数据已处理 的 2 数量 是 数字数据 的 instance |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1876-1876 | 数据已处理 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1875-1875 | 数据已处理 是 格角色 的 instance |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1874-1874 | 数据已处理 是 受事 的 subrelation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3158-3158 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3157-3157 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3156-3156 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18570-18570 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18569-18569 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18568-18568 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3496-3510 | |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1926-1940 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3593-3601 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3603-3617 |
|
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1893-1901 |
consequent |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3496-3510 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3603-3617 |
|
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1893-1901 | |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1909-1912 |