patient |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1690-1690 | plays is a subrelation of patient |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1678-1678 | referee is a subrelation of patient |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2508-2508 | resource is a subrelation of patient |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1991-1991 | resource used is a subrelation of patient |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2548-2548 | result is a subrelation of patient |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6792-6792 | target in attack is a subrelation of patient |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22860-22860 | transported is a subrelation of patient |
No TPTP formula. May not be expressible in strict first order. | Law.kif 258-258 | victim is a subrelation of patient |
No TPTP formula. May not be expressible in strict first order. | Law.kif 208-208 | witness is a subrelation of patient |
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 |