appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2916-2917 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10438-10439 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1665-1666 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11750-11750 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11751-11751 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10228-10228 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10436-10436 | Replication is a subclass of organism process |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10470-10470 | Asexual reproduction is a subclass of replication |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10455-10455 | Sexual reproduction is a subclass of replication |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1083-1083 | Sexual reproduction is a subclass of replication |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1377-1377 | Sexual reproduction is a subclass of replication |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 761-761 | Sexual reproduction is a subclass of replication |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 293-293 | Sexual reproduction is a subclass of replication |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 296-296 | Sexual reproduction is a subclass of replication |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2445-2445 | Sexual reproduction is a subclass of replication |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 713-713 | Sexual reproduction is a subclass of replication |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 332-332 | Sexual reproduction is a subclass of replication |
No TPTP formula. May not be expressible in strict first order. | terms-de.txt 591-591 | Sexual reproduction is a subclass of replication |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 782-782 | Sexual reproduction is a subclass of replication |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 297-297 | Sexual reproduction is a subclass of replication |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10441-10446 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14628-14636 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10448-10453 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6803-6815 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13996-14000 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14002-14014 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11595-11602 |
|
![]() |
![]() |