father |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3693-3694 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16428-16430 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16426-16426 | O argumento numero 1 de father e' uma instancia de Organismo |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16427-16427 | O argumento numero 2 de father e' uma instancia de Organismo |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16420-16420 | father e' uma instancia de Predicado Binario |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16419-16419 | father e' uma instancia de Relacao Parcial |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16418-16418 | father 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 527-527 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 532-532 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 311-311 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 109-109 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2079-2079 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 263-263 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 317-317 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 686-686 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 149-149 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 332-332 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 341-341 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 228-228 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 528-528 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23361-23361 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23360-23360 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 229-229 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16422-16424 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16432-16434 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23061-23076 | 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 23152-23159 | 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 23169-23176 | 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 10336-10343 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16487-16491 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23021-23025 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16386-16394 | |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 666-672 | |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 654-660 | |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 606-612 | |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 714-720 | |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 630-636 | |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 702-708 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23083-23088 | |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 760-766 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20164-20171 | |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 584-589 | |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 562-567 |