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 11628-11629 | |
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 11626-11626 | Educational process is a subclass of guiding |
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 16766-16776 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11631-11639 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16852-16861 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8264-8271 |
|
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 18912-18914 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22599-22604 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16816-16827 |
|
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 16631-16638 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15605-15611 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16708-16720 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22588-22594 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22485-22491 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16798-16804 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16870-16876 |
|