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 |
Le nombre 1 argument de eventPartlyLocated est une instance de processus |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4098-4098 |
Le nombre 2 argument de eventPartlyLocated est une instance de objet |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4090-4090 |
eventPartlyLocated est une instance de r�le d�pendant du cas |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4091-4091 |
eventPartlyLocated est une instance de relation partielle |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4118-4118 |
eventPartlyLocated est une sous-relation de involvedInEvent |