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 and 電腦程序 |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1878-1878 | 域 數據已處理, 2 and 數字數據 |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1876-1876 | 例 數據已處理 and BinaryPredicate |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1875-1875 | 例 數據已處理 and CaseRole |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1874-1874 | 子關係 數據已處理 and 患者 |
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 |