Copyright 2015, CNAM
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#Femme
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#Homme
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#Personne
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#3.1.1.1
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#3.1.2.1
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#1
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#8
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#3.1.1.2
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#1.3.2.2
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#1.3.1.2
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#3.1.2.2
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#5.2
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#3.1
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#13.2.1
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#13.1.1
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#2.2
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#2.1
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#2
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#6
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#3.1.1
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#3
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#1.3.2.3
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#1.3.1.3
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#12.2.1
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#12.1.1
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#12.2.2.1
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#12.1.2.1
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#12.2.2
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#12.1.4
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#12.2.4
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#12.1.2.3
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#12.2.2.3
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#12.2.2.2
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#12.1.2.2
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#12.1.2
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#1.3.2
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#13.2.2.1
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#13.1.2.1
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#3.1.1.3
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#3.1.2.3
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#3.2
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#3.2.1
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#1.2.2
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#1.2.1
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#1.2
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#3.2.2
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#1.1.2
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#1.1.1
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#1.1
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#4.2
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#4
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#4.1
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#13.2.2
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#1.3.2.1
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#1.3.1.1
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#1.3.1
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#3.1.1.4
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#1.3.2.4
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#1.3.1.4
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#3.1.2.4
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#11
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#10
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#13.1.3
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#13.2.3
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#1.3
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#13
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#13.1.2.3
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#13.2.2.3
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#12
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#5
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#5.1
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#7
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#3.1.2
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#13.2.2.2
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#13.1.2.2
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#3.1.1.5
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#1.3.1.5
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#3.1.2.5
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#12.2
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#12.1
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#9
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#12.2.3
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#12.1.3
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#13.1.2
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#11.1
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#11.2
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#2.2.3
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#2.2.4
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#2.1.3
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#2.1.4
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#2.2.1
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#2.2.2
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#10.2
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#10.1
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#2.1.1
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#2.1.2
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#9.1
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#8.1
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#9.3
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#9.4
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#8.3
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#8.4
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#9.2
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#8.2
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#13.2
IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#13.1
IRI: http://cedric.cnam.fr/index.php/labo/membre/view?id=125
IRI: http://cedric.cnam.fr/index.php/labo/membre/view?id=2201
إبنة خالة لop(?x,?y) -> CousineDeop(?x,?y)
Femalec(?z) , MotherOfop(?y,?z) , FatherOfop(?x,?y) -> GrandDaughterOfop(?z,?x)
GrandMotherOfop(?y,?z) , MotherOfop(?x,?y) -> GreatGrandMotherOfop(?x,?z)
GivenSonOfop(?x,?y) -> SonOfop(?x,?y)
Femalec(?y) , MotherOfop(?z,?a) , CommonLawHusbandOfop(?x,?y) , SiblingOfop(?y,?z) -> زوج الخالة ل op(?x,?a)
MotherOfop(?z,?a) , DaughterOfop(?x,?y) , HalfSisterOfop(?y,?z) -> إبنة خالة لop(?x,?a)
Femalec(?x) , CommonLawWifeOfop(?x,?y) , خال لop(?y,?z) -> زوجة الخال لop(?x,?z)
MotherOfop(?y,?z) , إبن الأ خت لop(?x,?y) -> CousinOfop(?x,?z)
Femalec(?z) , DaughterOfop(?x,?y) , DaughterOfop(?y,?z) -> GrandMotherOfop(?z,?x)
Malec(?a) , DaughterOfop(?y,?z) , DaughterOfop(?z,?a) , SiblingOfop(?x,?y) -> GrandFatherOfop(?a,?x)
Malec(?a) , DaughterOfop(?y,?z) , DaughterOfop(?z,?a) , SisterOfop(?x,?y) -> GrandFatherOfop(?a,?x)
MotherOfop(?z,?a) , CommonLawHusbandOfop(?x,?y) , HalfSisterOfop(?y,?z) -> زوج الخالة ل op(?x,?a)
Malec(?x) , FatherOfop(?z,?a) , PartnerOfop(?x,?y) , SisterOfop(?y,?z) -> زوج العمة لop(?x,?a)
Malec(?a) , SonOfop(?y,?z) , SonOfop(?z,?a) , SisterOfop(?x,?y) -> GrandFatherOfop(?a,?x)
Femalec(?z) , GrandSonOfop(?y,?z) , SisterOfop(?x,?y) -> GrandMotherOfop(?z,?x)
DaughterOfop(?x,?y) , عم لop(?y,?z) -> CousinOfop(?x,?z)
Malec(?a) , SonOfop(?x,?y) , SonOfop(?y,?z) , SonOfop(?z,?a) -> GreatGrandFatherOfop(?a,?x)
Malec(?a) , DaughterOfop(?z,?a) , SonOfop(?y,?z) , SisterOfop(?x,?y) -> GrandFatherOfop(?a,?x)
BiologicalMotherOfop(?x,?y) -> MotherOfop(?x,?y)
DaughterOfop(?x,?y) -> DescendantOfop(?x,?y)
Femalec(?y) , FatherOfop(?z,?a) , CommonLawHusbandOfop(?x,?y) , SiblingOfop(?y,?z) -> زوج العمة لop(?x,?a)
GrandSonOfop(?x,?y) -> DescendantOfop(?x,?y)
DaughterOfop(?x,?y) , عمة لop(?y,?z) -> CousinOfop(?x,?z)
Malec(?x) , مرتبط ب op(?x,?y) , DaughterOfop(?y,?z) -> SonInLawOfop(?x,?z)
Femalec(?x) , DaughterOfop(?x,?y) , HalfSisterOfop(?y,?z) -> NieceOfop(?x,?z)
Malec(?y) , FatherOfop(?z,?a) , StraightWifeOfop(?x,?y) , HalfSiblingOfop(?y,?z) -> زوجة العم لop(?x,?a)
زوجة الخال لop(?x,?y) -> AuntOfop(?x,?y)
Femalec(?a) , DaughterOfop(?y,?z) , SonOfop(?z,?a) , SiblingOfop(?x,?y) -> GrandMotherOfop(?a,?x)
Femalec(?x) , Malec(?y) , MotherOfop(?z,?a) , مرتبطة بop(?x,?y) , HalfSiblingOfop(?y,?z) -> زوجة الخال لop(?x,?a)
إبنة خالة لop(?x,?y) -> CousinOfop(?x,?y)
Malec(?a) , DaughterOfop(?z,?a) , SonOfop(?y,?z) , SiblingOfop(?x,?y) -> GrandFatherOfop(?a,?x)
MotherOfop(?y,?z) , HalfBrotherOfop(?x,?y) -> UncleOfop(?x,?z)
Malec(?x) , SeparatedFromop(?x,?y) -> SéparéDeop(?x,?y)
Femalec(?x) , FatherOfop(?z,?a) , PartnerOfop(?x,?y) , BrotherOfop(?y,?z) -> زوجة العم لop(?x,?a)
Femalec(?x) , PacséeÀop(?x,?y) , SonOfop(?y,?z) -> DaughterInLawOfop(?x,?z)
Malec(?x) , MotherOfop(?y,?z) , HalfSiblingOfop(?x,?y) -> خال لop(?x,?z)
ابنة الاخت لop(?x,?y) -> NieceOfop(?x,?y)
PacséÀop(?x,?y) , خالة لop(?y,?z) -> زوج الخالة ل op(?x,?z)
Femalec(?z) , MotherOfop(?x,?y) , BrotherOfop(?y,?z) -> DaughterOfop(?z,?x)
GreatGrandMotherOfop(?x,?y) -> AncestorOfop(?x,?y)
PolygynousHusbandOfop(?x,?y) , خالة لop(?y,?z) -> زوج الخالة ل op(?x,?z)
GayHusbandOfop(?x,?y) -> PartnerOfop(?x,?y)
Femalec(?x) , DaughterOfop(?x,?y) , DaughterOfop(?y,?z) -> GrandDaughterOfop(?x,?z)
MotherOfop(?z,?a) , PacséÀop(?x,?y) , SisterOfop(?y,?z) -> زوج الخالة ل op(?x,?a)
BiologicalSonOfop(?x,?y) -> SonOfop(?x,?y)
Femalec(?y) , FatherOfop(?z,?a) , مرتبط ب op(?x,?y) , SiblingOfop(?y,?z) -> زوج العمة لop(?x,?a)
Malec(?z) , DaughterOfop(?y,?z) , GrandDaughterOfop(?x,?y) -> GreatGrandFatherOfop(?z,?x)
Femalec(?a) , DaughterOfop(?x,?y) , DaughterOfop(?y,?z) , DaughterOfop(?z,?a) -> GreatGrandMotherOfop(?a,?x)
MotherOfop(?x,?y) , FatherOfop(?y,?z) -> GrandMotherOfop(?x,?z)
Femalec(?y) , MotherOfop(?z,?a) , PacséÀop(?x,?y) , HalfSiblingOfop(?y,?z) -> زوج الخالة ل op(?x,?a)
GrandFatherOfop(?x,?y) , GrandFatherOfop(?x,?z) -> CousinOfop(?y,?z)
Femalec(?z) , DaughterOfop(?x,?y) , SonOfop(?y,?z) -> GrandMotherOfop(?z,?x)
Femalec(?x) , MotherOfop(?z,?a) , PartnerOfop(?x,?y) , HalfBrotherOfop(?y,?z) -> زوجة الخال لop(?x,?a)
NaturalDaughterOfop(?x,?y) -> DescendantOfop(?x,?y)
Malec(?z) , GrandSonOfop(?y,?z) , SiblingOfop(?x,?y) -> GrandFatherOfop(?z,?x)
Malec(?x) , StraightHusbandOfop(?x,?y) , DaughterOfop(?y,?z) -> SonInLawOfop(?x,?z)
Malec(?y) , FatherOfop(?z,?a) , مرتبطة بop(?x,?y) , HalfSiblingOfop(?y,?z) -> زوجة العم لop(?x,?a)
FatherOfop(?z,?a) , PolygynousHusbandOfop(?x,?y) , SisterOfop(?y,?z) -> زوج العمة لop(?x,?a)
DaughterOfop(?x,?y) , عمة لop(?y,?z) -> إبنة عمة لop(?x,?z)
Malec(?y) , FatherOfop(?z,?a) , PolyandrousWifeOfop(?x,?y) , SiblingOfop(?y,?z) -> زوجة العم لop(?x,?a)
GreatGrandFatherOfop(?x,?y) -> AncestorOfop(?x,?y)
FatherOfop(?z,?a) , SonOfop(?x,?y) , HalfSisterOfop(?y,?z) -> CousinOfop(?x,?a)
DaughterOfop(?x,?y) , UncleOfop(?y,?z) -> CousineDeop(?x,?z)
Femalec(?x) , DaughterOfop(?x,?y) , SiblingOfop(?y,?z) -> NieceOfop(?x,?z)
MotherOfop(?y,?z) , ابنة الاخت لop(?x,?y) -> CousineDeop(?x,?z)
Femalec(?y) , MotherOfop(?z,?a) , مرتبط ب op(?x,?y) , SiblingOfop(?y,?z) -> زوج الخالة ل op(?x,?a)
Malec(?z) , DaughterOfop(?x,?y) , SonOfop(?y,?z) -> GrandFatherOfop(?z,?x)
CommonLawWifeOfop(?x,?y) , عم لop(?y,?z) -> زوجة العم لop(?x,?z)
FatherOfop(?y,?z) , ابنة الاخت لop(?x,?y) -> CousineDeop(?x,?z)
Malec(?y) , FatherOfop(?z,?a) , مرتبطة بop(?x,?y) , SiblingOfop(?y,?z) -> زوجة العم لop(?x,?a)
MotherOfop(?x,?y) , MotherOfop(?y,?z) -> GrandMotherOfop(?x,?z)
Femalec(?y) , FatherOfop(?z,?a) , PolygynousHusbandOfop(?x,?y) , SiblingOfop(?y,?z) -> زوج العمة لop(?x,?a)
Malec(?x) , FatherOfop(?z,?a) , PartnerOfop(?x,?y) , HalfSisterOfop(?y,?z) -> زوج العمة لop(?x,?a)
MotherOfop(?x,?y) , MotherOfop(?y,?z) , MotherOfop(?z,?a) -> GreatGrandMotherOfop(?x,?a)
Malec(?z) , MotherOfop(?x,?y) , FatherOfop(?y,?z) -> GrandSonOfop(?z,?x)
PolygynousHusbandOfop(?x,?y) -> PartnerOfop(?x,?y)
زوجة العم لop(?x,?y) -> AuntOfop(?x,?y)
HalfSisterOfop(?x,?y) -> HalfSiblingOfop(?x,?y)
إبن خالة لop(?x,?y) -> CousinOfop(?x,?y)
Malec(?x) , FatherOfop(?y,?z) , HalfSiblingOfop(?x,?y) -> UncleOfop(?x,?z)
إبن الأخ لop(?x,?y) -> NephewOfop(?x,?y)
Malec(?a) , DaughterOfop(?z,?a) , SonOfop(?x,?y) , SonOfop(?y,?z) -> GreatGrandFatherOfop(?a,?x)
Femalec(?y) , FatherOfop(?z,?a) , مرتبط ب op(?x,?y) , HalfSiblingOfop(?y,?z) -> زوج العمة لop(?x,?a)
DaughterOfop(?x,?y) , AuntOfop(?y,?z) -> CousineDeop(?x,?z)
MotherOfop(?z,?a) , PolyandrousWifeOfop(?x,?y) , BrotherOfop(?y,?z) -> زوجة الخال لop(?x,?a)
Femalec(?x) , PolyandrousWifeOfop(?x,?y) , SonOfop(?y,?z) -> DaughterInLawOfop(?x,?z)
Malec(?x) , PolygynousHusbandOfop(?x,?y) , DaughterOfop(?y,?z) -> SonInLawOfop(?x,?z)
MotherOfop(?z,?a) , مرتبط ب op(?x,?y) , HalfSisterOfop(?y,?z) -> زوج الخالة ل op(?x,?a)
Femalec(?x) , StraightWifeOfop(?x,?y) , خال لop(?y,?z) -> زوجة الخال لop(?x,?z)
BiologicalMotherOfop(?x,?y) -> AncestorOfop(?x,?y)
Femalec(?y) , Malec(?x) , MotherOfop(?z,?a) , PartnerOfop(?x,?y) , SiblingOfop(?y,?z) -> زوج الخالة ل op(?x,?a)
MotherOfop(?z,?a) , SonOfop(?x,?y) , HalfBrotherOfop(?y,?z) -> CousinOfop(?x,?a)
NaturalFatherOfop(?x,?y) -> AncestorOfop(?x,?y)
Femalec(?z) , DaughterOfop(?y,?z) , GrandDaughterOfop(?x,?y) -> GreatGrandMotherOfop(?z,?x)
Femalec(?a) , DaughterOfop(?y,?z) , DaughterOfop(?z,?a) , SisterOfop(?x,?y) -> GrandMotherOfop(?a,?x)
MotherOfop(?z,?a) , DaughterOfop(?x,?y) , HalfSisterOfop(?y,?z) -> CousineDeop(?x,?a)
Malec(?x) , MotherOfop(?b,?a) , MotherOfop(?z,?x) , FatherOfop(?y,?a) , FatherOfop(?y,?x) -> HalfBrotherOfop(?x,?a)
Femalec(?y) , Malec(?x) , FatherOfop(?z,?a) , PartnerOfop(?x,?y) , SiblingOfop(?y,?z) -> زوج العمة لop(?x,?a)
Malec(?x) , MotherOfop(?y,?a) , MotherOfop(?y,?x) , FatherOfop(?z,?a) , FatherOfop(?z,?x) -> SisterOfop(?x,?a)
Malec(?y) , MotherOfop(?z,?a) , PacséeÀop(?x,?y) , HalfSiblingOfop(?y,?z) -> زوجة الخال لop(?x,?a)
FatherOfop(?z,?a) , StraightWifeOfop(?x,?y) , HalfBrotherOfop(?y,?z) -> زوجة العم لop(?x,?a)
Femalec(?a) , DaughterOfop(?x,?y) , SonOfop(?y,?z) , SonOfop(?z,?a) -> GreatGrandMotherOfop(?a,?x)
LegalFatherOfop(?x,?y) -> FatherOfop(?x,?y)
MotherOfop(?z,?a) , DaughterOfop(?x,?y) , HalfSiblingOfop(?y,?z) -> CousineDeop(?x,?a)
AdoptedSonOfop(?x,?y) -> DescendantOfop(?x,?y)
SurrogateSonOfop(?x,?y) -> SonOfop(?x,?y)
إبنة عمة لop(?x,?y) -> CousinOfop(?x,?y)
MotherOfop(?x,?y) , MotherOfop(?z,?a) , FatherOfop(?y,?z) -> GreatGrandMotherOfop(?x,?a)
Femalec(?x) , MotherOfop(?y,?a) , MotherOfop(?y,?x) , FatherOfop(?b,?a) , FatherOfop(?z,?x) -> HalfSisterOfop(?x,?a)
FatherOfop(?y,?z) , HalfBrotherOfop(?x,?y) -> عم لop(?x,?z)
Malec(?y) , FatherOfop(?z,?a) , PacséeÀop(?x,?y) , SiblingOfop(?y,?z) -> زوجة العم لop(?x,?a)
SurrogateDaughterOfop(?x,?y) -> DescendantOfop(?x,?y)
Femalec(?a) , DaughterOfop(?z,?a) , SonOfop(?y,?z) , SiblingOfop(?x,?y) -> GrandMotherOfop(?a,?x)
Femalec(?x) , مرتبطة بop(?x,?y) , خال لop(?y,?z) -> زوجة الخال لop(?x,?z)
MotherOfop(?y,?z) , إبن الأخ لop(?x,?y) -> ابن خال ل op(?x,?z)
SurrogateDaughterOfop(?x,?y) -> DaughterOfop(?x,?y)
LegalFatherOfop(?x,?y) -> AncestorOfop(?x,?y)
Malec(?z) , GrandSonOfop(?y,?z) , BrotherOfop(?x,?y) -> GrandFatherOfop(?z,?x)
WidowerOfop(?x,?y) -> SeparatedFromop(?x,?y)
Femalec(?y) , Malec(?x) , SonOfop(?x,?y) , HalfSiblingOfop(?y,?z) -> NephewOfop(?x,?z)
MotherOfop(?z,?a) , DaughterOfop(?x,?y) , BrotherOfop(?y,?z) -> CousinOfop(?x,?a)
MotherOfop(?x,?y) -> AncestorOfop(?x,?y)
زوج العمة لop(?x,?y) -> UncleOfop(?x,?y)
Femalec(?x) , MotherOfop(?y,?z) , HalfSisterOfop(?x,?y) -> AuntOfop(?x,?z)
Femalec(?x) , MotherOfop(?y,?z) , HalfSiblingOfop(?x,?y) -> خالة لop(?x,?z)
Malec(?a) , DaughterOfop(?y,?z) , SonOfop(?z,?a) , BrotherOfop(?x,?y) -> GrandFatherOfop(?a,?x)
Femalec(?x) , Malec(?y) , DaughterOfop(?x,?y) , HalfSiblingOfop(?y,?z) -> ابنة الاخ لop(?x,?z)
Femalec(?z) , SonOfop(?y,?z) , GrandSonOfop(?x,?y) -> GreatGrandMotherOfop(?z,?x)
Femalec(?x) , Malec(?y) , FatherOfop(?z,?a) , PartnerOfop(?x,?y) , SiblingOfop(?y,?z) -> زوجة العم لop(?x,?a)
Femalec(?z) , GrandSonOfop(?y,?z) , SiblingOfop(?x,?y) -> GrandMotherOfop(?z,?x)
GivenSonOfop(?x,?y) -> DescendantOfop(?x,?y)
FatherOfop(?z,?a) , DaughterOfop(?x,?y) , BrotherOfop(?y,?z) -> CousineDeop(?x,?a)
FatherOfop(?z,?a) , DaughterOfop(?x,?y) , SiblingOfop(?y,?z) -> CousinOfop(?x,?a)
Malec(?x) , FatherOfop(?y,?z) , HalfSiblingOfop(?x,?y) -> عم لop(?x,?z)
PacséeÀop(?x,?y) , عم لop(?y,?z) -> زوجة العم لop(?x,?z)
FatherOfop(?z,?a) , PolyandrousWifeOfop(?x,?y) , BrotherOfop(?y,?z) -> زوجة العم لop(?x,?a)
Femalec(?z) , GrandSonOfop(?y,?z) , BrotherOfop(?x,?y) -> GrandMotherOfop(?z,?x)
FatherOfop(?z,?a) , StraightHusbandOfop(?x,?y) , SisterOfop(?y,?z) -> زوج العمة لop(?x,?a)
ابنة خال لop(?x,?y) -> CousinOfop(?x,?y)
Femalec(?y) , MotherOfop(?z,?a) , PolygynousHusbandOfop(?x,?y) , SiblingOfop(?y,?z) -> زوج الخالة ل op(?x,?a)
AdoptedDaughterOfop(?x,?y) -> DescendantOfop(?x,?y)
NaturalDaughterOfop(?x,?y) -> DaughterOfop(?x,?y)
Femalec(?x) , Malec(?y) , MotherOfop(?z,?a) , CommonLawWifeOfop(?x,?y) , HalfSiblingOfop(?y,?z) -> زوجة الخال لop(?z,?a)
FatherOfop(?z,?a) , SonOfop(?x,?y) , HalfBrotherOfop(?y,?z) -> CousinOfop(?x,?a)
FatherOfop(?z,?a) , SonOfop(?x,?y) , HalfBrotherOfop(?y,?z) -> ابن عم لop(?x,?a)
DaughterOfop(?x,?y) , خال لop(?y,?z) -> CousineDeop(?x,?z)
BiologicalDaughterOfop(?x,?y) -> DaughterOfop(?x,?y)
MotherOfop(?y,?z) , HalfSisterOfop(?x,?y) -> خالة لop(?x,?z)
FatherOfop(?z,?a) , DaughterOfop(?x,?y) , HalfSiblingOfop(?y,?z) -> CousineDeop(?x,?a)
Malec(?x) , DaughterOfop(?y,?z) , SonOfop(?x,?y) -> GrandSonOfop(?x,?z)
FatherOfop(?z,?a) , DaughterOfop(?x,?y) , HalfSiblingOfop(?y,?z) -> CousinOfop(?x,?a)
EggDonorOfop(?x,?y) -> AncestorOfop(?x,?y)
StraightHusbandOfop(?x,?y) , عمة لop(?y,?z) -> زوج العمة لop(?x,?z)
Femalec(?x) , PartnerOfop(?x,?y) , خال لop(?y,?z) -> زوجة الخال لop(?x,?z)
Malec(?z) , FatherOfop(?x,?y) , FatherOfop(?y,?z) -> GrandSonOfop(?z,?x)
Femalec(?z) , FatherOfop(?x,?y) , SiblingOfop(?y,?z) -> DaughterOfop(?z,?x)
FatherOfop(?y,?z) , ابنة الاخ لop(?x,?y) -> ابنة عم لop(?x,?z)
Malec(?z) , MotherOfop(?x,?y) , MotherOfop(?y,?z) -> GrandSonOfop(?z,?x)
FatherOfop(?z,?a) , PacséÀop(?x,?y) , HalfSisterOfop(?y,?z) -> زوج العمة لop(?x,?a)
Malec(?x) , PartnerOfop(?x,?y) , خالة لop(?y,?z) -> زوج الخالة ل op(?x,?z)
MotherOfop(?z,?a) , StraightHusbandOfop(?x,?y) , HalfSisterOfop(?y,?z) -> زوج الخالة ل op(?x,?a)
Femalec(?x) , MotherOfop(?z,?a) , مرتبطة بop(?x,?y) , BrotherOfop(?y,?z) -> زوجة الخال لop(?x,?a)
MotherOfop(?z,?a) , PacséeÀop(?x,?y) , HalfBrotherOfop(?y,?z) -> زوجة الخال لop(?x,?a)
FatherOfop(?z,?a) , DaughterOfop(?x,?y) , HalfSisterOfop(?y,?z) -> CousinOfop(?x,?a)
SurrogateOfop(?x,?y) -> AncestorOfop(?x,?y)
Femalec(?a) , SonOfop(?y,?z) , SonOfop(?z,?a) , SisterOfop(?x,?y) -> GrandMotherOfop(?a,?x)
FatherOfop(?z,?a) , DaughterOfop(?x,?y) , HalfSisterOfop(?y,?z) -> إبنة عمة لop(?x,?a)
Malec(?x) , SonOfop(?x,?y) , HalfSisterOfop(?y,?z) -> NephewOfop(?x,?z)
MotherOfop(?z,?a) , PolygynousHusbandOfop(?x,?y) , SisterOfop(?y,?z) -> زوج الخالة ل op(?x,?a)
Femalec(?x) , MotherOfop(?y,?a) , MotherOfop(?y,?x) , FatherOfop(?z,?a) , FatherOfop(?z,?x) -> SisterOfop(?x,?a)
Femalec(?x) , MotherOfop(?z,?a) , StraightWifeOfop(?x,?y) , BrotherOfop(?y,?z) -> زوجة الخال لop(?x,?a)
Femalec(?x) , MotherOfop(?b,?a) , MotherOfop(?z,?x) , FatherOfop(?y,?a) , FatherOfop(?y,?x) -> HalfSisterOfop(?x,?a)
Femalec(?a) , SonOfop(?y,?z) , SonOfop(?z,?a) , BrotherOfop(?x,?y) -> GrandMotherOfop(?a,?x)
Malec(?a) , DaughterOfop(?y,?z) , SonOfop(?x,?y) , SonOfop(?z,?a) -> GreatGrandFatherOfop(?a,?x)
Femalec(?y) , FatherOfop(?z,?a) , PacséÀop(?x,?y) , HalfSiblingOfop(?y,?z) -> زوج العمة لop(?x,?a)
FatherOfop(?y,?z) , HalfBrotherOfop(?x,?y) -> UncleOfop(?x,?z)
Femalec(?a) , DaughterOfop(?y,?z) , DaughterOfop(?z,?a) , SonOfop(?x,?y) -> GreatGrandMotherOfop(?a,?x)
CommonLawHusbandOfop(?x,?y) , خالة لop(?y,?z) -> زوج الخالة ل op(?x,?z)
DonorFatherOfop(?x,?y) -> AncestorOfop(?x,?y)
FatherOfop(?z,?a) , DaughterOfop(?x,?y) , SisterOfop(?y,?z) -> CousineDeop(?x,?a)
MotherOfop(?y,?z) , ابنة الاخ لop(?x,?y) -> ابنة خال لop(?x,?z)
PacséÀop(?x,?y) , عمة لop(?y,?z) -> زوج العمة لop(?x,?z)
Femalec(?a) , DaughterOfop(?z,?a) , SonOfop(?y,?z) , SisterOfop(?x,?y) -> GrandMotherOfop(?a,?x)
Malec(?x) , CommonLawHusbandOfop(?x,?y) , DaughterOfop(?y,?z) -> SonInLawOfop(?x,?z)
ExHusbandOfop(?x,?y) -> SeparatedFromop(?x,?y)
Malec(?x) , مرتبط ب op(?x,?y) , SonOfop(?y,?z) -> SonInLawOfop(?x,?z)
Malec(?y) , MotherOfop(?z,?a) , PacséeÀop(?x,?y) , SiblingOfop(?y,?z) -> زوجة الخال لop(?x,?a)
زوج الخالة ل op(?x,?y) -> UncleOfop(?x,?y)
FatherOfop(?z,?a) , مرتبطة بop(?x,?y) , HalfBrotherOfop(?y,?z) -> زوجة العم لop(?x,?a)
MotherOfop(?z,?a) , CommonLawHusbandOfop(?x,?y) , SisterOfop(?y,?z) -> زوج الخالة ل op(?x,?a)
GayHusbandOfop(?x,?y) -> مرتبط ب op(?x,?y)
Femalec(?y) , Malec(?x) , SonOfop(?x,?y) , HalfSiblingOfop(?y,?z) -> إبن الأ خت لop(?x,?z)
Malec(?y) , GrandFatherOfop(?x,?y) , GrandFatherOfop(?x,?z) -> CousinDeop(?y,?z)
Femalec(?z) , FatherOfop(?x,?y) , SisterOfop(?y,?z) -> DaughterOfop(?z,?x)
Femalec(?x) , CommonLawWifeOfop(?x,?y) , SonOfop(?y,?z) -> DaughterInLawOfop(?x,?z)
Femalec(?x) , FatherOfop(?z,?a) , PartnerOfop(?x,?y) , HalfBrotherOfop(?y,?z) -> زوجة العم لop(?x,?a)
GrandMotherOfop(?x,?y) -> AncestorOfop(?x,?y)
MotherOfop(?z,?a) , DaughterOfop(?x,?y) , BrotherOfop(?y,?z) -> CousineDeop(?x,?a)
Malec(?y) , FatherOfop(?z,?a) , CommonLawWifeOfop(?x,?y) , SiblingOfop(?y,?z) -> زوجة العم لop(?x,?a)
Femalec(?x) , DaughterOfop(?x,?y) , HalfSiblingOfop(?y,?z) -> NieceOfop(?x,?z)
MotherOfop(?y,?z) , MotherOfop(?z,?a) , FatherOfop(?x,?y) -> GreatGrandFatherOfop(?x,?a)
Malec(?a) , DaughterOfop(?y,?z) , SonOfop(?z,?a) , SisterOfop(?x,?y) -> GrandFatherOfop(?a,?x)
Femalec(?x) , MotherOfop(?z,?a) , CommonLawWifeOfop(?x,?y) , HalfBrotherOfop(?y,?z) -> زوجة الخال لop(?x,?a)
SéparéeDeop(?x,?y) -> SeparatedFromop(?x,?y)
Femalec(?x) , DaughterOfop(?x,?y) , HalfSisterOfop(?y,?z) -> ابنة الاخت لop(?x,?z)
StraightWifeOfop(?x,?y) -> PartnerOfop(?x,?y)
BiologicalFatherOfop(?x,?y) -> AncestorOfop(?x,?y)
GrandDaughterOfop(?x,?y) -> DescendantOfop(?x,?y)
MotherOfop(?y,?z) , إبن الأخ لop(?x,?y) -> CousinDeop(?x,?z)
MotherOfop(?y,?z) , إبن الأ خت لop(?x,?y) -> CousinDeop(?x,?z)
Malec(?a) , DaughterOfop(?x,?y) , SonOfop(?y,?z) , SonOfop(?z,?a) -> GreatGrandFatherOfop(?a,?x)
DaughterOfop(?x,?y) , AuntOfop(?y,?z) -> CousinOfop(?x,?z)
Malec(?a) , DaughterOfop(?x,?y) , DaughterOfop(?y,?z) , SonOfop(?z,?a) -> GreatGrandFatherOfop(?a,?x)
FatherOfop(?y,?z) , إبن الأخ لop(?x,?y) -> ابن عم لop(?x,?z)
MotherOfop(?z,?a) , DaughterOfop(?x,?y) , SiblingOfop(?y,?z) -> CousinOfop(?x,?a)
DaughterOfop(?x,?y) , UncleOfop(?y,?z) -> CousinOfop(?x,?z)
Malec(?x) , PartnerOfop(?x,?y) , عمة لop(?y,?z) -> زوج العمة لop(?x,?z)
Malec(?x) , SonOfop(?x,?y) , HalfBrotherOfop(?y,?z) -> إبن الأخ لop(?x,?z)
Malec(?y) , FatherOfop(?z,?a) , PacséeÀop(?x,?y) , HalfSiblingOfop(?y,?z) -> زوجة العم لop(?x,?a)
Femalec(?x) , FatherOfop(?y,?z) , HalfSisterOfop(?x,?y) -> AuntOfop(?x,?z)
Malec(?x) , SonOfop(?x,?y) , BrotherOfop(?y,?z) -> إبن الأخ لop(?x,?z)
DaughterOfop(?x,?y) , خالة لop(?y,?z) -> CousinOfop(?x,?z)
FatherOfop(?z,?a) , SonOfop(?x,?y) , HalfBrotherOfop(?y,?z) -> CousinDeop(?x,?a)
FatherOfop(?z,?a) , SonOfop(?x,?y) , HalfSisterOfop(?y,?z) -> إبن عمة لop(?x,?a)
LegalMotherOfop(?x,?y) -> MotherOfop(?x,?y)
PolygynousHusbandOfop(?x,?y) , عمة لop(?y,?z) -> زوج العمة لop(?x,?z)
GrandMotherOfop(?y,?z) , FatherOfop(?x,?y) -> GreatGrandFatherOfop(?x,?z)
Femalec(?y) , FatherOfop(?z,?a) , PacséÀop(?x,?y) , SiblingOfop(?y,?z) -> زوج العمة لop(?x,?a)
MotherOfop(?z,?a) , SonOfop(?x,?y) , HalfBrotherOfop(?y,?z) -> CousinDeop(?x,?a)
Malec(?x) , MotherOfop(?y,?a) , MotherOfop(?y,?x) , FatherOfop(?b,?a) , FatherOfop(?z,?x) -> HalfBrotherOfop(?x,?a)
MotherOfop(?y,?z) , ابنة الاخ لop(?x,?y) -> CousinOfop(?x,?z)
Malec(?z) , SonOfop(?x,?y) , SonOfop(?y,?z) -> GrandFatherOfop(?z,?x)
ExWifeOfop(?x,?y) -> SeparatedFromop(?x,?y)
Femalec(?x) , Malec(?y) , DaughterOfop(?x,?y) , HalfSiblingOfop(?y,?z) -> NieceOfop(?x,?z)
Femalec(?z) , DaughterOfop(?y,?z) , SonOfop(?x,?y) -> GrandMotherOfop(?z,?x)
MotherOfop(?z,?a) , FatherOfop(?x,?y) , FatherOfop(?y,?z) -> GreatGrandFatherOfop(?x,?a)
GrandFatherOfop(?x,?y) -> AncestorOfop(?x,?y)
StraightHusbandOfop(?x,?y) -> SéparéeDeop(?x,?y)
HalfBrotherOfop(?x,?y) -> HalfSiblingOfop(?x,?y)
ابنة خال لop(?x,?y) -> CousineDeop(?x,?y)
Femalec(?z) , GrandDaughterOfop(?y,?z) , SisterOfop(?x,?y) -> GrandMotherOfop(?z,?x)
SurrogateSonOfop(?x,?y) -> DescendantOfop(?x,?y)
FatherOfop(?z,?a) , مرتبط ب op(?x,?y) , SisterOfop(?y,?z) -> زوج العمة لop(?x,?a)
FatherOfop(?z,?a) , DaughterOfop(?x,?y) , SisterOfop(?y,?z) -> CousinOfop(?x,?a)
Femalec(?a) , DaughterOfop(?y,?z) , DaughterOfop(?z,?a) , SiblingOfop(?x,?y) -> GrandMotherOfop(?a,?x)
FatherOfop(?z,?a) , DaughterOfop(?x,?y) , BrotherOfop(?y,?z) -> CousinOfop(?x,?a)
Malec(?x) , MotherOfop(?z,?a) , PartnerOfop(?x,?y) , SisterOfop(?y,?z) -> زوج الخالة ل op(?x,?a)
Malec(?x) , SonOfop(?x,?y) , HalfSisterOfop(?y,?z) -> إبن الأ خت لop(?x,?z)
Femalec(?x) , Malec(?y) , MotherOfop(?z,?a) , PolyandrousWifeOfop(?x,?y) , SiblingOfop(?y,?z) -> زوجة الخال لop(?x,?a)
MotherOfop(?z,?a) , PacséeÀop(?x,?y) , BrotherOfop(?y,?z) -> زوجة الخال لop(?x,?a)
FatherOfop(?z,?a) , CommonLawWifeOfop(?x,?y) , BrotherOfop(?y,?z) -> زوجة العم لop(?x,?a)
Femalec(?x) , Malec(?y) , MotherOfop(?z,?a) , PolyandrousWifeOfop(?x,?y) , HalfSiblingOfop(?y,?z) -> زوجة الخال لop(?x,?a)
MotherOfop(?z,?a) , SonOfop(?x,?y) , HalfSisterOfop(?y,?z) -> CousinOfop(?x,?a)
FatherOfop(?x,?y) -> AncestorOfop(?x,?y)
Malec(?y) , FatherOfop(?z,?a) , StraightWifeOfop(?x,?y) , SiblingOfop(?y,?z) -> زوجة العم لop(?x,?a)
Femalec(?a) , DaughterOfop(?z,?a) , SonOfop(?y,?z) , BrotherOfop(?x,?y) -> GrandMotherOfop(?a,?x)
StraightWifeOfop(?x,?y) -> مرتبطة بop(?x,?y)
LegalMotherOfop(?x,?y) -> AncestorOfop(?x,?y)
Femalec(?x) , MotherOfop(?y,?z) , HalfSiblingOfop(?x,?y) -> AuntOfop(?x,?z)
FatherOfop(?z,?a) , PacséeÀop(?x,?y) , BrotherOfop(?y,?z) -> زوجة العم لop(?x,?a)
Femalec(?z) , SonOfop(?y,?z) , GrandDaughterOfop(?x,?y) -> GreatGrandMotherOfop(?z,?x)
Femalec(?z) , MotherOfop(?x,?y) , SiblingOfop(?y,?z) -> DaughterOfop(?z,?x)
FatherOfop(?y,?z) , إبن الأ خت لop(?x,?y) -> CousinOfop(?x,?z)
Femalec(?x) , مرتبطة بop(?x,?y) , SonOfop(?y,?z) -> DaughterInLawOfop(?x,?z)
Femalec(?y) , Malec(?x) , MotherOfop(?z,?a) , PartnerOfop(?x,?y) , HalfSiblingOfop(?y,?z) -> زوج الخالة ل op(?x,?a)
CommonLawHusbandOfop(?x,?y) , عمة لop(?y,?z) -> زوج العمة لop(?x,?z)
FatherOfop(?z,?a) , PolygynousHusbandOfop(?x,?y) , HalfSisterOfop(?y,?z) -> زوج العمة لop(?x,?a)
Malec(?z) , GrandDaughterOfop(?y,?z) , SiblingOfop(?x,?y) -> GrandFatherOfop(?z,?x)
Femalec(?x) , MotherOfop(?z,?a) , PartnerOfop(?x,?y) , BrotherOfop(?y,?z) -> زوجة الخال لop(?x,?a)
Femalec(?x) , DaughterOfop(?x,?y) , SisterOfop(?y,?z) -> ابنة الاخت لop(?x,?a)
FatherOfop(?y,?z) , إبن الأ خت لop(?x,?y) -> CousinDeop(?x,?z)
MotherOfop(?z,?a) , SonOfop(?x,?y) , HalfSisterOfop(?y,?z) -> CousinDeop(?x,?a)
Femalec(?x) , DaughterOfop(?x,?y) , HalfBrotherOfop(?y,?z) -> NieceOfop(?x,?z)
Malec(?z) , MotherOfop(?y,?z) , FatherOfop(?x,?y) -> GrandSonOfop(?z,?x)
Malec(?z) , GrandDaughterOfop(?y,?z) , SisterOfop(?x,?y) -> GrandFatherOfop(?z,?x)
FatherOfop(?z,?a) , CommonLawWifeOfop(?x,?y) , HalfBrotherOfop(?y,?z) -> زوجة العم لop(?x,?a)
Femalec(?y) , MotherOfop(?z,?a) , PolygynousHusbandOfop(?x,?y) , HalfSiblingOfop(?y,?z) -> زوج الخالة ل op(?x,?a)
Malec(?a) , SonOfop(?y,?z) , SonOfop(?z,?a) , SiblingOfop(?x,?y) -> GrandFatherOfop(?a,?x)
Femalec(?x) , StraightWifeOfop(?x,?y) , SonOfop(?y,?z) -> DaughterInLawOfop(?x,?z)
MotherOfop(?y,?z) , ابنة الاخت لop(?x,?y) -> إبنة خالة لop(?x,?z)
MotherOfop(?z,?a) , DaughterOfop(?x,?y) , HalfSisterOfop(?y,?z) -> CousinOfop(?x,?a)
MotherOfop(?z,?a) , StraightHusbandOfop(?x,?y) , SisterOfop(?y,?z) -> زوج الخالة ل op(?x,?a)
FatherOfop(?x,?y) , FatherOfop(?y,?z) , FatherOfop(?z,?a) -> GreatGrandFatherOfop(?x,?a)
Femalec(?x) , DaughterOfop(?x,?y) , HalfBrotherOfop(?y,?z) -> ابنة الاخ لop(?x,?z)
FatherOfop(?y,?z) , إبن الأخ لop(?x,?y) -> CousinDeop(?x,?z)
Malec(?x) , SonOfop(?x,?y) , HalfSiblingOfop(?y,?z) -> NephewOfop(?x,?z)
Femalec(?x) , MotherOfop(?z,?a) , CommonLawWifeOfop(?x,?y) , BrotherOfop(?y,?z) -> زوجة الخال لop(?x,?a)
MotherOfop(?x,?y) , FatherOfop(?y,?z) , FatherOfop(?z,?a) -> GreatGrandMotherOfop(?x,?a)
Femalec(?a) , DaughterOfop(?x,?y) , DaughterOfop(?z,?a) , SonOfop(?y,?z) -> GreatGrandMotherOfop(?a,?x)
Femalec(?x) , MotherOfop(?z,?a) , مرتبطة بop(?x,?y) , HalfBrotherOfop(?y,?z) -> زوجة الخال لop(?x,?a)
Femalec(?x) , GayWifeOfop(?x,?y) , DaughterOfop(?y,?z) -> DaughterInLawOfop(?x,?z)
Malec(?x) , MotherOfop(?y,?z) , HalfSiblingOfop(?x,?y) -> UncleOfop(?x,?z)
Malec(?x) , MotherOfop(?z,?a) , PartnerOfop(?x,?y) , HalfSisterOfop(?y,?z) -> زوج الخالة ل op(?x,?a)
Femalec(?y) , Malec(?x) , FatherOfop(?z,?a) , PartnerOfop(?x,?y) , HalfSiblingOfop(?y,?z) -> زوج العمة لop(?x,?a)
Femalec(?x) , PartnerOfop(?x,?y) , عم لop(?y,?z) -> زوجة العم لop(?x,?z)
Femalec(?x) , DaughterOfop(?x,?y) , BrotherOfop(?y,?z) -> ابنة الاخ لop(?x,?z)
Malec(?x) , SonOfop(?x,?y) , SonOfop(?y,?z) -> GrandSonOfop(?x,?z)
NaturalSonOfop(?x,?y) -> DescendantOfop(?x,?y)
Malec(?z) , GrandSonOfop(?y,?z) , SisterOfop(?x,?y) -> GrandFatherOfop(?z,?x)
Femalec(?y) , MotherOfop(?z,?a) , CommonLawHusbandOfop(?x,?y) , HalfSiblingOfop(?y,?z) -> زوج الخالة ل op(?x,?a)
Femalec(?x) , PolyandrousWifeOfop(?x,?y) , خال لop(?y,?z) -> زوجة الخال لop(?x,?z)
إبن خالة لop(?x,?y) -> CousinDeop(?x,?y)
Malec(?x) , Malec(?y) , SonOfop(?x,?y) , HalfSiblingOfop(?y,?z) -> إبن الأخ لop(?x,?z)
DaughterOfop(?x,?y) , عم لop(?y,?z) -> CousineDeop(?x,?z)
ابنة الاخ لop(?x,?y) -> NieceOfop(?x,?y)
Femalec(?y) , FatherOfop(?z,?a) , StraightHusbandOfop(?x,?y) , HalfSiblingOfop(?y,?z) -> زوج العمة لop(?x,?a)
FatherOfop(?z,?a) , PacséÀop(?x,?y) , SisterOfop(?y,?z) -> زوج العمة لop(?x,?a)
Malec(?y) , FatherOfop(?z,?a) , PolyandrousWifeOfop(?x,?y) , HalfSiblingOfop(?y,?z) -> زوجة العم لop(?x,?a)
FatherOfop(?z,?a) , DaughterOfop(?x,?y) , SiblingOfop(?y,?z) -> CousineDeop(?x,?a)
GrandFatherOfop(?y,?z) , FatherOfop(?x,?y) -> GreatGrandFatherOfop(?x,?z)
MotherOfop(?z,?a) , DaughterOfop(?x,?y) , SisterOfop(?y,?z) -> CousineDeop(?x,?a)
Malec(?x) , GayHusbandOfop(?x,?y) , SonOfop(?y,?z) -> SonInLawOfop(?x,?z)
Malec(?a) , DaughterOfop(?y,?z) , DaughterOfop(?z,?a) , BrotherOfop(?x,?y) -> GrandFatherOfop(?a,?x)
FatherOfop(?z,?a) , SonOfop(?x,?y) , HalfSiblingOfop(?y,?z) -> CousinOfop(?x,?a)
GivenGirlOfop(?x,?y) -> DescendantOfop(?x,?y)
Femalec(?a) , DaughterOfop(?y,?z) , SonOfop(?z,?a) , BrotherOfop(?x,?y) -> GrandMotherOfop(?a,?x)
MotherOfop(?y,?z) , ابنة الاخت لop(?x,?y) -> CousinOfop(?x,?z)
Femalec(?x) , Malec(?y) , MotherOfop(?z,?a) , PartnerOfop(?x,?y) , HalfSiblingOfop(?y,?z) -> زوجة الخال لop(?x,?a)
GrandFatherOfop(?y,?z) , MotherOfop(?x,?y) -> GreatGrandMotherOfop(?x,?z)
Femalec(?a) , DaughterOfop(?z,?a) , SonOfop(?x,?y) , SonOfop(?y,?z) -> GreatGrandMotherOfop(?a,?x)
WidowOfop(?x,?y) -> SeparatedFromop(?x,?y)
Femalec(?x) , PartnerOfop(?x,?y) , SonOfop(?y,?z) -> DaughterInLawOfop(?x,?z)
BiologicalDaughterOfop(?x,?y) -> DescendantOfop(?x,?y)
FatherOfop(?y,?z) , ابنة الاخت لop(?x,?y) -> إبنة عمة لop(?x,?z)
Femalec(?z) , SonOfop(?x,?y) , SonOfop(?y,?z) -> GrandMotherOfop(?z,?x)
Femalec(?z) , MotherOfop(?x,?y) , FatherOfop(?y,?z) -> GrandDaughterOfop(?z,?x)
Malec(?x) , PartnerOfop(?x,?y) , DaughterOfop(?y,?z) -> SonInLawOfop(?x,?z)
NaturalFatherOfop(?x,?y) -> FatherOfop(?x,?y)
Femalec(?z) , DaughterOfop(?y,?z) , GrandSonOfop(?x,?y) -> GreatGrandMotherOfop(?z,?x)
FatherOfop(?z,?a) , DaughterOfop(?x,?y) , BrotherOfop(?y,?z) -> ابنة عم لop(?x,?a)
PacséeÀop(?x,?y) , خال لop(?y,?z) -> زوجة الخال لop(?x,?z)
Femalec(?x) , مرتبطة بop(?x,?y) , عم لop(?y,?z) -> زوجة العم لop(?x,?z)
FatherOfop(?z,?a) , DaughterOfop(?x,?y) , HalfBrotherOfop(?y,?z) -> CousinOfop(?x,?a)
DaughterOfop(?x,?y) , خال لop(?y,?z) -> ابنة خال لop(?x,?z)
MotherOfop(?z,?a) , DaughterOfop(?x,?y) , HalfBrotherOfop(?y,?z) -> CousinOfop(?x,?a)
MotherOfop(?z,?a) , PolygynousHusbandOfop(?x,?y) , HalfSisterOfop(?y,?z) -> زوج الخالة ل op(?x,?a)
Femalec(?x) , DaughterOfop(?x,?y) , SisterOfop(?y,?z) -> NieceOfop(?x,?z)
FatherOfop(?y,?z) , ابنة الاخ لop(?x,?y) -> CousineDeop(?x,?z)
Femalec(?x) , FatherOfop(?y,?z) , HalfSiblingOfop(?x,?y) -> AuntOfop(?x,?z)
DonorFatherOfop(?x,?y) -> FatherOfop(?x,?y)
PolygynousHusbandOfop(?x,?y) -> مرتبط ب op(?x,?y)
CommonLawWifeOfop(?x,?y) -> PartnerOfop(?x,?y)
Femalec(?x) , DaughterOfop(?x,?y) , BrotherOfop(?y,?z) -> NieceOfop(?x,?z)
FatherOfop(?y,?z) , ابنة الاخت لop(?x,?y) -> CousinOfop(?x,?z)
Femalec(?y) , Malec(?x) , SonOfop(?x,?y) , SiblingOfop(?y,?z) -> NephewOfop(?x,?z)
Femalec(?x) , PartnerOfop(?x,?y) , DaughterOfop(?y,?z) -> DaughterInLawOfop(?x,?z)
Femalec(?y) , FatherOfop(?z,?a) , CommonLawHusbandOfop(?x,?y) , HalfSiblingOfop(?y,?z) -> زوج العمة لop(?x,?a)
FatherOfop(?y,?z) , HalfSisterOfop(?x,?y) -> عمة لop(?x,?z)
Malec(?a) , SonOfop(?y,?z) , SonOfop(?z,?a) , BrotherOfop(?x,?y) -> GrandFatherOfop(?a,?x)
MotherOfop(?z,?a) , DaughterOfop(?x,?y) , SisterOfop(?y,?z) -> CousinOfop(?x,?a)
MotherOfop(?z,?a) , SonOfop(?x,?y) , SisterOfop(?y,?z) -> إبن خالة لop(?x,?a)
Femalec(?z) , GrandDaughterOfop(?y,?z) , BrotherOfop(?x,?y) -> GrandMotherOfop(?z,?x)
Femalec(?y) , MotherOfop(?z,?a) , PacséÀop(?x,?y) , SiblingOfop(?y,?z) -> زوج الخالة ل op(?x,?a)
BiologicalSonOfop(?x,?y) -> DescendantOfop(?x,?y)
EggDonorOfop(?x,?y) -> MotherOfop(?x,?y)
SurrogateOfop(?x,?y) -> MotherOfop(?x,?y)
NaturalMotherOfop(?x,?y) -> AncestorOfop(?x,?y)
GrandMotherOfop(?x,?y) , GrandMotherOfop(?x,?z) -> CousinOfop(?y,?z)
Femalec(?z) , FatherOfop(?x,?y) , FatherOfop(?y,?z) -> GrandDaughterOfop(?z,?x)
MotherOfop(?y,?z) , FatherOfop(?x,?y) , FatherOfop(?z,?a) -> GreatGrandFatherOfop(?x,?a)
CommonLawWifeOfop(?x,?y) -> مرتبطة بop(?x,?y)
Femalec(?z) , MotherOfop(?x,?y) , MotherOfop(?y,?z) -> GrandDaughterOfop(?z,?x)
Femalec(?x) , MotherOfop(?z,?a) , StraightWifeOfop(?x,?y) , HalfBrotherOfop(?y,?z) -> زوجة الخال لop(?x,?a)
MotherOfop(?z,?a) , SonOfop(?x,?y) , HalfSiblingOfop(?y,?z) -> CousinDeop(?x,?a)
MotherOfop(?z,?a) , DaughterOfop(?x,?y) , HalfSiblingOfop(?y,?z) -> CousinOfop(?x,?a)
Malec(?x) , PartnerOfop(?x,?y) , SonOfop(?y,?z) -> SonInLawOfop(?x,?z)
StraightHusbandOfop(?x,?y) -> مرتبط ب op(?x,?y)
MotherOfop(?z,?a) , DaughterOfop(?x,?y) , SiblingOfop(?y,?z) -> CousineDeop(?x,?a)
Femalec(?x) , SeparatedFromop(?x,?y) -> SéparéeDeop(?x,?y)
MotherOfop(?z,?a) , DaughterOfop(?x,?y) , SisterOfop(?y,?z) -> إبنة خالة لop(?x,?a)
FatherOfop(?z,?a) , SonOfop(?x,?y) , HalfSiblingOfop(?y,?z) -> CousinDeop(?x,?a)
FatherOfop(?z,?a) , StraightWifeOfop(?x,?y) , BrotherOfop(?y,?z) -> زوجة العم لop(?x,?a)
Malec(?z) , DaughterOfop(?y,?z) , GrandSonOfop(?x,?y) -> GreatGrandFatherOfop(?z,?x)
FatherOfop(?y,?z) , ابنة الاخ لop(?x,?y) -> CousinOfop(?x,?z)
Femalec(?x) , Malec(?y) , MotherOfop(?z,?a) , CommonLawWifeOfop(?x,?y) , SiblingOfop(?y,?z) -> زوجة الخال لop(?x,?a)
FatherOfop(?z,?a) , DaughterOfop(?x,?y) , SisterOfop(?y,?z) -> إبنة عمة لop(?x,?a)
Femalec(?x) , Malec(?y) , MotherOfop(?z,?a) , PartnerOfop(?x,?y) , SiblingOfop(?y,?z) -> زوجة الخال لop(?x,?a)
DaughterOfop(?x,?y) , عم لop(?y,?z) -> ابنة عم لop(?x,?z)
FatherOfop(?z,?a) , CommonLawHusbandOfop(?x,?y) , HalfSisterOfop(?y,?z) -> زوج العمة لop(?x,?a)
Femalec(?x) , Malec(?y) , MotherOfop(?z,?a) , مرتبطة بop(?x,?y) , SiblingOfop(?y,?z) -> زوجة الخال لop(?x,?a)
MotherOfop(?z,?a) , DaughterOfop(?x,?y) , BrotherOfop(?y,?z) -> ابنة خال لop(?x,?a)
SéparéDeop(?x,?y) -> SeparatedFromop(?x,?y)
PolyandrousWifeOfop(?x,?y) , عم لop(?y,?z) -> زوجة العم لop(?x,?z)
Malec(?a) , DaughterOfop(?y,?z) , SonOfop(?z,?a) , SiblingOfop(?x,?y) -> GrandFatherOfop(?a,?x)
إبن الأ خت لop(?x,?y) -> NephewOfop(?x,?y)
BiologicalFatherOfop(?x,?y) -> FatherOfop(?x,?y)
Femalec(?a) , SonOfop(?x,?y) , SonOfop(?y,?z) , SonOfop(?z,?a) -> GreatGrandMotherOfop(?a,?x)
MotherOfop(?b,?a) , MotherOfop(?z,?x) , FatherOfop(?y,?a) , FatherOfop(?y,?x) -> HalfSiblingOfop(?x,?a)
DaughterOfop(?x,?y) , عمة لop(?y,?z) -> CousineDeop(?x,?z)
Femalec(?x) , مرتبطة بop(?x,?y) , DaughterOfop(?y,?z) -> DaughterInLawOfop(?x,?z)
Femalec(?y) , FatherOfop(?z,?a) , PolygynousHusbandOfop(?x,?y) , HalfSiblingOfop(?y,?z) -> زوج العمة لop(?x,?a)
Femalec(?y) , MotherOfop(?z,?a) , StraightHusbandOfop(?x,?y) , HalfSiblingOfop(?y,?z) -> زوج الخالة ل op(?x,?a)
CommonLawHusbandOfop(?x,?y) -> مرتبط ب op(?x,?y)
MotherOfop(?z,?a) , PolyandrousWifeOfop(?x,?y) , HalfBrotherOfop(?y,?z) -> زوجة الخال لop(?x,?a)
Femalec(?x) , Femalec(?y) , DaughterOfop(?x,?y) , SiblingOfop(?y,?z) -> NieceOfop(?x,?z)
Femalec(?x) , Malec(?y) , MotherOfop(?z,?a) , StraightWifeOfop(?x,?y) , SiblingOfop(?y,?z) -> زوجة الخال لop(?x,?a)
Femalec(?a) , SonOfop(?y,?z) , SonOfop(?z,?a) , SiblingOfop(?x,?y) -> GrandMotherOfop(?a,?x)
FatherOfop(?z,?a) , PolyandrousWifeOfop(?x,?y) , HalfBrotherOfop(?y,?z) -> زوجة العم لop(?x,?a)
Femalec(?y) , GrandFatherOfop(?x,?y) , GrandFatherOfop(?x,?z) -> CousineDeop(?y,?z)
Femalec(?y) , GrandMotherOfop(?x,?y) , GrandMotherOfop(?x,?z) -> CousineDeop(?y,?z)
MotherOfop(?z,?a) , SonOfop(?x,?y) , HalfSiblingOfop(?y,?z) -> CousinOfop(?x,?a)
NaturalSonOfop(?x,?y) -> SonOfop(?x,?y)
MotherOfop(?y,?a) , MotherOfop(?y,?x) , FatherOfop(?b,?a) , FatherOfop(?z,?x) -> HalfSiblingOfop(?x,?a)
Malec(?x) , SonOfop(?x,?y) , HalfBrotherOfop(?y,?z) -> NephewOfop(?x,?z)
Malec(?x) , Malec(?y) , SonOfop(?x,?y) , SiblingOfop(?y,?z) -> إبن الأخ لop(?x,?z)
Malec(?x) , HalfSiblingOfop(?x,?y) -> HalfBrotherOfop(?x,?y)
Malec(?z) , DaughterOfop(?y,?z) , SonOfop(?x,?y) -> GrandFatherOfop(?z,?x)
GivenGirlOfop(?x,?y) -> DaughterOfop(?x,?y)
MotherOfop(?x,?y) , MotherOfop(?y,?z) , FatherOfop(?z,?a) -> GreatGrandMotherOfop(?x,?a)
MotherOfop(?z,?a) , PacséÀop(?x,?y) , HalfSisterOfop(?y,?z) -> زوج الخالة ل op(?x,?a)
Malec(?a) , DaughterOfop(?z,?a) , SonOfop(?y,?z) , BrotherOfop(?x,?y) -> GrandFatherOfop(?a,?x)
Malec(?a) , DaughterOfop(?y,?z) , DaughterOfop(?z,?a) , SonOfop(?x,?y) -> GreatGrandFatherOfop(?a,?x)
Malec(?x) , SonOfop(?x,?y) , SisterOfop(?y,?z) -> إبن الأ خت لop(?x,?z)
Malec(?a) , DaughterOfop(?x,?y) , DaughterOfop(?z,?a) , SonOfop(?y,?z) -> GreatGrandFatherOfop(?a,?x)
Malec(?a) , DaughterOfop(?x,?y) , DaughterOfop(?y,?z) , DaughterOfop(?z,?a) -> GreatGrandFatherOfop(?a,?x)
Femalec(?a) , DaughterOfop(?x,?y) , DaughterOfop(?y,?z) , SonOfop(?z,?a) -> GreatGrandMotherOfop(?a,?x)
FatherOfop(?z,?a) , DaughterOfop(?x,?y) , HalfBrotherOfop(?y,?z) -> ابنة عم لop(?x,?a)
Femalec(?y) , Malec(?x) , SonOfop(?x,?y) , SiblingOfop(?y,?z) -> إبن الأ خت لop(?x,?z)
FatherOfop(?z,?a) , SonOfop(?x,?y) , HalfSisterOfop(?y,?z) -> CousinDeop(?x,?a)
MotherOfop(?y,?z) , إبن الأخ لop(?x,?y) -> CousinOfop(?x,?z)
MotherOfop(?z,?a) , مرتبط ب op(?x,?y) , SisterOfop(?y,?z) -> زوج الخالة ل op(?x,?a)
MotherOfop(?z,?a) , DaughterOfop(?x,?y) , HalfBrotherOfop(?y,?z) -> CousineDeop(?x,?a)
PolyandrousWifeOfop(?x,?y) -> مرتبطة بop(?x,?y)
Femalec(?x) , Malec(?y) , DaughterOfop(?x,?y) , SiblingOfop(?y,?z) -> NieceOfop(?x,?z)
Femalec(?a) , DaughterOfop(?y,?z) , DaughterOfop(?z,?a) , BrotherOfop(?x,?y) -> GrandMotherOfop(?a,?x)
Femalec(?a) , DaughterOfop(?y,?z) , SonOfop(?x,?y) , SonOfop(?z,?a) -> GreatGrandMotherOfop(?a,?x)
Malec(?z) , SonOfop(?y,?z) , GrandSonOfop(?x,?y) -> GreatGrandFatherOfop(?z,?x)
Femalec(?x) , HalfSiblingOfop(?x,?y) -> HalfSisterOfop(?x,?y)
NaturalMotherOfop(?x,?y) -> MotherOfop(?x,?y)
SonOfop(?x,?y) -> DescendantOfop(?x,?y)
DaughterOfop(?x,?y) , خالة لop(?y,?z) -> CousineDeop(?x,?z)
Femalec(?y) , MotherOfop(?z,?a) , StraightHusbandOfop(?x,?y) , SiblingOfop(?y,?z) -> زوج الخالة ل op(?x,?a)
FatherOfop(?z,?a) , مرتبط ب op(?x,?y) , HalfSisterOfop(?y,?z) -> زوج العمة لop(?x,?a)
Femalec(?z) , GrandDaughterOfop(?y,?z) , SiblingOfop(?x,?y) -> GrandMotherOfop(?z,?x)
MotherOfop(?z,?a) , DaughterOfop(?x,?y) , HalfBrotherOfop(?y,?z) -> ابنة خال لop(?x,?a)
FatherOfop(?y,?z) , إبن الأخ لop(?x,?y) -> CousinOfop(?x,?z)
MotherOfop(?z,?a) , SonOfop(?x,?y) , HalfSisterOfop(?y,?z) -> إبن خالة لop(?x,?a)
Malec(?z) , GrandDaughterOfop(?y,?z) , BrotherOfop(?x,?y) -> GrandFatherOfop(?z,?x)
Femalec(?y) , FatherOfop(?z,?a) , StraightHusbandOfop(?x,?y) , SiblingOfop(?y,?z) -> زوج العمة لop(?x,?a)
Femalec(?x) , Femalec(?y) , DaughterOfop(?x,?y) , HalfSiblingOfop(?y,?z) -> ابنة الاخت لop(?x,?z)
Malec(?y) , GrandMotherOfop(?x,?y) , GrandMotherOfop(?x,?z) -> CousinDeop(?y,?z)
Femalec(?x) , DaughterOfop(?x,?y) , SonOfop(?y,?z) -> GrandDaughterOfop(?x,?z)
PolyandrousWifeOfop(?x,?y) -> PartnerOfop(?x,?y)
AdoptedDaughterOfop(?x,?y) -> DaughterOfop(?x,?y)
StraightWifeOfop(?x,?y) , عم لop(?y,?z) -> زوجة العم لop(?x,?z)
FatherOfop(?y,?z) , إبن الأ خت لop(?x,?y) -> إبن عمة لop(?x,?z)
Femalec(?a) , DaughterOfop(?y,?z) , SonOfop(?z,?a) , SisterOfop(?x,?y) -> GrandMotherOfop(?a,?x)
مرتبط ب op(?x,?y) , خالة لop(?y,?z) -> زوج الخالة ل op(?x,?z)
Femalec(?x) , Femalec(?y) , DaughterOfop(?x,?y) , SiblingOfop(?y,?z) -> ابنة الاخت لop(?x,?z)
Malec(?y) , FatherOfop(?z,?a) , CommonLawWifeOfop(?x,?y) , HalfSiblingOfop(?y,?z) -> زوجة العم لop(?x,?a)
FatherOfop(?z,?a) , DaughterOfop(?x,?y) , HalfBrotherOfop(?y,?z) -> CousineDeop(?x,?a)
Malec(?z) , DaughterOfop(?x,?y) , DaughterOfop(?y,?z) -> GrandFatherOfop(?z,?x)
DaughterOfop(?x,?y) , خال لop(?y,?z) -> CousinOfop(?x,?z)
MotherOfop(?y,?z) , إبن الأ خت لop(?x,?y) -> إبن خالة لop(?x,?z)
MotherOfop(?y,?z) , HalfBrotherOfop(?x,?y) -> خال لop(?x,?z)
Femalec(?x) , FatherOfop(?y,?z) , HalfSiblingOfop(?x,?y) -> عمة لop(?x,?z)
Femalec(?z) , FatherOfop(?x,?y) , BrotherOfop(?y,?z) -> DaughterOfop(?z,?x)
مرتبط ب op(?x,?y) , عمة لop(?y,?z) -> زوج العمة لop(?x,?z)
Femalec(?y) , MotherOfop(?z,?a) , مرتبط ب op(?x,?y) , HalfSiblingOfop(?y,?z) -> زوج الخالة ل op(?x,?a)
Malec(?x) , PacséÀop(?x,?y) , DaughterOfop(?y,?z) -> SonInLawOfop(?x,?z)
FatherOfop(?z,?a) , StraightHusbandOfop(?x,?y) , HalfSisterOfop(?y,?z) -> زوج العمة لop(?x,?a)
Femalec(?x) , Femalec(?y) , DaughterOfop(?x,?y) , HalfSiblingOfop(?y,?z) -> NieceOfop(?x,?z)
SonOfop(?x,?y) , خالة لop(?y,?z) -> إبن خالة لop(?x,?z)
FatherOfop(?z,?a) , مرتبطة بop(?x,?y) , BrotherOfop(?y,?z) -> زوجة العم لop(?x,?a)
Femalec(?x) , Malec(?y) , MotherOfop(?z,?a) , StraightWifeOfop(?x,?y) , HalfSiblingOfop(?y,?z) -> زوجة الخال لop(?x,?a)
Femalec(?x) , Malec(?y) , FatherOfop(?z,?a) , PartnerOfop(?x,?y) , HalfSiblingOfop(?y,?z) -> زوجة العم لop(?x,?a)
MotherOfop(?y,?z) , FatherOfop(?x,?y) -> GrandFatherOfop(?x,?a)
Femalec(?x) , Malec(?y) , DaughterOfop(?x,?y) , SiblingOfop(?y,?z) -> ابنة الاخ لop(?x,?z)
Femalec(?z) , MotherOfop(?x,?y) , SisterOfop(?y,?z) -> DaughterOfop(?z,?x)
MotherOfop(?z,?a) , SonOfop(?x,?y) , HalfBrotherOfop(?y,?z) -> ابن خال ل op(?x,?a)
FatherOfop(?z,?a) , DaughterOfop(?x,?y) , HalfSisterOfop(?y,?z) -> CousineDeop(?x,?a)
AdoptedSonOfop(?x,?y) -> SonOfop(?x,?y)
MotherOfop(?y,?z) , ابنة الاخ لop(?x,?y) -> CousineDeop(?x,?z)
CommonLawHusbandOfop(?x,?y) -> PartnerOfop(?x,?y)
Malec(?z) , SonOfop(?y,?z) , GrandDaughterOfop(?x,?y) -> GreatGrandFatherOfop(?z,?x)
DaughterOfop(?x,?y) , خالة لop(?y,?z) -> إبنة خالة لop(?x,?z)
إبنة عمة لop(?x,?y) -> CousineDeop(?x,?y)
MotherOfop(?y,?a) , MotherOfop(?y,?x) , FatherOfop(?z,?a) , FatherOfop(?z,?x) -> SiblingOfop(?x,?a)
FatherOfop(?x,?y) , FatherOfop(?y,?z) -> GrandFatherOfop(?x,?a)
ExHusbandOfop(?x,?y) -> SéparéDeop(?x,?y)
This HTML document was obtained by processing the OWL ontology source code through LODE, Live OWL Documentation Environment, developed by Silvio Peroni.