patient |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1690-1690 | 扮演 是 受事 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1678-1678 | referee 是 受事 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2508-2508 | 资源 是 受事 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1991-1991 | 使用的资源 是 受事 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2548-2548 | 结果 是 受事 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6792-6792 | 攻击目标 是 受事 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22860-22860 | 运输 是 受事 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | Law.kif 258-258 | victim 是 受事 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | Law.kif 208-208 | witness 是 受事 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 168-168 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44796-44796 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44795-44795 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44794-44794 | |
No TPTP formula. May not be expressible in strict first order. | terms-de.txt 64-64 |