No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8424-8424 |
cooccur est une instance de relation �quivalente |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3847-3847 |
copy est une instance de relation �quivalente |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4492-4492 |
equivalentContentClass est une instance de relation �quivalente |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4548-4548 |
equivalentContentInstance est une instance de relation �quivalente |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3320-3320 |
identicalListItems est une instance de relation �quivalente |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 615-615 |
relatedInternalConcept est une instance de relation �quivalente |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 903-903 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1013-1013 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 579-579 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 109-109 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 112-112 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2264-2264 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 531-531 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 146-146 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 600-600 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 113-113 |
|