No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2261-2261 |
Relation sym�trique est disjoint de relation antisym�trique |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3276-3276 |
keyName est une instance de relation antisym�trique |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23376-23376 |
legalGuardian est une instance de relation antisym�trique |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4070-4070 |
located est une instance de relation antisym�trique |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14347-14347 |
stored est une instance de relation antisym�trique |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24384-24384 |
subString est une instance de relation antisym�trique |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2275-2275 |
Relation asym�trique est une sous-classe de relation antisym�trique |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2366-2366 |
Relation partiellement dirig�e est une sous-classe de relation antisym�trique |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 897-897 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 996-996 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 573-573 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 103-103 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 106-106 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2258-2258 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 525-525 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 140-140 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 594-594 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 107-107 |
|