ancestor |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3686-3688 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16527-16530 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16525-16525 | The number 1 argument of ancestor is an instance of organism |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16526-16526 | The number 2 argument of ancestor is an instance of organism |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16524-16524 | ancestor is an instance of binary predicate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16522-16522 | ancestor is an instance of irreflexive relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16523-16523 | ancestor is an instance of total valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16521-16521 | ancestor is an instance of transitive relation |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2794-2794 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2793-2793 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2792-2792 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7387-7387 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7386-7386 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7385-7385 |
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8634-8641 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16513-16518 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16546-16548 |
|
![]() |
![]() |