No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 545-545 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 550-550 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 320-320 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 108-108 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2088-2088 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 272-272 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-de.txt 713-713 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 148-148 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 341-341 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 354-354 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-tg.txt 226-226 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23043-23043 |
姑妈 是 家属关系 的 subrelation |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23058-23058 |
表姐 是 家属关系 的 subrelation |
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 663-663 |
父亲兄弟的女儿 是 家属关系 的 subrelation |
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 651-651 |
父亲兄弟的儿子 是 家属关系 的 subrelation |
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 603-603 |
父亲兄弟的妻子 是 家属关系 的 subrelation |
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 711-711 |
父亲姐妹的女儿 是 家属关系 的 subrelation |
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 627-627 |
父亲姐妹的丈夫 是 家属关系 的 subrelation |
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 699-699 |
父亲姐妹的儿子 是 家属关系 的 subrelation |
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 592-592 |
母方的姑妈 是 家属关系 的 subrelation |
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 570-570 |
母方的叔叔 是 家属关系 的 subrelation |
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 687-687 |
母亲兄弟的女儿 是 家属关系 的 subrelation |
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 675-675 |
母亲兄弟的儿子 是 家属关系 的 subrelation |
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 615-615 |
妈妈兄弟的妻子 是 家属关系 的 subrelation |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |