No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9501-9501 |
connected est une instance de relation r�flexive |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3277-3277 |
keyName est une instance de relation r�flexive |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4034-4034 |
overlapsSpatially est une instance de relation r�flexive |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8225-8225 |
overlapsTemporally est une instance de relation r�flexive |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5896-5896 |
subGraph est une instance de relation r�flexive |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24386-24386 |
subString est une instance de relation r�flexive |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2394-2394 |
Relation �quivalente est une sous-classe de relation r�flexive |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2367-2367 |
Relation partiellement dirig�e est une sous-classe de relation r�flexive |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 893-893 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 988-988 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 569-569 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 99-99 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 102-102 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2254-2254 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 521-521 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 136-136 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 590-590 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 103-103 |
|