| EducationalProcess(processus educationnel) | |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3070-3070 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11674-11675 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1838-1839 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11672-11672 | Processus educationnel est une sous-classe de guider |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1095-1095 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1401-1401 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 773-773 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 305-305 | |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 308-308 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2457-2457 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 725-725 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 344-344 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 794-794 | |
| No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 309-309 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16793-16803 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11677-11685 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16879-16888 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8291-8298 | |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 524-533 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18939-18941 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22651-22656 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16843-16854 |
|
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 541-551 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16658-16665 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15632-15638 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16735-16747 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22640-22646 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22537-22543 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16825-16831 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16897-16903 |
|
|
|