familyRelation |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 735-735 | mothers sisters daughter is a subrelation of family relation |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 639-639 | mothers sisters husband is a subrelation of family relation |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 723-723 | mothers sisters son is a subrelation of family relation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23106-23106 | nephew is a subrelation of family relation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23120-23120 | niece is a subrelation of family relation |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 581-581 | paternal aunt is a subrelation of family relation |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 559-559 | paternal uncle is a subrelation of family relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16462-16462 | sibling is a subrelation of family relation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23134-23134 | uncle is a subrelation of family relation |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 546-546 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23230-23230 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23229-23229 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23228-23228 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 227-227 |