brother |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3701-3702 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16680-16681 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16678-16678 | The number 1 argument of brother is an instance of man |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16679-16679 | The number 2 argument of brother is an instance of human |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16675-16675 | brother is an instance of irreflexive relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16677-16677 | brother is an instance of partial valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16676-16676 | brother is an instance of transitive relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16674-16674 | brother is a subrelation of sibling |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2918-2918 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2917-2917 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2916-2916 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 12134-12134 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 12133-12133 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 12132-12132 |
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24778-24783 | The uncle of a human is a man if and only if there exists another human such that the man is the brother of the other human and the other human is a parent of the human |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 686-692 |
|
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 672-678 |
|
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 616-622 |
|
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 577-582 | |
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 700-706 |
|
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 564-569 |
![]() |
![]() |