| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10668-10668 |
Quitter une organization est disjoint de adh�rer une organisation |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7992-7992 |
Baptizing est une sous-classe de adh�rer une organisation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10741-10741 |
Engager est une sous-classe de adh�rer une organisation |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21938-21938 |
Infiltration est une sous-classe de adh�rer une organisation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10730-10730 |
Inscription est une sous-classe de adh�rer une organisation |
| No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1097-1097 |
|
| No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1405-1405 |
|
| No TPTP formula. May not be expressible in strict first order. |
french_format.kif 775-775 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 307-307 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 310-310 |
|
| No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2459-2459 |
|
| No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 727-727 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 346-346 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 796-796 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 311-311 |
|
