No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8410-8410 |
cooccur e' uma instancia de Relacao Qquivalente |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3846-3846 |
copy e' uma instancia de Relacao Qquivalente |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4491-4491 |
equivalentContentClass e' uma instancia de Relacao Qquivalente |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4547-4547 |
equivalentContentInstance e' uma instancia de Relacao Qquivalente |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3319-3319 |
identicalListItems e' uma instancia de Relacao Qquivalente |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 615-615 |
relatedInternalConcept e' uma instancia de Relacao Qquivalente |
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 |
|