Matriculation
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2953-2954 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10710-10711 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1708-1709 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4929-4929 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10708-10708 | 子類 Matriculation and JoiningAnOrganization |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1100-1100 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1417-1417 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 778-778 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 310-310 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 313-313 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2462-2462 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 730-730 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 349-349 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 799-799 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 314-314 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16690-16702 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16671-16683 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10713-10717 |