suffers |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29633-29634 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29631-29631 | O argumento numero 1 de suffers e' uma instancia de Processo |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29632-29632 | O argumento numero 2 de suffers e' uma instancia de AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29629-29629 | suffers e' uma instancia de Relacao Binaria |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29628-29628 | suffers e' uma instancia de Role em Caso |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29630-29630 | suffers e' uma instancia de Relacao Parcial |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4718-4718 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4717-4717 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4716-4716 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65950-65950 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29646-29655 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3665-3678 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29636-29639 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29661-29664 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3040-3054 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3022-3038 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29671-29683 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3665-3678 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29641-29644 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18338-18347 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5888-5898 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3061-3068 |
|
No TPTP formula. May not be expressible in strict first order. | Law.kif 140-145 | |
No TPTP formula. May not be expressible in strict first order. | Law.kif 266-268 |