eventPartlyLocated |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2113-2114 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4100-4101 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 765-766 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4097-4097 | O argumento numero 1 de eventPartlyLocated e' uma instancia de Processo |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4098-4098 | O argumento numero 2 de eventPartlyLocated e' uma instancia de Objeto |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4090-4090 | eventPartlyLocated e' uma instancia de Role em Caso |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4091-4091 | eventPartlyLocated e' uma instancia de Relacao Parcial |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4118-4118 | eventPartlyLocated e' uma sub-relacao de involvedInEvent |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3330-3330 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3329-3329 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3328-3328 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4120-4120 | eventLocated e' uma sub-relacao de eventPartlyLocated |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11108-11108 | path e' uma sub-relacao de eventPartlyLocated |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1843-1843 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 477-483 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4103-4108 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4093-4095 |
|
consequent |