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 10732-10733 | |
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 10730-10730 | 子類 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 16689-16701 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16670-16682 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10735-10739 |