mother |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3691-3692 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16433-16435 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16431-16431 | O argumento numero 1 de mother e' uma instancia de Organismo |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16432-16432 | O argumento numero 2 de mother e' uma instancia de Organismo |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16425-16425 | mother e' uma instancia de Predicado Binario |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16424-16424 | mother e' uma instancia de Relacao Parcial |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16423-16423 | mother e' uma instancia de Relacao com Valor Unico |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 525-525 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 530-530 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 310-310 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 195-195 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2078-2078 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 262-262 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 316-316 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 683-683 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 233-233 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 331-331 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 339-339 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 375-375 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 526-526 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38678-38678 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38677-38677 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 376-376 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16427-16429 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16436-16438 |
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23060-23075 | cousin Humano and Humano Woman Man grandmother Humano and Woman grandfather Humano and Man grandmother Humano and Woman grandfather Humano and Man Organismo Organismo Organismo e' a mae de Humano Organismo e' o pai de Humano Organismo e' a mae de Humano Organismo e' o pai de Humano |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23151-23158 | stepfather Humano and Man Humano Humano e' a mae de Humano spouse Man and Humano Man e' o pai de Humano |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23168-23175 | stepmother Humano and Woman Humano Humano e' o pai de Humano spouse Woman and Humano Woman e' a mae de Humano |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10358-10365 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16515-16519 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16408-16416 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23094-23099 | |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 774-780 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20163-20170 | |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 595-600 | |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 573-578 | |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 690-696 | |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 678-684 | |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 618-624 | |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 738-744 | |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 642-648 | |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 726-732 |
![]() |
![]() |