PersonLink Ontology

IRI:
http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#
Current version:
Version 1.0 - 2015-02-14
Authors:
http://cedric.cnam.fr/index.php/labo/membre/view?id=125
http://cedric.cnam.fr/index.php/labo/membre/view?id=2201
http://cedric.cnam.fr/~hamdif
Publisher:
http://fr.dbpedia.org/resource/Conservatoire_national_des_arts_et_métiers
Other visualisation:
Ontology source

Table of Content

  1. Classes
  2. Object Properties
  3. Named Individuals
  4. SWRL Rules
  5. Namespace Declarations

Classes

Femalec back to ToC or Class ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#Femme

has super-classes
Personc
PolyandrousWifeOfop min 2 Malec
PacséeÀop exactly 1 Malec
GayWifeOfop exactly 1 Femalec
StraightWifeOfop exactly 1 Malec
CommonLawWifeOfop exactly 1 Malec
is in domain of
AdoptedDaughterOfop, AuntOfop, BiologicalDaughterOfop, BiologicalMotherOfop, CommonLawWifeOfop, CousineDeop, DaughterInLawOfop, DaughterOfop, EggDonorOfop, ExWifeOfop, GayWifeOfop, GivenGirlOfop, GrandDaughterOfop, GrandMotherOfop, GreatGrandMotherOfop, HalfSisterOfop, LegalMotherOfop, MotherOfop, NaturalDaughterOfop, NaturalMotherOfop, NieceOfop, PacséeÀop, PolyandrousWifeOfop, SisterOfop, StraightWifeOfop, SurrogateDaughterOfop, SurrogateOfop, SéparéeDeop, WidowOfop, إبنة خالة لop, إبنة عمة لop, ابنة الاخ لop, ابنة الاخت لop, ابنة خال لop, ابنة عم لop, خالة لop, زوجة الخال لop, زوجة العم لop, عمة لop, مرتبطة بop
is in range of
CommonLawHusbandOfop, GayWifeOfop, PacséÀop, PolygynousHusbandOfop, StraightHusbandOfop
is disjoint with
Malec

Malec back to ToC or Class ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#Homme

has super-classes
Personc
PolygynousHusbandOfop min 2 Femalec
StraightHusbandOfop exactly 1 Femalec
PacséÀop exactly 1 Femalec
CommonLawHusbandOfop exactly 1 Femalec
GayHusbandOfop exactly 1 Malec
is in domain of
AdoptedSonOfop, BiologicalFatherOfop, BiologicalSonOfop, BrotherOfop, CommonLawHusbandOfop, CousinDeop, DonorFatherOfop, ExHusbandOfop, FatherOfop, GayHusbandOfop, GivenSonOfop, GrandFatherOfop, GrandSonOfop, GreatGrandFatherOfop, HalfBrotherOfop, LegalFatherOfop, NaturalFatherOfop, NaturalSonOfop, NephewOfop, PacséÀop, PolygynousHusbandOfop, SonInLawOfop, SonOfop, StraightHusbandOfop, SurrogateSonOfop, SéparéDeop, UncleOfop, WidowerOfop, إبن الأ خت لop, إبن الأخ لop, إبن خالة لop, إبن عمة لop, ابن خال ل op, ابن عم لop, خال لop, زوج الخالة ل op, زوج العمة لop, عم لop, مرتبط ب op
is in range of
CommonLawWifeOfop, GayHusbandOfop, PacséeÀop, PolyandrousWifeOfop, StraightWifeOfop
is disjoint with
Femalec

Personc back to ToC or Class ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#Personne

is equivalent to
personc
has sub-classes
Femalec, Malec
is in domain of
AncestorOfop, CousinOfop, DescendantOfop, HalfSiblingOfop, PartnerOfop, SeparatedFromop, SiblingOfop
is in range of
AdoptedDaughterOfop, AdoptedSonOfop, AncestorOfop, AuntOfop, BiologicalDaughterOfop, BiologicalFatherOfop, BiologicalMotherOfop, BiologicalSonOfop, BrotherOfop, CousinDeop, CousinOfop, CousineDeop, DaughterInLawOfop, DaughterOfop, DescendantOfop, DonorFatherOfop, EggDonorOfop, ExHusbandOfop, ExWifeOfop, FatherOfop, GivenGirlOfop, GivenSonOfop, GrandDaughterOfop, GrandFatherOfop, GrandMotherOfop, GrandSonOfop, GreatGrandFatherOfop, GreatGrandMotherOfop, HalfBrotherOfop, HalfSiblingOfop, HalfSisterOfop, LegalFatherOfop, LegalMotherOfop, MotherOfop, NaturalDaughterOfop, NaturalFatherOfop, NaturalMotherOfop, NaturalSonOfop, NephewOfop, NieceOfop, PartnerOfop, SeparatedFromop, SiblingOfop, SisterOfop, SonInLawOfop, SonOfop, SurrogateDaughterOfop, SurrogateOfop, SurrogateSonOfop, SéparéDeop, SéparéeDeop, UncleOfop, WidowOfop, WidowerOfop, إبن الأ خت لop, إبن الأخ لop, إبن خالة لop, إبن عمة لop, إبنة خالة لop, إبنة عمة لop, ابن خال ل op, ابن عم لop, ابنة الاخ لop, ابنة الاخت لop, ابنة خال لop, ابنة عم لop, خال لop, خالة لop, زوج الخالة ل op, زوج العمة لop, زوجة الخال لop, زوجة العم لop, عم لop, عمة لop, مرتبط ب op, مرتبطة بop

Object Properties

AdoptedDaughterOfop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#3.1.1.1

has super-properties
DaughterOfop
has domain
Femalec
has range
Personc

AdoptedSonOfop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#3.1.2.1

has super-properties
SonOfop
has domain
Malec
has range
Personc

AncestorOfop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#1

has equivalent properties
ancestor ofop
has sub-properties
GrandParentOfop, GreatGrandParentOfop, ParentOfop
has domain
Personc
has range
Personc

AuntOfop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#8

has sub-properties
خالة لop, زوجة الخال لop, زوجة العم لop, عمة لop
has domain
Femalec
has range
Personc

BiologicalDaughterOfop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#3.1.1.2

has super-properties
DaughterOfop
has domain
Femalec
has range
Personc

BiologicalFatherOfop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#1.3.2.2

has super-properties
FatherOfop
has domain
Malec
has range
Personc

BiologicalMotherOfop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#1.3.1.2

has super-properties
MotherOfop
has domain
Femalec
has range
Personc

BiologicalSonOfop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#3.1.2.2

has super-properties
SonOfop
has domain
Malec
has range
Personc

BrotherOfop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#5.2

has super-properties
SiblingOfop
has domain
Malec
has range
Personc

ChildOfop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#3.1

has equivalent properties
child ofop
has super-properties
DescendantOfop
has sub-properties
DaughterOfop, SonOfop

CommonLawHusbandOfop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#13.2.1

has super-properties
مرتبط ب op
has domain
Malec
has range
Femalec

CommonLawWifeOfop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#13.1.1

has super-properties
مرتبطة بop
has domain
Femalec
has range
Malec

CousinDeop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#2.2

has super-properties
CousinOfop
has sub-properties
إبن خالة لop, إبن عمة لop, ابن خال ل op, ابن عم لop
has domain
Malec
has range
Personc

CousineDeop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#2.1

has super-properties
CousinOfop
has sub-properties
إبنة خالة لop, إبنة عمة لop, ابنة خال لop, ابنة عم لop
has domain
Femalec
has range
Personc

CousinOfop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#2

has sub-properties
CousinDeop, CousineDeop
has domain
Personc
has range
Personc

DaughterInLawOfop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#6

has domain
Femalec
has range
Personc

DaughterOfop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#3.1.1

has super-properties
ChildOfop
has sub-properties
AdoptedDaughterOfop, BiologicalDaughterOfop, GivenGirlOfop, NaturalDaughterOfop, SurrogateDaughterOfop
has domain
Femalec
has range
Personc

DescendantOfop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#3

has equivalent properties
descendant ofop
has sub-properties
ChildOfop, GrandChildOfop
has domain
Personc
has range
Personc

DonorFatherOfop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#1.3.2.3

has super-properties
FatherOfop
has domain
Malec
has range
Personc

EggDonorOfop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#1.3.1.3

has super-properties
MotherOfop
has domain
Femalec
has range
Personc

ExCommonLawHusbandOfop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#12.2.1

has super-properties
SéparéDeop

ExCommonLawWifeOfop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#12.1.1

has super-properties
SéparéeDeop

ExGayHusbandOfop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#12.2.2.1

has super-properties
ExHusbandOfop

ExGayWifeOfop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#12.1.2.1

has super-properties
ExWifeOfop

ExHusbandOfop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#12.2.2

has super-properties
SéparéDeop
has sub-properties
ExGayHusbandOfop, ExPolygynousHusbandOfop, ExStraightHusbandOfop
has domain
Malec
has range
Personc

ExPacséeÀop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#12.1.4

has super-properties
SéparéeDeop

ExPacséÀop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#12.2.4

has super-properties
SéparéDeop

ExPolyandrousWifeOfop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#12.1.2.3

has super-properties
ExWifeOfop

ExPolygynousHusbandOfop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#12.2.2.3

has super-properties
ExHusbandOfop

ExStraightHusbandOfop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#12.2.2.2

has super-properties
ExHusbandOfop

ExStraightWifeOfop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#12.1.2.2

has super-properties
ExWifeOfop

ExWifeOfop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#12.1.2

has super-properties
SéparéeDeop
has sub-properties
ExGayWifeOfop, ExPolyandrousWifeOfop, ExStraightWifeOfop
has domain
Femalec
has range
Personc

FatherOfop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#1.3.2

has super-properties
ParentOfop
has sub-properties
BiologicalFatherOfop, DonorFatherOfop, LegalFatherOfop, NaturalFatherOfop
has domain
Malec
has range
Personc

GayHusbandOfop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#13.2.2.1

has super-properties
HusbandOfop
has domain
Malec
has range
Malec

GayWifeOfop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#13.1.2.1

has super-properties
WifeOfop
has domain
Femalec
has range
Femalec

GivenGirlOfop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#3.1.1.3

has super-properties
DaughterOfop
has domain
Femalec
has range
Personc

GivenSonOfop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#3.1.2.3

has super-properties
SonOfop
has domain
Malec
has range
Personc

GrandChildOfop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#3.2

has equivalent properties
grandchild ofop
has super-properties
DescendantOfop
has sub-properties
GrandDaughterOfop, GrandSonOfop

GrandDaughterOfop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#3.2.1

has super-properties
GrandChildOfop
has domain
Femalec
has range
Personc

GrandFatherOfop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#1.2.2

has super-properties
GrandParentOfop
has domain
Malec
has range
Personc

GrandMotherOfop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#1.2.1

has super-properties
GrandParentOfop
has domain
Femalec
has range
Personc

GrandParentOfop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#1.2

has equivalent properties
grandparent ofop
has super-properties
AncestorOfop
has sub-properties
GrandFatherOfop, GrandMotherOfop

GrandSonOfop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#3.2.2

has super-properties
GrandChildOfop
has domain
Malec
has range
Personc

GreatGrandFatherOfop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#1.1.2

has super-properties
GreatGrandParentOfop
has domain
Malec
has range
Personc

GreatGrandMotherOfop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#1.1.1

has super-properties
GreatGrandParentOfop
has domain
Femalec
has range
Personc

GreatGrandParentOfop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#1.1

has super-properties
AncestorOfop
has sub-properties
GreatGrandFatherOfop, GreatGrandMotherOfop

HalfBrotherOfop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#4.2

has super-properties
HalfSiblingOfop
has domain
Malec
has range
Personc

HalfSiblingOfop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#4

has super-properties
SiblingOfop
has sub-properties
HalfBrotherOfop, HalfSisterOfop
has domain
Personc
has range
Personc

HalfSisterOfop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#4.1

has super-properties
HalfSiblingOfop
has domain
Femalec
has range
Personc

HusbandOfop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#13.2.2

has super-properties
مرتبط ب op
has sub-properties
GayHusbandOfop, PolygynousHusbandOfop, StraightHusbandOfop

LegalFatherOfop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#1.3.2.1

has super-properties
FatherOfop
has domain
Malec
has range
Personc

LegalMotherOfop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#1.3.1.1

has super-properties
MotherOfop
has domain
Femalec
has range
Personc

MotherOfop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#1.3.1

has super-properties
ParentOfop
has sub-properties
BiologicalMotherOfop, EggDonorOfop, LegalMotherOfop, NaturalMotherOfop, SurrogateOfop
has domain
Femalec
has range
Personc

NaturalDaughterOfop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#3.1.1.4

has super-properties
DaughterOfop
has domain
Femalec
has range
Personc

NaturalFatherOfop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#1.3.2.4

has super-properties
FatherOfop
has domain
Malec
has range
Personc

NaturalMotherOfop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#1.3.1.4

has super-properties
MotherOfop
has domain
Femalec
has range
Personc

NaturalSonOfop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#3.1.2.4

has super-properties
SonOfop
has domain
Malec
has range
Personc

NephewOfop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#11

has sub-properties
إبن الأ خت لop, إبن الأخ لop
has domain
Malec
has range
Personc

NieceOfop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#10

has sub-properties
ابنة الاخ لop, ابنة الاخت لop
has domain
Femalec
has range
Personc

PacséeÀop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#13.1.3

has super-properties
مرتبطة بop
has domain
Femalec
has range
Malec

PacséÀop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#13.2.3

has super-properties
مرتبط ب op
has domain
Malec
has range
Femalec

ParentOfop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#1.3

has equivalent properties
parent ofop
has super-properties
AncestorOfop
has sub-properties
FatherOfop, MotherOfop

PartnerOfop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#13

has sub-properties
مرتبط ب op, مرتبطة بop
has domain
Personc
has range
Personc

PolyandrousWifeOfop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#13.1.2.3

has super-properties
WifeOfop
has domain
Femalec
has range
Malec

PolygynousHusbandOfop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#13.2.2.3

has super-properties
HusbandOfop
has domain
Malec
has range
Femalec

SeparatedFromop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#12

has sub-properties
SéparéDeop, SéparéeDeop
has domain
Personc
has range
Personc

SiblingOfop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#5

has equivalent properties
sibling ofop
has sub-properties
BrotherOfop, HalfSiblingOfop, SisterOfop
has domain
Personc
has range
Personc

SisterOfop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#5.1

has super-properties
SiblingOfop
has domain
Femalec
has range
Personc

SonInLawOfop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#7

has domain
Malec
has range
Personc

SonOfop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#3.1.2

has super-properties
ChildOfop
has sub-properties
AdoptedSonOfop, BiologicalSonOfop, GivenSonOfop, NaturalSonOfop, SurrogateSonOfop
has domain
Malec
has range
Personc

StraightHusbandOfop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#13.2.2.2

has super-properties
HusbandOfop
has domain
Malec
has range
Femalec

StraightWifeOfop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#13.1.2.2

has super-properties
WifeOfop
has domain
Femalec
has range
Malec

SurrogateDaughterOfop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#3.1.1.5

has super-properties
DaughterOfop
has domain
Femalec
has range
Personc

SurrogateOfop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#1.3.1.5

has super-properties
MotherOfop
has domain
Femalec
has range
Personc

SurrogateSonOfop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#3.1.2.5

has super-properties
SonOfop
has domain
Malec
has range
Personc

SéparéDeop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#12.2

has super-properties
SeparatedFromop
has sub-properties
ExCommonLawHusbandOfop, ExHusbandOfop, ExPacséÀop, WidowerOfop
has domain
Malec
has range
Personc

SéparéeDeop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#12.1

has super-properties
SeparatedFromop
has sub-properties
ExCommonLawWifeOfop, ExPacséeÀop, ExWifeOfop, WidowOfop
has domain
Femalec
has range
Personc

UncleOfop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#9

has sub-properties
خال لop, زوج الخالة ل op, زوج العمة لop, عم لop
has domain
Malec
has range
Personc

WidowerOfop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#12.2.3

has super-properties
SéparéDeop
has domain
Malec
has range
Personc

WidowOfop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#12.1.3

has super-properties
SéparéeDeop
has domain
Femalec
has range
Personc

WifeOfop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#13.1.2

has super-properties
مرتبطة بop
has sub-properties
GayWifeOfop, PolyandrousWifeOfop, StraightWifeOfop

إبن الأ خت لop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#11.1

has super-properties
NephewOfop
has domain
Malec
has range
Personc

إبن الأخ لop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#11.2

has super-properties
NephewOfop
has domain
Malec
has range
Personc

إبن خالة لop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#2.2.3

has super-properties
CousinDeop
has domain
Malec
has range
Personc

إبن عمة لop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#2.2.4

has super-properties
CousinDeop
has domain
Malec
has range
Personc

إبنة خالة لop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#2.1.3

has super-properties
CousineDeop
has domain
Femalec
has range
Personc

إبنة عمة لop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#2.1.4

has super-properties
CousineDeop
has domain
Femalec
has range
Personc

ابن خال ل op back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#2.2.1

has super-properties
CousinDeop
has domain
Malec
has range
Personc

ابن عم لop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#2.2.2

has super-properties
CousinDeop
has domain
Malec
has range
Personc

ابنة الاخ لop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#10.2

has super-properties
NieceOfop
has domain
Femalec
has range
Personc

ابنة الاخت لop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#10.1

has super-properties
NieceOfop
has domain
Femalec
has range
Personc

ابنة خال لop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#2.1.1

has super-properties
CousineDeop
has domain
Femalec
has range
Personc

ابنة عم لop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#2.1.2

has super-properties
CousineDeop
has domain
Femalec
has range
Personc

خال لop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#9.1

has super-properties
UncleOfop
has domain
Malec
has range
Personc

خالة لop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#8.1

has super-properties
AuntOfop
has domain
Femalec
has range
Personc

زوج الخالة ل op back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#9.3

has super-properties
UncleOfop
has domain
Malec
has range
Personc

زوج العمة لop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#9.4

has super-properties
UncleOfop
has domain
Malec
has range
Personc

زوجة الخال لop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#8.3

has super-properties
AuntOfop
has domain
Femalec
has range
Personc

زوجة العم لop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#8.4

has super-properties
AuntOfop
has domain
Femalec
has range
Personc

عم لop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#9.2

has super-properties
UncleOfop
has domain
Malec
has range
Personc

عمة لop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#8.2

has super-properties
AuntOfop
has domain
Femalec
has range
Personc

مرتبط ب op back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#13.2

has super-properties
PartnerOfop
has sub-properties
CommonLawHusbandOfop, HusbandOfop, PacséÀop
has domain
Malec
has range
Personc

مرتبطة بop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#13.1

has super-properties
PartnerOfop
has sub-properties
CommonLawWifeOfop, PacséeÀop, WifeOfop
has domain
Femalec
has range
Personc

Named Individuals

view?id=125ni back to ToC or Named Individual ToC

IRI: http://cedric.cnam.fr/index.php/labo/membre/view?id=125

belongs to
personc

view?id=2201ni back to ToC or Named Individual ToC

IRI: http://cedric.cnam.fr/index.php/labo/membre/view?id=2201

belongs to
personc

~hamdifni back to ToC or Named Individual ToC

IRI: http://cedric.cnam.fr/~hamdif

belongs to
personc

SWRL rules

Rule #1back to ToC

MotherOfop(?z,?a) , SonOfop(?x,?y) , SiblingOfop(?y,?z) -> CousinOfop(?x,?a)

Rule #2back to ToC

Malec(?x) , PartnerOfop(?x,?y) , خالة لop(?y,?z) -> زوج الخالة ل op(?x,?z)

Rule #3back to ToC

PolyandrousWifeOfop(?x,?y) -> مرتبطة بop(?x,?y)

Rule #4back to ToC

MotherOfop(?z,?a) , StraightHusbandOfop(?x,?y) , SisterOfop(?y,?z) -> زوج الخالة ل op(?x,?a)

Rule #5back to ToC

Malec(?x) , PolygynousHusbandOfop(?x,?y) , DaughterOfop(?y,?z) -> SonInLawOfop(?x,?z)

Rule #6back to ToC

ابنة عم لop(?x,?y) -> CousineDeop(?x,?y)

Rule #7back to ToC

Malec(?x) , SonOfop(?x,?y) , HalfBrotherOfop(?y,?z) -> NephewOfop(?x,?z)

Rule #8back to ToC

Femalec(?x) , Malec(?y) , MotherOfop(?z,?a) , PartnerOfop(?x,?y) , SiblingOfop(?y,?z) -> زوجة الخال لop(?x,?a)

Rule #9back to ToC

FatherOfop(?z,?a) , SonOfop(?x,?y) , HalfSiblingOfop(?y,?z) -> CousinDeop(?x,?a)

Rule #10back to ToC

FatherOfop(?y,?z) , ابنة الاخ لop(?x,?y) -> CousineDeop(?x,?z)

Rule #11back to ToC

FatherOfop(?z,?a) , PacséeÀop(?x,?y) , BrotherOfop(?y,?z) -> زوجة العم لop(?x,?a)

Rule #12back to ToC

Femalec(?x) , FatherOfop(?y,?z) , SiblingOfop(?x,?y) -> عمة لop(?x,?z)

Rule #13back to ToC

Malec(?a) , DaughterOfop(?z,?a) , SonOfop(?x,?y) , SonOfop(?y,?z) -> GreatGrandFatherOfop(?a,?x)

Rule #14back to ToC

LegalFatherOfop(?x,?y) -> AncestorOfop(?x,?y)

Rule #15back to ToC

Femalec(?a) , SonOfop(?y,?z) , SonOfop(?z,?a) , BrotherOfop(?x,?y) -> GrandMotherOfop(?a,?x)

Rule #16back to ToC

Femalec(?y) , FatherOfop(?z,?a) , StraightHusbandOfop(?x,?y) , SiblingOfop(?y,?z) -> زوج العمة لop(?x,?a)

Rule #17back to ToC

FatherOfop(?z,?a) , SonOfop(?x,?y) , SisterOfop(?y,?z) -> إبن عمة لop(?x,?a)

Rule #18back to ToC

Femalec(?y) , FatherOfop(?z,?a) , PacséÀop(?x,?y) , SiblingOfop(?y,?z) -> زوج العمة لop(?x,?a)

Rule #19back to ToC

Malec(?x) , DaughterOfop(?y,?z) , SonOfop(?x,?y) -> GrandSonOfop(?x,?z)

Rule #20back to ToC

MotherOfop(?y,?z) , ابنة الاخ لop(?x,?y) -> CousinOfop(?x,?z)

Rule #21back to ToC

FatherOfop(?z,?a) , PolyandrousWifeOfop(?x,?y) , BrotherOfop(?y,?z) -> زوجة العم لop(?x,?a)

Rule #22back to ToC

CousinDeop(?x,?y) -> CousinOfop(?x,?y)

Rule #23back to ToC

PacséeÀop(?x,?y) , خال لop(?y,?z) -> زوجة الخال لop(?x,?z)

Rule #24back to ToC

Femalec(?x) , MotherOfop(?b,?a) , MotherOfop(?z,?x) , FatherOfop(?y,?a) , FatherOfop(?y,?x) -> HalfSisterOfop(?x,?a)

Rule #25back to ToC

StraightWifeOfop(?x,?y) -> مرتبطة بop(?x,?y)

Rule #26back to ToC

Malec(?z) , FatherOfop(?x,?y) , FatherOfop(?y,?z) -> GrandSonOfop(?z,?x)

Rule #27back to ToC

Femalec(?x) , Malec(?y) , MotherOfop(?z,?a) , CommonLawWifeOfop(?x,?y) , SiblingOfop(?y,?z) -> زوجة الخال لop(?x,?a)

Rule #28back to ToC

Malec(?x) , SonOfop(?x,?y) , BrotherOfop(?y,?z) -> NephewOfop(?x,?z)

Rule #29back to ToC

MotherOfop(?z,?a) , PolygynousHusbandOfop(?x,?y) , SisterOfop(?y,?z) -> زوج الخالة ل op(?x,?a)

Rule #30back to ToC

Malec(?z) , DaughterOfop(?x,?y) , DaughterOfop(?y,?z) -> GrandFatherOfop(?z,?x)

Rule #31back to ToC

MotherOfop(?y,?z) , HalfBrotherOfop(?x,?y) -> خال لop(?x,?z)

Rule #32back to ToC

Malec(?y) , GrandMotherOfop(?x,?y) , GrandMotherOfop(?x,?z) -> CousinDeop(?y,?z)

Rule #33back to ToC

SurrogateDaughterOfop(?x,?y) -> DaughterOfop(?x,?y)

Rule #34back to ToC

FatherOfop(?y,?z) , ابنة الاخ لop(?x,?y) -> ابنة عم لop(?x,?z)

Rule #35back to ToC

SonOfop(?x,?y) , AuntOfop(?y,?z) -> CousinDeop(?x,?z)

Rule #36back to ToC

MotherOfop(?y,?z) , SisterOfop(?x,?y) -> خالة لop(?x,?z)

Rule #37back to ToC

NaturalDaughterOfop(?x,?y) -> DescendantOfop(?x,?y)

Rule #38back to ToC

Femalec(?y) , Malec(?x) , SonOfop(?x,?y) , SiblingOfop(?y,?z) -> إبن الأ خت لop(?x,?z)

Rule #39back to ToC

MotherOfop(?y,?z) , MotherOfop(?z,?a) , FatherOfop(?x,?y) -> GreatGrandFatherOfop(?x,?a)

Rule #40back to ToC

Femalec(?x) , FatherOfop(?y,?z) , SisterOfop(?x,?y) -> AuntOfop(?x,?z)

Rule #41back to ToC

MotherOfop(?z,?a) , DaughterOfop(?x,?y) , HalfSisterOfop(?y,?z) -> CousineDeop(?x,?a)

Rule #42back to ToC

SonOfop(?x,?y) , عمة لop(?y,?z) -> CousinDeop(?x,?z)

Rule #43back to ToC

MotherOfop(?y,?z) , HalfSisterOfop(?x,?y) -> خالة لop(?x,?z)

Rule #44back to ToC

Femalec(?x) , Malec(?y) , DaughterOfop(?x,?y) , HalfSiblingOfop(?y,?z) -> NieceOfop(?x,?z)

Rule #45back to ToC

Femalec(?z) , GrandSonOfop(?y,?z) , SiblingOfop(?x,?y) -> GrandMotherOfop(?z,?x)

Rule #46back to ToC

FatherOfop(?z,?a) , PacséÀop(?x,?y) , HalfSisterOfop(?y,?z) -> زوج العمة لop(?x,?a)

Rule #47back to ToC

Malec(?x) , SonOfop(?x,?y) , SonOfop(?y,?z) -> GrandSonOfop(?x,?z)

Rule #48back to ToC

MotherOfop(?x,?y) , FatherOfop(?y,?z) -> GrandMotherOfop(?x,?z)

Rule #49back to ToC

SonOfop(?x,?y) , خال لop(?y,?z) -> ابن خال ل op(?x,?z)

Rule #50back to ToC

Malec(?x) , MotherOfop(?z,?a) , PartnerOfop(?x,?y) , HalfSisterOfop(?y,?z) -> زوج الخالة ل op(?x,?a)

Rule #51back to ToC

عمة لop(?x,?y) -> AuntOfop(?x,?y)

Rule #52back to ToC

Femalec(?z) , GrandDaughterOfop(?y,?z) , SisterOfop(?x,?y) -> GrandMotherOfop(?z,?x)

Rule #53back to ToC

Femalec(?x) , MotherOfop(?y,?z) , HalfSiblingOfop(?x,?y) -> AuntOfop(?x,?z)

Rule #54back to ToC

SurrogateOfop(?x,?y) -> AncestorOfop(?x,?y)

Rule #55back to ToC

Femalec(?x) , Malec(?y) , MotherOfop(?z,?a) , مرتبطة بop(?x,?y) , HalfSiblingOfop(?y,?z) -> زوجة الخال لop(?x,?a)

Rule #56back to ToC

Femalec(?x) , MotherOfop(?y,?z) , HalfSisterOfop(?x,?y) -> AuntOfop(?x,?z)

Rule #57back to ToC

StraightWifeOfop(?x,?y) , عم لop(?y,?z) -> زوجة العم لop(?x,?z)

Rule #58back to ToC

FatherOfop(?y,?z) , NieceOfop(?x,?y) -> CousineDeop(?x,?z)

Rule #59back to ToC

FatherOfop(?z,?a) , SonOfop(?x,?y) , HalfSisterOfop(?y,?z) -> إبن عمة لop(?x,?a)

Rule #60back to ToC

NaturalFatherOfop(?x,?y) -> AncestorOfop(?x,?y)

Rule #61back to ToC

FatherOfop(?z,?a) , SonOfop(?x,?y) , BrotherOfop(?y,?z) -> ابن عم لop(?x,?a)

Rule #62back to ToC

DaughterOfop(?x,?y) , عمة لop(?y,?z) -> CousineDeop(?x,?z)

Rule #63back to ToC

FatherOfop(?x,?y) -> AncestorOfop(?x,?y)

Rule #64back to ToC

GivenGirlOfop(?x,?y) -> DaughterOfop(?x,?y)

Rule #65back to ToC

CommonLawHusbandOfop(?x,?y) , عمة لop(?y,?z) -> زوج العمة لop(?x,?z)

Rule #66back to ToC

SurrogateSonOfop(?x,?y) -> SonOfop(?x,?y)

Rule #67back to ToC

FatherOfop(?y,?z) , HalfSisterOfop(?x,?y) -> عمة لop(?x,?z)

Rule #68back to ToC

WidowerOfop(?x,?y) -> SeparatedFromop(?x,?y)

Rule #69back to ToC

MotherOfop(?z,?a) , CommonLawHusbandOfop(?x,?y) , HalfSisterOfop(?y,?z) -> زوج الخالة ل op(?x,?a)

Rule #70back to ToC

FatherOfop(?x,?y) , SiblingOfop(?y,?z) -> FatherOfop(?x,?z)

Rule #71back to ToC

Malec(?z) , FatherOfop(?x,?y) , SiblingOfop(?y,?z) -> SonOfop(?z,?x)

Rule #72back to ToC

MotherOfop(?x,?y) , SisterOfop(?y,?z) -> MotherOfop(?x,?z)

Rule #73back to ToC

MotherOfop(?z,?a) , SonOfop(?x,?y) , HalfSisterOfop(?y,?z) -> CousinDeop(?x,?a)

Rule #74back to ToC

CommonLawHusbandOfop(?x,?y) -> PartnerOfop(?x,?y)

Rule #75back to ToC

Femalec(?a) , DaughterOfop(?y,?z) , SonOfop(?z,?a) , BrotherOfop(?x,?y) -> GrandMotherOfop(?a,?x)

Rule #76back to ToC

Femalec(?x) , PartnerOfop(?x,?y) , DaughterOfop(?y,?z) -> DaughterInLawOfop(?x,?z)

Rule #77back to ToC

NaturalSonOfop(?x,?y) -> DescendantOfop(?x,?y)

Rule #78back to ToC

BiologicalSonOfop(?x,?y) -> DescendantOfop(?x,?y)

Rule #79back to ToC

خال لop(?x,?y) -> UncleOfop(?x,?y)

Rule #80back to ToC

Malec(?x) , GayHusbandOfop(?x,?y) , SonOfop(?y,?z) -> SonInLawOfop(?x,?z)

Rule #81back to ToC

Femalec(?z) , MotherOfop(?x,?y) , SiblingOfop(?y,?z) -> DaughterOfop(?z,?x)

Rule #82back to ToC

Femalec(?x) , Femalec(?y) , DaughterOfop(?x,?y) , HalfSiblingOfop(?y,?z) -> NieceOfop(?x,?z)

Rule #83back to ToC

Malec(?x) , MotherOfop(?b,?a) , MotherOfop(?z,?x) , FatherOfop(?y,?a) , FatherOfop(?y,?x) -> HalfBrotherOfop(?x,?a)

Rule #84back to ToC

Malec(?a) , DaughterOfop(?x,?y) , DaughterOfop(?y,?z) , SonOfop(?z,?a) -> GreatGrandFatherOfop(?a,?x)

Rule #85back to ToC

MotherOfop(?y,?z) , FatherOfop(?x,?y) -> GrandFatherOfop(?x,?a)

Rule #86back to ToC

GreatGrandFatherOfop(?x,?y) -> AncestorOfop(?x,?y)

Rule #87back to ToC

Malec(?x) , SonOfop(?x,?y) , SisterOfop(?y,?z) -> NephewOfop(?x,?z)

Rule #88back to ToC

Femalec(?x) , MotherOfop(?y,?z) , HalfSiblingOfop(?x,?y) -> خالة لop(?x,?z)

Rule #89back to ToC

MotherOfop(?z,?a) , SonOfop(?x,?y) , BrotherOfop(?y,?z) -> ابن خال ل op(?x,?a)

Rule #90back to ToC

FatherOfop(?z,?a) , DaughterOfop(?x,?y) , HalfSisterOfop(?y,?z) -> CousineDeop(?x,?a)

Rule #91back to ToC

SonOfop(?x,?y) , خالة لop(?y,?z) -> CousinOfop(?x,?z)

Rule #92back to ToC

Femalec(?x) , CommonLawWifeOfop(?x,?y) , خال لop(?y,?z) -> زوجة الخال لop(?x,?z)

Rule #93back to ToC

AdoptedDaughterOfop(?x,?y) -> DescendantOfop(?x,?y)

Rule #94back to ToC

FatherOfop(?z,?a) , CommonLawWifeOfop(?x,?y) , HalfBrotherOfop(?y,?z) -> زوجة العم لop(?x,?a)

Rule #95back to ToC

EggDonorOfop(?x,?y) -> MotherOfop(?x,?y)

Rule #96back to ToC

Malec(?x) , SonOfop(?x,?y) , SiblingOfop(?y,?z) -> NephewOfop(?x,?z)

Rule #97back to ToC

StraightHusbandOfop(?x,?y) , عمة لop(?y,?z) -> زوج العمة لop(?x,?z)

Rule #98back to ToC

FatherOfop(?z,?a) , PolygynousHusbandOfop(?x,?y) , HalfSisterOfop(?y,?z) -> زوج العمة لop(?x,?a)

Rule #99back to ToC

Femalec(?x) , DaughterOfop(?x,?y) , HalfSiblingOfop(?y,?z) -> NieceOfop(?x,?z)

Rule #100back to ToC

Femalec(?a) , DaughterOfop(?y,?z) , SonOfop(?z,?a) , SisterOfop(?x,?y) -> GrandMotherOfop(?a,?x)

Rule #101back to ToC

Malec(?a) , DaughterOfop(?y,?z) , SonOfop(?z,?a) , BrotherOfop(?x,?y) -> GrandFatherOfop(?a,?x)

Rule #102back to ToC

Femalec(?x) , Malec(?y) , DaughterOfop(?x,?y) , SiblingOfop(?y,?z) -> NieceOfop(?x,?z)

Rule #103back to ToC

Malec(?z) , DaughterOfop(?y,?z) , SonOfop(?x,?y) -> GrandFatherOfop(?z,?x)

Rule #104back to ToC

Femalec(?z) , MotherOfop(?x,?y) , FatherOfop(?y,?z) -> GrandDaughterOfop(?z,?x)

Rule #105back to ToC

DaughterOfop(?x,?y) , خالة لop(?y,?z) -> CousinOfop(?x,?z)

Rule #106back to ToC

Malec(?x) , CommonLawHusbandOfop(?x,?y) , DaughterOfop(?y,?z) -> SonInLawOfop(?x,?z)

Rule #107back to ToC

Malec(?x) , FatherOfop(?z,?a) , PartnerOfop(?x,?y) , SisterOfop(?y,?z) -> زوج العمة لop(?x,?a)

Rule #108back to ToC

إبنة عمة لop(?x,?y) -> CousinOfop(?x,?y)

Rule #109back to ToC

FatherOfop(?y,?z) , NieceOfop(?x,?y) -> CousinOfop(?x,?z)

Rule #110back to ToC

FatherOfop(?x,?y) , SisterOfop(?y,?z) -> FatherOfop(?x,?z)

Rule #111back to ToC

Femalec(?x) , DaughterOfop(?x,?y) , SonOfop(?y,?z) -> GrandDaughterOfop(?x,?z)

Rule #112back to ToC

Malec(?z) , MotherOfop(?x,?y) , BrotherOfop(?y,?z) -> SonOfop(?z,?x)

Rule #113back to ToC

MotherOfop(?y,?z) , NephewOfop(?x,?y) -> CousinDeop(?x,?z)

Rule #114back to ToC

SisterOfop(?x,?y) -> SiblingOfop(?x,?y)

Rule #115back to ToC

MotherOfop(?x,?y) , FatherOfop(?y,?z) , FatherOfop(?z,?a) -> GreatGrandMotherOfop(?x,?a)

Rule #116back to ToC

Femalec(?a) , DaughterOfop(?z,?a) , SonOfop(?y,?z) , SisterOfop(?x,?y) -> GrandMotherOfop(?a,?x)

Rule #117back to ToC

GrandFatherOfop(?y,?z) , MotherOfop(?x,?y) -> GreatGrandMotherOfop(?x,?z)

Rule #118back to ToC

Malec(?a) , DaughterOfop(?y,?z) , DaughterOfop(?z,?a) , SiblingOfop(?x,?y) -> GrandFatherOfop(?a,?x)

Rule #119back to ToC

Malec(?x) , FatherOfop(?y,?z) , SiblingOfop(?x,?y) -> UncleOfop(?x,?z)

Rule #120back to ToC

إبن الأخ لop(?x,?y) -> NephewOfop(?x,?y)

Rule #121back to ToC

Malec(?y) , FatherOfop(?z,?a) , PacséeÀop(?x,?y) , HalfSiblingOfop(?y,?z) -> زوجة العم لop(?x,?a)

Rule #122back to ToC

Femalec(?x) , MotherOfop(?z,?a) , PartnerOfop(?x,?y) , HalfBrotherOfop(?y,?z) -> زوجة الخال لop(?x,?a)

Rule #123back to ToC

MotherOfop(?x,?y) , MotherOfop(?y,?z) -> GrandMotherOfop(?x,?z)

Rule #124back to ToC

Femalec(?x) , SiblingOfop(?x,?y) -> SisterOfop(?x,?y)

Rule #125back to ToC

MotherOfop(?z,?a) , PacséeÀop(?x,?y) , BrotherOfop(?y,?z) -> زوجة الخال لop(?x,?a)

Rule #126back to ToC

FatherOfop(?y,?z) , ابنة الاخت لop(?x,?y) -> CousinOfop(?x,?z)

Rule #127back to ToC

MotherOfop(?y,?z) , ابنة الاخ لop(?x,?y) -> ابنة خال لop(?x,?z)

Rule #128back to ToC

Femalec(?x) , FatherOfop(?y,?z) , HalfSiblingOfop(?x,?y) -> AuntOfop(?x,?z)

Rule #129back to ToC

ابنة الاخ لop(?x,?y) -> NieceOfop(?x,?y)

Rule #130back to ToC

MotherOfop(?y,?a) , MotherOfop(?y,?x) , FatherOfop(?z,?a) , FatherOfop(?z,?x) -> SiblingOfop(?x,?a)

Rule #131back to ToC

DaughterOfop(?x,?y) , عمة لop(?y,?z) -> إبنة عمة لop(?x,?z)

Rule #132back to ToC

Malec(?x) , MotherOfop(?y,?z) , SiblingOfop(?x,?y) -> خال لop(?x,?z)

Rule #133back to ToC

Femalec(?x) , StraightWifeOfop(?x,?y) , خال لop(?y,?z) -> زوجة الخال لop(?x,?z)

Rule #134back to ToC

Femalec(?x) , MotherOfop(?y,?z) , SiblingOfop(?x,?y) -> خالة لop(?x,?z)

Rule #135back to ToC

Malec(?x) , MotherOfop(?y,?a) , MotherOfop(?y,?x) , FatherOfop(?b,?a) , FatherOfop(?z,?x) -> HalfBrotherOfop(?x,?a)

Rule #136back to ToC

Malec(?x) , PartnerOfop(?x,?y) , DaughterOfop(?y,?z) -> SonInLawOfop(?x,?z)

Rule #137back to ToC

Malec(?z) , SonOfop(?x,?y) , SonOfop(?y,?z) -> GrandFatherOfop(?z,?x)

Rule #138back to ToC

FatherOfop(?y,?z) , إبن الأ خت لop(?x,?y) -> إبن عمة لop(?x,?z)

Rule #139back to ToC

MotherOfop(?z,?a) , SonOfop(?x,?y) , HalfBrotherOfop(?y,?z) -> CousinOfop(?x,?a)

Rule #140back to ToC

MotherOfop(?y,?a) , MotherOfop(?y,?x) , FatherOfop(?b,?a) , FatherOfop(?z,?x) -> HalfSiblingOfop(?x,?a)

Rule #141back to ToC

SonOfop(?x,?y) -> DescendantOfop(?x,?y)

Rule #142back to ToC

MotherOfop(?y,?z) , BrotherOfop(?x,?y) -> خال لop(?x,?z)

Rule #143back to ToC

Malec(?z) , MotherOfop(?x,?y) , SisterOfop(?y,?z) -> SonOfop(?z,?x)

Rule #144back to ToC

SonOfop(?x,?y) , خالة لop(?y,?z) -> إبن خالة لop(?x,?z)

Rule #145back to ToC

Femalec(?y) , MotherOfop(?z,?a) , CommonLawHusbandOfop(?x,?y) , SiblingOfop(?y,?z) -> زوج الخالة ل op(?x,?a)

Rule #146back to ToC

WidowerOfop(?x,?y) -> SéparéDeop(?x,?y)

Rule #147back to ToC

SonOfop(?x,?y) , عم لop(?y,?z) -> ابن عم لop(?x,?z)

Rule #148back to ToC

Femalec(?y) , GrandMotherOfop(?x,?y) , GrandMotherOfop(?x,?z) -> CousineDeop(?y,?z)

Rule #149back to ToC

Malec(?y) , MotherOfop(?z,?a) , PacséeÀop(?x,?y) , SiblingOfop(?y,?z) -> زوجة الخال لop(?x,?a)

Rule #150back to ToC

FatherOfop(?z,?a) , DaughterOfop(?x,?y) , SiblingOfop(?y,?z) -> CousinOfop(?x,?a)

Rule #151back to ToC

FatherOfop(?z,?a) , SonOfop(?x,?y) , HalfSiblingOfop(?y,?z) -> CousinOfop(?x,?a)

Rule #152back to ToC

Femalec(?z) , DaughterOfop(?x,?y) , DaughterOfop(?y,?z) -> GrandMotherOfop(?z,?x)

Rule #153back to ToC

FatherOfop(?x,?y) , FatherOfop(?y,?z) , FatherOfop(?z,?a) -> GreatGrandFatherOfop(?x,?a)

Rule #154back to ToC

FatherOfop(?z,?a) , SonOfop(?x,?y) , SisterOfop(?y,?z) -> CousinDeop(?x,?a)

Rule #155back to ToC

Femalec(?z) , FatherOfop(?x,?y) , SisterOfop(?y,?z) -> DaughterOfop(?z,?x)

Rule #156back to ToC

FatherOfop(?y,?z) , إبن الأ خت لop(?x,?y) -> CousinOfop(?x,?z)

Rule #157back to ToC

FatherOfop(?z,?a) , DaughterOfop(?x,?y) , SisterOfop(?y,?z) -> CousinOfop(?x,?a)

Rule #158back to ToC

Femalec(?z) , MotherOfop(?y,?z) , FatherOfop(?x,?y) -> GrandDaughterOfop(?z,?x)

Rule #159back to ToC

SonOfop(?x,?y) , عم لop(?y,?z) -> CousinDeop(?x,?z)

Rule #160back to ToC

Femalec(?y) , MotherOfop(?z,?a) , PacséÀop(?x,?y) , HalfSiblingOfop(?y,?z) -> زوج الخالة ل op(?x,?a)

Rule #161back to ToC

GayHusbandOfop(?x,?y) -> PartnerOfop(?x,?y)

Rule #162back to ToC

MotherOfop(?y,?z) , إبن الأخ لop(?x,?y) -> CousinOfop(?x,?z)

Rule #163back to ToC

Malec(?x) , MotherOfop(?z,?a) , PartnerOfop(?x,?y) , SisterOfop(?y,?z) -> زوج الخالة ل op(?x,?a)

Rule #164back to ToC

Malec(?x) , MotherOfop(?y,?z) , SiblingOfop(?x,?y) -> UncleOfop(?x,?z)

Rule #165back to ToC

Malec(?z) , DaughterOfop(?x,?y) , SonOfop(?y,?z) -> GrandFatherOfop(?z,?x)

Rule #166back to ToC

MotherOfop(?z,?a) , مرتبط ب op(?x,?y) , HalfSisterOfop(?y,?z) -> زوج الخالة ل op(?x,?a)

Rule #167back to ToC

GayHusbandOfop(?x,?y) -> مرتبط ب op(?x,?y)

Rule #168back to ToC

MotherOfop(?x,?y) , SiblingOfop(?y,?z) -> MotherOfop(?x,?z)

Rule #169back to ToC

MotherOfop(?z,?a) , SonOfop(?x,?y) , HalfSisterOfop(?y,?z) -> CousinOfop(?x,?a)

Rule #170back to ToC

Malec(?x) , FatherOfop(?y,?z) , HalfSiblingOfop(?x,?y) -> عم لop(?x,?z)

Rule #171back to ToC

Malec(?y) , GrandFatherOfop(?x,?y) , GrandFatherOfop(?x,?z) -> CousinDeop(?y,?z)

Rule #172back to ToC

Malec(?x) , SeparatedFromop(?x,?y) -> SéparéDeop(?x,?y)

Rule #173back to ToC

BiologicalDaughterOfop(?x,?y) -> DescendantOfop(?x,?y)

Rule #174back to ToC

MotherOfop(?y,?z) , HalfBrotherOfop(?x,?y) -> UncleOfop(?x,?z)

Rule #175back to ToC

MotherOfop(?y,?z) , ابنة الاخ لop(?x,?y) -> CousineDeop(?x,?z)

Rule #176back to ToC

LegalFatherOfop(?x,?y) -> FatherOfop(?x,?y)

Rule #177back to ToC

PolygynousHusbandOfop(?x,?y) -> PartnerOfop(?x,?y)

Rule #178back to ToC

Femalec(?x) , Malec(?y) , MotherOfop(?z,?a) , StraightWifeOfop(?x,?y) , HalfSiblingOfop(?y,?z) -> زوجة الخال لop(?x,?a)

Rule #179back to ToC

Femalec(?y) , FatherOfop(?z,?a) , PolygynousHusbandOfop(?x,?y) , HalfSiblingOfop(?y,?z) -> زوج العمة لop(?x,?a)

Rule #180back to ToC

Femalec(?z) , MotherOfop(?x,?y) , MotherOfop(?y,?z) -> GrandDaughterOfop(?z,?x)

Rule #181back to ToC

FatherOfop(?z,?a) , PacséÀop(?x,?y) , SisterOfop(?y,?z) -> زوج العمة لop(?x,?a)

Rule #182back to ToC

Femalec(?a) , SonOfop(?x,?y) , SonOfop(?y,?z) , SonOfop(?z,?a) -> GreatGrandMotherOfop(?a,?x)

Rule #183back to ToC

DaughterOfop(?x,?y) , AuntOfop(?y,?z) -> CousinOfop(?x,?z)

Rule #184back to ToC

BiologicalMotherOfop(?x,?y) -> AncestorOfop(?x,?y)

Rule #185back to ToC

NaturalDaughterOfop(?x,?y) -> DaughterOfop(?x,?y)

Rule #186back to ToC

MotherOfop(?z,?a) , SonOfop(?x,?y) , HalfSiblingOfop(?y,?z) -> CousinDeop(?x,?a)

Rule #187back to ToC

SonOfop(?x,?y) , عمة لop(?y,?z) -> إبن عمة لop(?x,?z)

Rule #188back to ToC

Femalec(?y) , FatherOfop(?z,?a) , PacséÀop(?x,?y) , HalfSiblingOfop(?y,?z) -> زوج العمة لop(?x,?a)

Rule #189back to ToC

Femalec(?x) , MotherOfop(?z,?a) , CommonLawWifeOfop(?x,?y) , BrotherOfop(?y,?z) -> زوجة الخال لop(?x,?a)

Rule #190back to ToC

Malec(?z) , FatherOfop(?x,?y) , SisterOfop(?y,?z) -> SonOfop(?z,?x)

Rule #191back to ToC

MotherOfop(?x,?y) -> AncestorOfop(?x,?y)

Rule #192back to ToC

FatherOfop(?y,?z) , HalfBrotherOfop(?x,?y) -> عم لop(?x,?z)

Rule #193back to ToC

GrandMotherOfop(?y,?z) , MotherOfop(?x,?y) -> GreatGrandMotherOfop(?x,?z)

Rule #194back to ToC

Femalec(?z) , DaughterOfop(?y,?z) , SonOfop(?x,?y) -> GrandMotherOfop(?z,?x)

Rule #195back to ToC

SurrogateSonOfop(?x,?y) -> DescendantOfop(?x,?y)

Rule #196back to ToC

Femalec(?x) , Malec(?y) , MotherOfop(?z,?a) , مرتبطة بop(?x,?y) , SiblingOfop(?y,?z) -> زوجة الخال لop(?x,?a)

Rule #197back to ToC

Femalec(?x) , PartnerOfop(?x,?y) , عم لop(?y,?z) -> زوجة العم لop(?x,?z)

Rule #198back to ToC

Malec(?z) , GrandDaughterOfop(?y,?z) , SiblingOfop(?x,?y) -> GrandFatherOfop(?z,?x)

Rule #199back to ToC

FatherOfop(?z,?a) , SonOfop(?x,?y) , HalfSisterOfop(?y,?z) -> CousinOfop(?x,?a)

Rule #200back to ToC

إبن خالة لop(?x,?y) -> CousinOfop(?x,?y)

Rule #201back to ToC

Femalec(?z) , GrandSonOfop(?y,?z) , BrotherOfop(?x,?y) -> GrandMotherOfop(?z,?x)

Rule #202back to ToC

ابن عم لop(?x,?y) -> CousinDeop(?x,?y)

Rule #203back to ToC

FatherOfop(?z,?a) , DaughterOfop(?x,?y) , SisterOfop(?y,?z) -> إبنة عمة لop(?x,?a)

Rule #204back to ToC

MotherOfop(?z,?a) , CommonLawHusbandOfop(?x,?y) , SisterOfop(?y,?z) -> زوج الخالة ل op(?x,?a)

Rule #205back to ToC

Femalec(?x) , PolyandrousWifeOfop(?x,?y) , خال لop(?y,?z) -> زوجة الخال لop(?x,?z)

Rule #206back to ToC

ابنة خال لop(?x,?y) -> CousineDeop(?x,?y)

Rule #207back to ToC

PolyandrousWifeOfop(?x,?y) , عم لop(?y,?z) -> زوجة العم لop(?x,?z)

Rule #208back to ToC

SonOfop(?x,?y) , خال لop(?y,?z) -> CousinOfop(?x,?z)

Rule #209back to ToC

FatherOfop(?z,?a) , SonOfop(?x,?y) , BrotherOfop(?y,?z) -> CousinOfop(?x,?a)

Rule #210back to ToC

مرتبط ب op(?x,?y) , عمة لop(?y,?z) -> زوج العمة لop(?x,?z)

Rule #211back to ToC

Malec(?z) , MotherOfop(?x,?y) , SiblingOfop(?y,?z) -> SonOfop(?z,?x)

Rule #212back to ToC

GivenSonOfop(?x,?y) -> DescendantOfop(?x,?y)

Rule #213back to ToC

FatherOfop(?z,?a) , SonOfop(?x,?y) , HalfBrotherOfop(?y,?z) -> ابن عم لop(?x,?a)

Rule #214back to ToC

Femalec(?x) , MotherOfop(?z,?a) , مرتبطة بop(?x,?y) , BrotherOfop(?y,?z) -> زوجة الخال لop(?x,?a)

Rule #215back to ToC

Malec(?x) , StraightHusbandOfop(?x,?y) , DaughterOfop(?y,?z) -> SonInLawOfop(?x,?z)

Rule #216back to ToC

FatherOfop(?z,?a) , StraightHusbandOfop(?x,?y) , SisterOfop(?y,?z) -> زوج العمة لop(?x,?a)

Rule #217back to ToC

Femalec(?x) , DaughterOfop(?x,?y) , HalfBrotherOfop(?y,?z) -> ابنة الاخ لop(?x,?z)

Rule #218back to ToC

Femalec(?x) , MotherOfop(?y,?z) , SisterOfop(?x,?y) -> AuntOfop(?x,?z)

Rule #219back to ToC

GrandDaughterOfop(?x,?y) -> DescendantOfop(?x,?y)

Rule #220back to ToC

عم لop(?x,?y) -> UncleOfop(?x,?y)

Rule #221back to ToC

Malec(?a) , DaughterOfop(?x,?y) , DaughterOfop(?y,?z) , DaughterOfop(?z,?a) -> GreatGrandFatherOfop(?a,?x)

Rule #222back to ToC

ExHusbandOfop(?x,?y) -> SeparatedFromop(?x,?y)

Rule #223back to ToC

Femalec(?x) , Malec(?y) , MotherOfop(?z,?a) , PartnerOfop(?x,?y) , HalfSiblingOfop(?y,?z) -> زوجة الخال لop(?x,?a)

Rule #224back to ToC

DaughterOfop(?x,?y) , خالة لop(?y,?z) -> CousineDeop(?x,?z)

Rule #225back to ToC

MotherOfop(?y,?z) , NieceOfop(?x,?y) -> CousinOfop(?x,?z)

Rule #226back to ToC

ابنة خال لop(?x,?y) -> CousinOfop(?x,?y)

Rule #227back to ToC

BiologicalDaughterOfop(?x,?y) -> DaughterOfop(?x,?y)

Rule #228back to ToC

PolyandrousWifeOfop(?x,?y) -> PartnerOfop(?x,?y)

Rule #229back to ToC

Femalec(?x) , DaughterOfop(?x,?y) , DaughterOfop(?y,?z) -> GrandDaughterOfop(?x,?z)

Rule #230back to ToC

Malec(?y) , FatherOfop(?z,?a) , CommonLawWifeOfop(?x,?y) , SiblingOfop(?y,?z) -> زوجة العم لop(?x,?a)

Rule #231back to ToC

BiologicalMotherOfop(?x,?y) -> MotherOfop(?x,?y)

Rule #232back to ToC

Femalec(?y) , MotherOfop(?z,?a) , StraightHusbandOfop(?x,?y) , HalfSiblingOfop(?y,?z) -> زوج الخالة ل op(?x,?a)

Rule #233back to ToC

FatherOfop(?z,?a) , DaughterOfop(?x,?y) , BrotherOfop(?y,?z) -> CousinOfop(?x,?a)

Rule #234back to ToC

Malec(?z) , FatherOfop(?x,?y) , BrotherOfop(?y,?z) -> SonOfop(?z,?x)

Rule #235back to ToC

NaturalFatherOfop(?x,?y) -> FatherOfop(?x,?y)

Rule #236back to ToC

Femalec(?x) , Malec(?y) , MotherOfop(?z,?a) , CommonLawWifeOfop(?x,?y) , HalfSiblingOfop(?y,?z) -> زوجة الخال لop(?z,?a)

Rule #237back to ToC

Malec(?z) , GrandSonOfop(?y,?z) , SiblingOfop(?x,?y) -> GrandFatherOfop(?z,?x)

Rule #238back to ToC

MotherOfop(?z,?a) , DaughterOfop(?x,?y) , BrotherOfop(?y,?z) -> CousinOfop(?x,?a)

Rule #239back to ToC

Femalec(?x) , DaughterOfop(?x,?y) , HalfSisterOfop(?y,?z) -> NieceOfop(?x,?z)

Rule #240back to ToC

MotherOfop(?z,?a) , PacséÀop(?x,?y) , HalfSisterOfop(?y,?z) -> زوج الخالة ل op(?x,?a)

Rule #241back to ToC

MotherOfop(?b,?a) , MotherOfop(?z,?x) , FatherOfop(?y,?a) , FatherOfop(?y,?x) -> HalfSiblingOfop(?x,?a)

Rule #242back to ToC

Malec(?x) , Malec(?y) , SonOfop(?x,?y) , SiblingOfop(?y,?z) -> إبن الأخ لop(?x,?z)

Rule #243back to ToC

Malec(?x) , مرتبط ب op(?x,?y) , SonOfop(?y,?z) -> SonInLawOfop(?x,?z)

Rule #244back to ToC

مرتبط ب op(?x,?y) , خالة لop(?y,?z) -> زوج الخالة ل op(?x,?z)

Rule #245back to ToC

GivenSonOfop(?x,?y) -> SonOfop(?x,?y)

Rule #246back to ToC

FatherOfop(?z,?a) , DaughterOfop(?x,?y) , HalfBrotherOfop(?y,?z) -> CousinOfop(?x,?a)

Rule #247back to ToC

PolygynousHusbandOfop(?x,?y) , عمة لop(?y,?z) -> زوج العمة لop(?x,?z)

Rule #248back to ToC

MotherOfop(?z,?a) , PolyandrousWifeOfop(?x,?y) , HalfBrotherOfop(?y,?z) -> زوجة الخال لop(?x,?a)

Rule #249back to ToC

FatherOfop(?z,?a) , SonOfop(?x,?y) , BrotherOfop(?y,?z) -> CousinDeop(?x,?a)

Rule #250back to ToC

FatherOfop(?y,?z) , إبن الأخ لop(?x,?y) -> CousinOfop(?x,?z)

Rule #251back to ToC

FatherOfop(?z,?a) , DaughterOfop(?x,?y) , HalfSisterOfop(?y,?z) -> إبنة عمة لop(?x,?a)

Rule #252back to ToC

إبنة خالة لop(?x,?y) -> CousinOfop(?x,?y)

Rule #253back to ToC

FatherOfop(?z,?a) , SonOfop(?x,?y) , HalfBrotherOfop(?y,?z) -> CousinDeop(?x,?a)

Rule #254back to ToC

Femalec(?x) , Malec(?y) , DaughterOfop(?x,?y) , SiblingOfop(?y,?z) -> ابنة الاخ لop(?x,?z)

Rule #255back to ToC

FatherOfop(?z,?a) , SonOfop(?x,?y) , SiblingOfop(?y,?z) -> CousinDeop(?x,?a)

Rule #256back to ToC

PacséeÀop(?x,?y) -> PartnerOfop(?x,?y)

Rule #257back to ToC

MotherOfop(?z,?a) , SonOfop(?x,?y) , SisterOfop(?y,?z) -> إبن خالة لop(?x,?a)

Rule #258back to ToC

Malec(?z) , GrandSonOfop(?y,?z) , BrotherOfop(?x,?y) -> GrandFatherOfop(?z,?x)

Rule #259back to ToC

EggDonorOfop(?x,?y) -> AncestorOfop(?x,?y)

Rule #260back to ToC

Femalec(?y) , MotherOfop(?z,?a) , PolygynousHusbandOfop(?x,?y) , SiblingOfop(?y,?z) -> زوج الخالة ل op(?x,?a)

Rule #261back to ToC

Malec(?z) , MotherOfop(?x,?y) , FatherOfop(?y,?z) -> GrandSonOfop(?z,?x)

Rule #262back to ToC

FatherOfop(?z,?a) , StraightHusbandOfop(?x,?y) , HalfSisterOfop(?y,?z) -> زوج العمة لop(?x,?a)

Rule #263back to ToC

DaughterOfop(?x,?y) , خال لop(?y,?z) -> ابنة خال لop(?x,?z)

Rule #264back to ToC

MotherOfop(?z,?a) , PacséeÀop(?x,?y) , HalfBrotherOfop(?y,?z) -> زوجة الخال لop(?x,?a)

Rule #265back to ToC

Femalec(?y) , Malec(?x) , FatherOfop(?z,?a) , PartnerOfop(?x,?y) , HalfSiblingOfop(?y,?z) -> زوج العمة لop(?x,?a)

Rule #266back to ToC

Femalec(?z) , DaughterOfop(?x,?y) , SonOfop(?y,?z) -> GrandMotherOfop(?z,?x)

Rule #267back to ToC

PacséeÀop(?x,?y) , عم لop(?y,?z) -> زوجة العم لop(?x,?z)

Rule #268back to ToC

StraightHusbandOfop(?x,?y) -> SéparéeDeop(?x,?y)

Rule #269back to ToC

MotherOfop(?y,?z) , إبن الأ خت لop(?x,?y) -> CousinDeop(?x,?z)

Rule #270back to ToC

Malec(?y) , FatherOfop(?z,?a) , مرتبطة بop(?x,?y) , SiblingOfop(?y,?z) -> زوجة العم لop(?x,?a)

Rule #271back to ToC

PacséÀop(?x,?y) -> PartnerOfop(?x,?y)

Rule #272back to ToC

Malec(?z) , DaughterOfop(?y,?z) , GrandDaughterOfop(?x,?y) -> GreatGrandFatherOfop(?z,?x)

Rule #273back to ToC

BiologicalFatherOfop(?x,?y) -> FatherOfop(?x,?y)

Rule #274back to ToC

GrandFatherOfop(?x,?y) , GrandFatherOfop(?x,?z) -> CousinOfop(?y,?z)

Rule #275back to ToC

SéparéDeop(?x,?y) -> SeparatedFromop(?x,?y)

Rule #276back to ToC

FatherOfop(?z,?a) , PolyandrousWifeOfop(?x,?y) , HalfBrotherOfop(?y,?z) -> زوجة العم لop(?x,?a)

Rule #277back to ToC

Femalec(?x) , MotherOfop(?z,?a) , CommonLawWifeOfop(?x,?y) , HalfBrotherOfop(?y,?z) -> زوجة الخال لop(?x,?a)

Rule #278back to ToC

Malec(?x) , MotherOfop(?y,?z) , HalfSiblingOfop(?x,?y) -> خال لop(?x,?z)

Rule #279back to ToC

Femalec(?x) , DaughterOfop(?x,?y) , SisterOfop(?y,?z) -> NieceOfop(?x,?z)

Rule #280back to ToC

Malec(?z) , MotherOfop(?x,?y) , MotherOfop(?y,?z) -> GrandSonOfop(?z,?x)

Rule #281back to ToC

Malec(?x) , HalfSiblingOfop(?x,?y) -> HalfBrotherOfop(?x,?y)

Rule #282back to ToC

Malec(?a) , DaughterOfop(?z,?a) , SonOfop(?y,?z) , SisterOfop(?x,?y) -> GrandFatherOfop(?a,?x)

Rule #283back to ToC

Femalec(?a) , DaughterOfop(?x,?y) , DaughterOfop(?y,?z) , DaughterOfop(?z,?a) -> GreatGrandMotherOfop(?a,?x)

Rule #284back to ToC

Femalec(?x) , MotherOfop(?z,?a) , PartnerOfop(?x,?y) , BrotherOfop(?y,?z) -> زوجة الخال لop(?x,?a)

Rule #285back to ToC

MotherOfop(?y,?z) , إبن الأخ لop(?x,?y) -> CousinDeop(?x,?z)

Rule #286back to ToC

Femalec(?z) , SonOfop(?y,?z) , GrandDaughterOfop(?x,?y) -> GreatGrandMotherOfop(?z,?x)

Rule #287back to ToC

GrandSonOfop(?x,?y) -> DescendantOfop(?x,?y)

Rule #288back to ToC

Femalec(?x) , مرتبطة بop(?x,?y) , خال لop(?y,?z) -> زوجة الخال لop(?x,?z)

Rule #289back to ToC

FatherOfop(?z,?a) , DaughterOfop(?x,?y) , SisterOfop(?y,?z) -> CousineDeop(?x,?a)

Rule #290back to ToC

DonorFatherOfop(?x,?y) -> FatherOfop(?x,?y)

Rule #291back to ToC

FatherOfop(?z,?a) , DaughterOfop(?x,?y) , HalfSiblingOfop(?y,?z) -> CousinOfop(?x,?a)

Rule #292back to ToC

BrotherOfop(?x,?y) -> SiblingOfop(?x,?y)

Rule #293back to ToC

PacséÀop(?x,?y) -> مرتبط ب op(?x,?y)

Rule #294back to ToC

ExHusbandOfop(?x,?y) -> SéparéDeop(?x,?y)

Rule #295back to ToC

FatherOfop(?y,?z) , إبن الأخ لop(?x,?y) -> CousinDeop(?x,?z)

Rule #296back to ToC

DaughterOfop(?x,?y) , عم لop(?y,?z) -> ابنة عم لop(?x,?z)

Rule #297back to ToC

Femalec(?a) , DaughterOfop(?y,?z) , SonOfop(?x,?y) , SonOfop(?z,?a) -> GreatGrandMotherOfop(?a,?x)

Rule #298back to ToC

WidowOfop(?x,?y) -> SeparatedFromop(?x,?y)

Rule #299back to ToC

MotherOfop(?x,?y) , BrotherOfop(?y,?z) -> MotherOfop(?x,?z)

Rule #300back to ToC

StraightWifeOfop(?x,?y) -> PartnerOfop(?x,?y)

Rule #301back to ToC

Femalec(?x) , MotherOfop(?y,?z) , SiblingOfop(?x,?y) -> AuntOfop(?x,?z)

Rule #302back to ToC

MotherOfop(?z,?a) , DaughterOfop(?x,?y) , SiblingOfop(?y,?z) -> CousineDeop(?x,?a)

Rule #303back to ToC

FatherOfop(?y,?z) , BrotherOfop(?x,?y) -> UncleOfop(?x,?z)

Rule #304back to ToC

DaughterOfop(?x,?y) , عمة لop(?y,?z) -> CousinOfop(?x,?z)

Rule #305back to ToC

SonOfop(?x,?y) , خال لop(?y,?z) -> CousinDeop(?x,?z)

Rule #306back to ToC

Femalec(?x) , FatherOfop(?z,?a) , PartnerOfop(?x,?y) , HalfBrotherOfop(?y,?z) -> زوجة العم لop(?x,?a)

Rule #307back to ToC

ابنة الاخت لop(?x,?y) -> NieceOfop(?x,?y)

Rule #308back to ToC

Malec(?x) , FatherOfop(?z,?a) , PartnerOfop(?x,?y) , HalfSisterOfop(?y,?z) -> زوج العمة لop(?x,?a)

Rule #309back to ToC

FatherOfop(?z,?a) , DaughterOfop(?x,?y) , HalfSiblingOfop(?y,?z) -> CousineDeop(?x,?a)

Rule #310back to ToC

MotherOfop(?z,?a) , SonOfop(?x,?y) , SisterOfop(?y,?z) -> CousinDeop(?x,?a)

Rule #311back to ToC

AdoptedDaughterOfop(?x,?y) -> DaughterOfop(?x,?y)

Rule #312back to ToC

Femalec(?x) , CousinOfop(?x,?y) -> CousineDeop(?x,?y)

Rule #313back to ToC

Malec(?z) , MotherOfop(?y,?z) , FatherOfop(?x,?y) -> GrandSonOfop(?z,?x)

Rule #314back to ToC

CommonLawWifeOfop(?x,?y) -> PartnerOfop(?x,?y)

Rule #315back to ToC

Femalec(?x) , Malec(?y) , FatherOfop(?z,?a) , PartnerOfop(?x,?y) , HalfSiblingOfop(?y,?z) -> زوجة العم لop(?x,?a)

Rule #316back to ToC

FatherOfop(?y,?z) , إبن الأخ لop(?x,?y) -> ابن عم لop(?x,?z)

Rule #317back to ToC

FatherOfop(?z,?a) , مرتبطة بop(?x,?y) , HalfBrotherOfop(?y,?z) -> زوجة العم لop(?x,?a)

Rule #318back to ToC

Femalec(?x) , DaughterOfop(?x,?y) , BrotherOfop(?y,?z) -> NieceOfop(?x,?z)

Rule #319back to ToC

Femalec(?z) , MotherOfop(?x,?y) , BrotherOfop(?y,?z) -> DaughterOfop(?z,?x)

Rule #320back to ToC

Malec(?y) , FatherOfop(?z,?a) , مرتبطة بop(?x,?y) , HalfSiblingOfop(?y,?z) -> زوجة العم لop(?x,?a)

Rule #321back to ToC

Femalec(?x) , Malec(?y) , FatherOfop(?z,?a) , PartnerOfop(?x,?y) , SiblingOfop(?y,?z) -> زوجة العم لop(?x,?a)

Rule #322back to ToC

Femalec(?a) , DaughterOfop(?y,?z) , DaughterOfop(?z,?a) , BrotherOfop(?x,?y) -> GrandMotherOfop(?a,?x)

Rule #323back to ToC

AdoptedSonOfop(?x,?y) -> DescendantOfop(?x,?y)

Rule #324back to ToC

Femalec(?z) , SonOfop(?y,?z) , GrandSonOfop(?x,?y) -> GreatGrandMotherOfop(?z,?x)

Rule #325back to ToC

GivenGirlOfop(?x,?y) -> DescendantOfop(?x,?y)

Rule #326back to ToC

DaughterOfop(?x,?y) , عم لop(?y,?z) -> CousinOfop(?x,?z)

Rule #327back to ToC

Femalec(?y) , MotherOfop(?z,?a) , مرتبط ب op(?x,?y) , SiblingOfop(?y,?z) -> زوج الخالة ل op(?x,?a)

Rule #328back to ToC

Malec(?x) , FatherOfop(?y,?z) , SiblingOfop(?x,?y) -> عم لop(?x,?z)

Rule #329back to ToC

Malec(?x) , CousinOfop(?x,?y) -> CousinDeop(?x,?y)

Rule #330back to ToC

CommonLawWifeOfop(?x,?y) -> مرتبطة بop(?x,?y)

Rule #331back to ToC

FatherOfop(?z,?a) , SonOfop(?x,?y) , HalfSisterOfop(?y,?z) -> CousinDeop(?x,?a)

Rule #332back to ToC

MotherOfop(?z,?a) , DaughterOfop(?x,?y) , SisterOfop(?y,?z) -> CousinOfop(?x,?a)

Rule #333back to ToC

WidowOfop(?x,?y) -> SéparéeDeop(?x,?y)

Rule #334back to ToC

MotherOfop(?x,?y) , MotherOfop(?y,?z) , MotherOfop(?z,?a) -> GreatGrandMotherOfop(?x,?a)

Rule #335back to ToC

Femalec(?a) , SonOfop(?y,?z) , SonOfop(?z,?a) , SisterOfop(?x,?y) -> GrandMotherOfop(?a,?x)

Rule #336back to ToC

خالة لop(?x,?y) -> AuntOfop(?x,?y)

Rule #337back to ToC

Femalec(?x) , PartnerOfop(?x,?y) , SonOfop(?y,?z) -> DaughterInLawOfop(?x,?z)

Rule #338back to ToC

Malec(?y) , FatherOfop(?z,?a) , StraightWifeOfop(?x,?y) , SiblingOfop(?y,?z) -> زوجة العم لop(?x,?a)

Rule #339back to ToC

Femalec(?x) , FatherOfop(?y,?z) , HalfSisterOfop(?x,?y) -> AuntOfop(?x,?z)

Rule #340back to ToC

Femalec(?x) , DaughterOfop(?x,?y) , HalfSisterOfop(?y,?z) -> ابنة الاخت لop(?x,?z)

Rule #341back to ToC

MotherOfop(?z,?a) , PolygynousHusbandOfop(?x,?y) , HalfSisterOfop(?y,?z) -> زوج الخالة ل op(?x,?a)

Rule #342back to ToC

FatherOfop(?x,?y) , BrotherOfop(?y,?z) -> FatherOfop(?x,?z)

Rule #343back to ToC

Femalec(?y) , Malec(?x) , FatherOfop(?z,?a) , PartnerOfop(?x,?y) , SiblingOfop(?y,?z) -> زوج العمة لop(?x,?a)

Rule #344back to ToC

FatherOfop(?x,?y) , FatherOfop(?y,?z) -> GrandFatherOfop(?x,?a)

Rule #345back to ToC

PolygynousHusbandOfop(?x,?y) , خالة لop(?y,?z) -> زوج الخالة ل op(?x,?z)

Rule #346back to ToC

Femalec(?a) , DaughterOfop(?y,?z) , DaughterOfop(?z,?a) , SiblingOfop(?x,?y) -> GrandMotherOfop(?a,?x)

Rule #347back to ToC

Femalec(?x) , MotherOfop(?z,?a) , StraightWifeOfop(?x,?y) , HalfBrotherOfop(?y,?z) -> زوجة الخال لop(?x,?a)

Rule #348back to ToC

MotherOfop(?z,?a) , SonOfop(?x,?y) , SiblingOfop(?y,?z) -> CousinDeop(?x,?a)

Rule #349back to ToC

CommonLawHusbandOfop(?x,?y) -> مرتبط ب op(?x,?y)

Rule #350back to ToC

Femalec(?y) , FatherOfop(?z,?a) , CommonLawHusbandOfop(?x,?y) , HalfSiblingOfop(?y,?z) -> زوج العمة لop(?x,?a)

Rule #351back to ToC

MotherOfop(?z,?a) , SonOfop(?x,?y) , HalfBrotherOfop(?y,?z) -> CousinDeop(?x,?a)

Rule #352back to ToC

GrandFatherOfop(?y,?z) , FatherOfop(?x,?y) -> GreatGrandFatherOfop(?x,?z)

Rule #353back to ToC

Femalec(?a) , DaughterOfop(?y,?z) , DaughterOfop(?z,?a) , SonOfop(?x,?y) -> GreatGrandMotherOfop(?a,?x)

Rule #354back to ToC

MotherOfop(?y,?z) , NephewOfop(?x,?y) -> CousinOfop(?x,?z)

Rule #355back to ToC

FatherOfop(?z,?a) , DaughterOfop(?x,?y) , BrotherOfop(?y,?z) -> CousineDeop(?x,?a)

Rule #356back to ToC

GayWifeOfop(?x,?y) -> مرتبطة بop(?x,?y)

Rule #357back to ToC

SéparéeDeop(?x,?y) -> SeparatedFromop(?x,?y)

Rule #358back to ToC

Malec(?z) , SonOfop(?y,?z) , GrandSonOfop(?x,?y) -> GreatGrandFatherOfop(?z,?x)

Rule #359back to ToC

Malec(?a) , DaughterOfop(?y,?z) , DaughterOfop(?z,?a) , BrotherOfop(?x,?y) -> GrandFatherOfop(?a,?x)

Rule #360back to ToC

Femalec(?x) , Femalec(?y) , DaughterOfop(?x,?y) , SiblingOfop(?y,?z) -> ابنة الاخت لop(?x,?z)

Rule #361back to ToC

FatherOfop(?y,?z) , NephewOfop(?x,?y) -> CousinDeop(?x,?z)

Rule #362back to ToC

Malec(?a) , DaughterOfop(?z,?a) , SonOfop(?y,?z) , BrotherOfop(?x,?y) -> GrandFatherOfop(?a,?x)

Rule #363back to ToC

DaughterOfop(?x,?y) , UncleOfop(?y,?z) -> CousinOfop(?x,?z)

Rule #364back to ToC

Malec(?y) , FatherOfop(?z,?a) , CommonLawWifeOfop(?x,?y) , HalfSiblingOfop(?y,?z) -> زوجة العم لop(?x,?a)

Rule #365back to ToC

GreatGrandMotherOfop(?x,?y) -> AncestorOfop(?x,?y)

Rule #366back to ToC

Femalec(?x) , مرتبطة بop(?x,?y) , SonOfop(?y,?z) -> DaughterInLawOfop(?x,?z)

Rule #367back to ToC

Femalec(?x) , Femalec(?y) , DaughterOfop(?x,?y) , HalfSiblingOfop(?y,?z) -> ابنة الاخت لop(?x,?z)

Rule #368back to ToC

MotherOfop(?y,?z) , إبن الأخ لop(?x,?y) -> ابن خال ل op(?x,?z)

Rule #369back to ToC

Femalec(?x) , PartnerOfop(?x,?y) , خال لop(?y,?z) -> زوجة الخال لop(?x,?z)

Rule #370back to ToC

Malec(?x) , PartnerOfop(?x,?y) , SonOfop(?y,?z) -> SonInLawOfop(?x,?z)

Rule #371back to ToC

HalfBrotherOfop(?x,?y) -> HalfSiblingOfop(?x,?y)

Rule #372back to ToC

Femalec(?y) , Malec(?x) , SonOfop(?x,?y) , HalfSiblingOfop(?y,?z) -> NephewOfop(?x,?z)

Rule #373back to ToC

Malec(?z) , SonOfop(?y,?z) , GrandDaughterOfop(?x,?y) -> GreatGrandFatherOfop(?z,?x)

Rule #374back to ToC

MotherOfop(?z,?a) , DaughterOfop(?x,?y) , HalfSiblingOfop(?y,?z) -> CousineDeop(?x,?a)

Rule #375back to ToC

GrandFatherOfop(?x,?y) -> AncestorOfop(?x,?y)

Rule #376back to ToC

Malec(?a) , DaughterOfop(?z,?a) , SonOfop(?y,?z) , SiblingOfop(?x,?y) -> GrandFatherOfop(?a,?x)

Rule #377back to ToC

MotherOfop(?z,?a) , SonOfop(?x,?y) , BrotherOfop(?y,?z) -> CousinDeop(?x,?a)

Rule #378back to ToC

Femalec(?x) , MotherOfop(?z,?a) , مرتبطة بop(?x,?y) , HalfBrotherOfop(?y,?z) -> زوجة الخال لop(?x,?a)

Rule #379back to ToC

Femalec(?y) , MotherOfop(?z,?a) , PacséÀop(?x,?y) , SiblingOfop(?y,?z) -> زوج الخالة ل op(?x,?a)

Rule #380back to ToC

FatherOfop(?y,?z) , NephewOfop(?x,?y) -> CousinOfop(?x,?z)

Rule #381back to ToC

Femalec(?x) , مرتبطة بop(?x,?y) , عم لop(?y,?z) -> زوجة العم لop(?x,?z)

Rule #382back to ToC

ExWifeOfop(?x,?y) -> SéparéeDeop(?x,?y)

Rule #383back to ToC

MotherOfop(?y,?z) , BrotherOfop(?x,?y) -> UncleOfop(?x,?z)

Rule #384back to ToC

Malec(?a) , DaughterOfop(?y,?z) , SonOfop(?z,?a) , SiblingOfop(?x,?y) -> GrandFatherOfop(?a,?x)

Rule #385back to ToC

FatherOfop(?z,?a) , DaughterOfop(?x,?y) , SiblingOfop(?y,?z) -> CousineDeop(?x,?a)

Rule #386back to ToC

MotherOfop(?z,?a) , DaughterOfop(?x,?y) , SisterOfop(?y,?z) -> إبنة خالة لop(?x,?a)

Rule #387back to ToC

Malec(?y) , FatherOfop(?z,?a) , PacséeÀop(?x,?y) , SiblingOfop(?y,?z) -> زوجة العم لop(?x,?a)

Rule #388back to ToC

Malec(?a) , DaughterOfop(?x,?y) , DaughterOfop(?z,?a) , SonOfop(?y,?z) -> GreatGrandFatherOfop(?a,?x)

Rule #389back to ToC

MotherOfop(?z,?a) , DaughterOfop(?x,?y) , BrotherOfop(?y,?z) -> ابنة خال لop(?x,?a)

Rule #390back to ToC

إبن الأ خت لop(?x,?y) -> NephewOfop(?x,?y)

Rule #391back to ToC

NaturalSonOfop(?x,?y) -> SonOfop(?x,?y)

Rule #392back to ToC

Femalec(?y) , Malec(?x) , MotherOfop(?z,?a) , PartnerOfop(?x,?y) , HalfSiblingOfop(?y,?z) -> زوج الخالة ل op(?x,?a)

Rule #393back to ToC

Femalec(?a) , SonOfop(?y,?z) , SonOfop(?z,?a) , SiblingOfop(?x,?y) -> GrandMotherOfop(?a,?x)

Rule #394back to ToC

MotherOfop(?z,?a) , SonOfop(?x,?y) , HalfSisterOfop(?y,?z) -> إبن خالة لop(?x,?a)

Rule #395back to ToC

MotherOfop(?y,?z) , NieceOfop(?x,?y) -> CousineDeop(?x,?z)

Rule #396back to ToC

GrandMotherOfop(?x,?y) , GrandMotherOfop(?x,?z) -> CousinOfop(?y,?z)

Rule #397back to ToC

Femalec(?a) , DaughterOfop(?z,?a) , SonOfop(?y,?z) , SiblingOfop(?x,?y) -> GrandMotherOfop(?a,?x)

Rule #398back to ToC

MotherOfop(?z,?a) , SonOfop(?x,?y) , HalfSiblingOfop(?y,?z) -> CousinOfop(?x,?a)

Rule #399back to ToC

Femalec(?y) , FatherOfop(?z,?a) , CommonLawHusbandOfop(?x,?y) , SiblingOfop(?y,?z) -> زوج العمة لop(?x,?a)

Rule #400back to ToC

Malec(?y) , FatherOfop(?z,?a) , PolyandrousWifeOfop(?x,?y) , HalfSiblingOfop(?y,?z) -> زوجة العم لop(?x,?a)

Rule #401back to ToC

FatherOfop(?z,?a) , مرتبطة بop(?x,?y) , BrotherOfop(?y,?z) -> زوجة العم لop(?x,?a)

Rule #402back to ToC

MotherOfop(?z,?a) , DaughterOfop(?x,?y) , HalfBrotherOfop(?y,?z) -> CousineDeop(?x,?a)

Rule #403back to ToC

DaughterOfop(?x,?y) , خال لop(?y,?z) -> CousinOfop(?x,?z)

Rule #404back to ToC

Femalec(?x) , Malec(?y) , MotherOfop(?z,?a) , StraightWifeOfop(?x,?y) , SiblingOfop(?y,?z) -> زوجة الخال لop(?x,?a)

Rule #405back to ToC

Femalec(?x) , CommonLawWifeOfop(?x,?y) , SonOfop(?y,?z) -> DaughterInLawOfop(?x,?z)

Rule #406back to ToC

Femalec(?a) , DaughterOfop(?z,?a) , SonOfop(?y,?z) , BrotherOfop(?x,?y) -> GrandMotherOfop(?a,?x)

Rule #407back to ToC

MotherOfop(?x,?y) , MotherOfop(?z,?a) , FatherOfop(?y,?z) -> GreatGrandMotherOfop(?x,?a)

Rule #408back to ToC

مرتبطة بop(?x,?y) -> PartnerOfop(?x,?y)

Rule #409back to ToC

Femalec(?a) , DaughterOfop(?x,?y) , DaughterOfop(?z,?a) , SonOfop(?y,?z) -> GreatGrandMotherOfop(?a,?x)

Rule #410back to ToC

Malec(?x) , SonOfop(?x,?y) , BrotherOfop(?y,?z) -> إبن الأخ لop(?x,?z)

Rule #411back to ToC

Femalec(?z) , MotherOfop(?x,?y) , SisterOfop(?y,?z) -> DaughterOfop(?z,?x)

Rule #412back to ToC

GayWifeOfop(?x,?y) -> PartnerOfop(?x,?y)

Rule #413back to ToC

HalfSisterOfop(?x,?y) -> HalfSiblingOfop(?x,?y)

Rule #414back to ToC

FatherOfop(?z,?a) , PolygynousHusbandOfop(?x,?y) , SisterOfop(?y,?z) -> زوج العمة لop(?x,?a)

Rule #415back to ToC

Malec(?x) , SonOfop(?x,?y) , SisterOfop(?y,?z) -> إبن الأ خت لop(?x,?z)

Rule #416back to ToC

Femalec(?y) , MotherOfop(?z,?a) , PolygynousHusbandOfop(?x,?y) , HalfSiblingOfop(?y,?z) -> زوج الخالة ل op(?x,?a)

Rule #417back to ToC

Femalec(?x) , DaughterOfop(?x,?y) , SisterOfop(?y,?z) -> ابنة الاخت لop(?x,?a)

Rule #418back to ToC

Malec(?x) , SonOfop(?x,?y) , HalfSisterOfop(?y,?z) -> NephewOfop(?x,?z)

Rule #419back to ToC

Malec(?a) , DaughterOfop(?y,?z) , DaughterOfop(?z,?a) , SonOfop(?x,?y) -> GreatGrandFatherOfop(?a,?x)

Rule #420back to ToC

إبن عمة لop(?x,?y) -> CousinOfop(?x,?y)

Rule #421back to ToC

SurrogateOfop(?x,?y) -> MotherOfop(?x,?y)

Rule #422back to ToC

Femalec(?a) , DaughterOfop(?x,?y) , DaughterOfop(?y,?z) , SonOfop(?z,?a) -> GreatGrandMotherOfop(?a,?x)

Rule #423back to ToC

MotherOfop(?z,?a) , DaughterOfop(?x,?y) , BrotherOfop(?y,?z) -> CousineDeop(?x,?a)

Rule #424back to ToC

زوج الخالة ل op(?x,?y) -> UncleOfop(?x,?y)

Rule #425back to ToC

Malec(?z) , GrandDaughterOfop(?y,?z) , BrotherOfop(?x,?y) -> GrandFatherOfop(?z,?x)

Rule #426back to ToC

Femalec(?x) , FatherOfop(?y,?z) , HalfSiblingOfop(?x,?y) -> عمة لop(?x,?z)

Rule #427back to ToC

SonOfop(?x,?y) , خالة لop(?y,?z) -> CousinDeop(?x,?z)

Rule #428back to ToC

SonOfop(?x,?y) , AuntOfop(?y,?z) -> CousinOfop(?x,?z)

Rule #429back to ToC

Femalec(?a) , DaughterOfop(?y,?z) , DaughterOfop(?z,?a) , SisterOfop(?x,?y) -> GrandMotherOfop(?a,?x)

Rule #430back to ToC

Femalec(?x) , GayWifeOfop(?x,?y) , DaughterOfop(?y,?z) -> DaughterInLawOfop(?x,?z)

Rule #431back to ToC

مرتبط ب op(?x,?y) -> PartnerOfop(?x,?y)

Rule #432back to ToC

Femalec(?x) , مرتبطة بop(?x,?y) , DaughterOfop(?y,?z) -> DaughterInLawOfop(?x,?z)

Rule #433back to ToC

إبن خالة لop(?x,?y) -> CousinDeop(?x,?y)

Rule #434back to ToC

SonOfop(?x,?y) , عم لop(?y,?z) -> CousinOfop(?x,?z)

Rule #435back to ToC

MotherOfop(?y,?z) , ابنة الاخت لop(?x,?y) -> إبنة خالة لop(?x,?z)

Rule #436back to ToC

Femalec(?x) , MotherOfop(?y,?a) , MotherOfop(?y,?x) , FatherOfop(?b,?a) , FatherOfop(?z,?x) -> HalfSisterOfop(?x,?a)

Rule #437back to ToC

FatherOfop(?z,?a) , StraightWifeOfop(?x,?y) , BrotherOfop(?y,?z) -> زوجة العم لop(?x,?a)

Rule #438back to ToC

FatherOfop(?z,?a) , SonOfop(?x,?y) , SiblingOfop(?y,?z) -> CousinOfop(?x,?a)

Rule #439back to ToC

Femalec(?x) , StraightWifeOfop(?x,?y) , SonOfop(?y,?z) -> DaughterInLawOfop(?x,?z)

Rule #440back to ToC

GrandMotherOfop(?x,?y) -> AncestorOfop(?x,?y)

Rule #441back to ToC

DonorFatherOfop(?x,?y) -> AncestorOfop(?x,?y)

Rule #442back to ToC

Femalec(?x) , FatherOfop(?z,?a) , PartnerOfop(?x,?y) , BrotherOfop(?y,?z) -> زوجة العم لop(?x,?a)

Rule #443back to ToC

PacséeÀop(?x,?y) -> مرتبطة بop(?x,?y)

Rule #444back to ToC

Malec(?x) , SiblingOfop(?x,?y) -> BrotherOfop(?x,?y)

Rule #445back to ToC

DaughterOfop(?x,?y) , خال لop(?y,?z) -> CousineDeop(?x,?z)

Rule #446back to ToC

FatherOfop(?y,?z) , ابنة الاخت لop(?x,?y) -> إبنة عمة لop(?x,?z)

Rule #447back to ToC

Malec(?a) , DaughterOfop(?y,?z) , SonOfop(?z,?a) , SisterOfop(?x,?y) -> GrandFatherOfop(?a,?x)

Rule #448back to ToC

MotherOfop(?y,?z) , FatherOfop(?x,?y) , FatherOfop(?z,?a) -> GreatGrandFatherOfop(?x,?a)

Rule #449back to ToC

MotherOfop(?z,?a) , SonOfop(?x,?y) , SisterOfop(?y,?z) -> CousinOfop(?x,?a)

Rule #450back to ToC

CommonLawHusbandOfop(?x,?y) , خالة لop(?y,?z) -> زوج الخالة ل op(?x,?z)

Rule #451back to ToC

Femalec(?x) , MotherOfop(?y,?a) , MotherOfop(?y,?x) , FatherOfop(?z,?a) , FatherOfop(?z,?x) -> SisterOfop(?x,?a)

Rule #452back to ToC

PacséÀop(?x,?y) , خالة لop(?y,?z) -> زوج الخالة ل op(?x,?z)

Rule #453back to ToC

ابن عم لop(?x,?y) -> CousinOfop(?x,?y)

Rule #454back to ToC

MotherOfop(?z,?a) , StraightHusbandOfop(?x,?y) , HalfSisterOfop(?y,?z) -> زوج الخالة ل op(?x,?a)

Rule #455back to ToC

Malec(?x) , PartnerOfop(?x,?y) -> مرتبط ب op(?x,?y)

Rule #456back to ToC

Femalec(?x) , PartnerOfop(?x,?y) -> مرتبطة بop(?x,?y)

Rule #457back to ToC

MotherOfop(?z,?a) , PolyandrousWifeOfop(?x,?y) , BrotherOfop(?y,?z) -> زوجة الخال لop(?x,?a)

Rule #458back to ToC

Femalec(?x) , HalfSiblingOfop(?x,?y) -> HalfSisterOfop(?x,?y)

Rule #459back to ToC

CommonLawWifeOfop(?x,?y) , عم لop(?y,?z) -> زوجة العم لop(?x,?z)

Rule #460back to ToC

Malec(?a) , SonOfop(?y,?z) , SonOfop(?z,?a) , SiblingOfop(?x,?y) -> GrandFatherOfop(?a,?x)

Rule #461back to ToC

Malec(?a) , SonOfop(?x,?y) , SonOfop(?y,?z) , SonOfop(?z,?a) -> GreatGrandFatherOfop(?a,?x)

Rule #462back to ToC

Malec(?x) , MotherOfop(?y,?z) , HalfSiblingOfop(?x,?y) -> UncleOfop(?x,?z)

Rule #463back to ToC

Femalec(?z) , FatherOfop(?x,?y) , FatherOfop(?y,?z) -> GrandDaughterOfop(?z,?x)

Rule #464back to ToC

DaughterOfop(?x,?y) , عم لop(?y,?z) -> CousineDeop(?x,?z)

Rule #465back to ToC

DaughterOfop(?x,?y) -> DescendantOfop(?x,?y)

Rule #466back to ToC

SurrogateDaughterOfop(?x,?y) -> DescendantOfop(?x,?y)

Rule #467back to ToC

MotherOfop(?z,?a) , DaughterOfop(?x,?y) , HalfSisterOfop(?y,?z) -> CousinOfop(?x,?a)

Rule #468back to ToC

MotherOfop(?y,?z) , ابنة الاخت لop(?x,?y) -> CousineDeop(?x,?z)

Rule #469back to ToC

MotherOfop(?z,?a) , PacséÀop(?x,?y) , SisterOfop(?y,?z) -> زوج الخالة ل op(?x,?a)

Rule #470back to ToC

Femalec(?x) , DaughterOfop(?x,?y) , SiblingOfop(?y,?z) -> NieceOfop(?x,?z)

Rule #471back to ToC

MotherOfop(?z,?a) , SonOfop(?x,?y) , HalfBrotherOfop(?y,?z) -> ابن خال ل op(?x,?a)

Rule #472back to ToC

Malec(?y) , MotherOfop(?z,?a) , PacséeÀop(?x,?y) , HalfSiblingOfop(?y,?z) -> زوجة الخال لop(?x,?a)

Rule #473back to ToC

DaughterOfop(?x,?y) , خالة لop(?y,?z) -> إبنة خالة لop(?x,?z)

Rule #474back to ToC

FatherOfop(?z,?a) , DaughterOfop(?x,?y) , BrotherOfop(?y,?z) -> ابنة عم لop(?x,?a)

Rule #475back to ToC

Femalec(?x) , MotherOfop(?z,?a) , StraightWifeOfop(?x,?y) , BrotherOfop(?y,?z) -> زوجة الخال لop(?x,?a)

Rule #476back to ToC

Malec(?x) , مرتبط ب op(?x,?y) , DaughterOfop(?y,?z) -> SonInLawOfop(?x,?z)

Rule #477back to ToC

ابن خال ل op(?x,?y) -> CousinDeop(?x,?y)

Rule #478back to ToC

إبن عمة لop(?x,?y) -> CousinDeop(?x,?y)

Rule #479back to ToC

Femalec(?z) , GrandSonOfop(?y,?z) , SisterOfop(?x,?y) -> GrandMotherOfop(?z,?x)

Rule #480back to ToC

إبنة خالة لop(?x,?y) -> CousineDeop(?x,?y)

Rule #481back to ToC

Femalec(?x) , Femalec(?y) , DaughterOfop(?x,?y) , SiblingOfop(?y,?z) -> NieceOfop(?x,?z)

Rule #482back to ToC

FatherOfop(?y,?z) , HalfBrotherOfop(?x,?y) -> UncleOfop(?x,?z)

Rule #483back to ToC

MotherOfop(?z,?a) , DaughterOfop(?x,?y) , SisterOfop(?y,?z) -> CousineDeop(?x,?a)

Rule #484back to ToC

Malec(?x) , FatherOfop(?y,?z) , HalfSiblingOfop(?x,?y) -> UncleOfop(?x,?z)

Rule #485back to ToC

FatherOfop(?z,?a) , SonOfop(?x,?y) , HalfBrotherOfop(?y,?z) -> CousinOfop(?x,?a)

Rule #486back to ToC

زوجة الخال لop(?x,?y) -> AuntOfop(?x,?y)

Rule #487back to ToC

FatherOfop(?z,?a) , SonOfop(?x,?y) , SisterOfop(?y,?z) -> CousinOfop(?x,?a)

Rule #488back to ToC

Malec(?y) , FatherOfop(?z,?a) , PolyandrousWifeOfop(?x,?y) , SiblingOfop(?y,?z) -> زوجة العم لop(?x,?a)

Rule #489back to ToC

FatherOfop(?z,?a) , DaughterOfop(?x,?y) , HalfBrotherOfop(?y,?z) -> ابنة عم لop(?x,?a)

Rule #490back to ToC

Femalec(?z) , FatherOfop(?x,?y) , BrotherOfop(?y,?z) -> DaughterOfop(?z,?x)

Rule #491back to ToC

زوجة العم لop(?x,?y) -> AuntOfop(?x,?y)

Rule #492back to ToC

Malec(?x) , Malec(?y) , SonOfop(?x,?y) , HalfSiblingOfop(?y,?z) -> إبن الأخ لop(?x,?z)

Rule #493back to ToC

Femalec(?x) , Malec(?y) , MotherOfop(?z,?a) , PolyandrousWifeOfop(?x,?y) , HalfSiblingOfop(?y,?z) -> زوجة الخال لop(?x,?a)

Rule #494back to ToC

Femalec(?x) , PacséeÀop(?x,?y) , SonOfop(?y,?z) -> DaughterInLawOfop(?x,?z)

Rule #495back to ToC

NaturalMotherOfop(?x,?y) -> AncestorOfop(?x,?y)

Rule #496back to ToC

FatherOfop(?y,?z) , BrotherOfop(?x,?y) -> عم لop(?x,?z)

Rule #497back to ToC

MotherOfop(?z,?a) , DaughterOfop(?x,?y) , HalfSisterOfop(?y,?z) -> إبنة خالة لop(?x,?a)

Rule #498back to ToC

Femalec(?a) , DaughterOfop(?x,?y) , SonOfop(?y,?z) , SonOfop(?z,?a) -> GreatGrandMotherOfop(?a,?x)

Rule #499back to ToC

Femalec(?y) , FatherOfop(?z,?a) , PolygynousHusbandOfop(?x,?y) , SiblingOfop(?y,?z) -> زوج العمة لop(?x,?a)

Rule #500back to ToC

Femalec(?x) , Malec(?y) , DaughterOfop(?x,?y) , HalfSiblingOfop(?y,?z) -> ابنة الاخ لop(?x,?z)

Rule #501back to ToC

MotherOfop(?z,?a) , DaughterOfop(?x,?y) , HalfBrotherOfop(?y,?z) -> ابنة خال لop(?x,?a)

Rule #502back to ToC

Femalec(?y) , GrandFatherOfop(?x,?y) , GrandFatherOfop(?x,?z) -> CousineDeop(?y,?z)

Rule #503back to ToC

LegalMotherOfop(?x,?y) -> AncestorOfop(?x,?y)

Rule #504back to ToC

MotherOfop(?y,?z) , إبن الأ خت لop(?x,?y) -> إبن خالة لop(?x,?z)

Rule #505back to ToC

Femalec(?y) , Malec(?x) , MotherOfop(?z,?a) , PartnerOfop(?x,?y) , SiblingOfop(?y,?z) -> زوج الخالة ل op(?x,?a)

Rule #506back to ToC

Malec(?x) , MotherOfop(?y,?a) , MotherOfop(?y,?x) , FatherOfop(?z,?a) , FatherOfop(?z,?x) -> SisterOfop(?x,?a)

Rule #507back to ToC

Femalec(?x) , Malec(?y) , MotherOfop(?z,?a) , PolyandrousWifeOfop(?x,?y) , SiblingOfop(?y,?z) -> زوجة الخال لop(?x,?a)

Rule #508back to ToC

Malec(?z) , DaughterOfop(?y,?z) , GrandSonOfop(?x,?y) -> GreatGrandFatherOfop(?z,?x)

Rule #509back to ToC

DaughterOfop(?x,?y) , UncleOfop(?y,?z) -> CousineDeop(?x,?z)

Rule #510back to ToC

Femalec(?y) , FatherOfop(?z,?a) , StraightHusbandOfop(?x,?y) , HalfSiblingOfop(?y,?z) -> زوج العمة لop(?x,?a)

Rule #511back to ToC

Femalec(?x) , DaughterOfop(?x,?y) , HalfBrotherOfop(?y,?z) -> NieceOfop(?x,?z)

Rule #512back to ToC

MotherOfop(?y,?z) , ابنة الاخت لop(?x,?y) -> CousinOfop(?x,?z)

Rule #513back to ToC

Malec(?z) , GrandSonOfop(?y,?z) , SisterOfop(?x,?y) -> GrandFatherOfop(?z,?x)

Rule #514back to ToC

GrandMotherOfop(?y,?z) , FatherOfop(?x,?y) -> GreatGrandFatherOfop(?x,?z)

Rule #515back to ToC

Femalec(?y) , FatherOfop(?z,?a) , مرتبط ب op(?x,?y) , HalfSiblingOfop(?y,?z) -> زوج العمة لop(?x,?a)

Rule #516back to ToC

Femalec(?z) , GrandDaughterOfop(?y,?z) , BrotherOfop(?x,?y) -> GrandMotherOfop(?z,?x)

Rule #517back to ToC

Malec(?a) , DaughterOfop(?y,?z) , SonOfop(?x,?y) , SonOfop(?z,?a) -> GreatGrandFatherOfop(?a,?x)

Rule #518back to ToC

Femalec(?y) , Malec(?x) , SonOfop(?x,?y) , SiblingOfop(?y,?z) -> NephewOfop(?x,?z)

Rule #519back to ToC

Femalec(?z) , SonOfop(?x,?y) , SonOfop(?y,?z) -> GrandMotherOfop(?z,?x)

Rule #520back to ToC

FatherOfop(?z,?a) , DaughterOfop(?x,?y) , HalfSisterOfop(?y,?z) -> CousinOfop(?x,?a)

Rule #521back to ToC

CousineDeop(?x,?y) -> CousinOfop(?x,?y)

Rule #522back to ToC

MotherOfop(?z,?a) , FatherOfop(?x,?y) , FatherOfop(?y,?z) -> GreatGrandFatherOfop(?x,?a)

Rule #523back to ToC

MotherOfop(?z,?a) , SonOfop(?x,?y) , BrotherOfop(?y,?z) -> CousinOfop(?x,?a)

Rule #524back to ToC

Malec(?x) , PartnerOfop(?x,?y) , عمة لop(?y,?z) -> زوج العمة لop(?x,?z)

Rule #525back to ToC

Malec(?x) , SonOfop(?x,?y) , HalfSisterOfop(?y,?z) -> إبن الأ خت لop(?x,?z)

Rule #526back to ToC

FatherOfop(?y,?z) , ابنة الاخت لop(?x,?y) -> CousineDeop(?x,?z)

Rule #527back to ToC

Femalec(?x) , DaughterOfop(?x,?y) , BrotherOfop(?y,?z) -> ابنة الاخ لop(?x,?z)

Rule #528back to ToC

MotherOfop(?z,?a) , DaughterOfop(?x,?y) , HalfSiblingOfop(?y,?z) -> CousinOfop(?x,?a)

Rule #529back to ToC

Malec(?a) , SonOfop(?y,?z) , SonOfop(?z,?a) , SisterOfop(?x,?y) -> GrandFatherOfop(?a,?x)

Rule #530back to ToC

Malec(?y) , FatherOfop(?z,?a) , StraightWifeOfop(?x,?y) , HalfSiblingOfop(?y,?z) -> زوجة العم لop(?x,?a)

Rule #531back to ToC

StraightHusbandOfop(?x,?y) -> مرتبط ب op(?x,?y)

Rule #532back to ToC

AdoptedSonOfop(?x,?y) -> SonOfop(?x,?y)

Rule #533back to ToC

FatherOfop(?z,?a) , مرتبط ب op(?x,?y) , HalfSisterOfop(?y,?z) -> زوج العمة لop(?x,?a)

Rule #534back to ToC

FatherOfop(?z,?a) , DaughterOfop(?x,?y) , HalfBrotherOfop(?y,?z) -> CousineDeop(?x,?a)

Rule #535back to ToC

Femalec(?z) , DaughterOfop(?y,?z) , GrandSonOfop(?x,?y) -> GreatGrandMotherOfop(?z,?x)

Rule #536back to ToC

Femalec(?z) , GrandDaughterOfop(?y,?z) , SiblingOfop(?x,?y) -> GrandMotherOfop(?z,?x)

Rule #537back to ToC

FatherOfop(?z,?a) , مرتبط ب op(?x,?y) , SisterOfop(?y,?z) -> زوج العمة لop(?x,?a)

Rule #538back to ToC

BiologicalSonOfop(?x,?y) -> SonOfop(?x,?y)

Rule #539back to ToC

Femalec(?y) , MotherOfop(?z,?a) , مرتبط ب op(?x,?y) , HalfSiblingOfop(?y,?z) -> زوج الخالة ل op(?x,?a)

Rule #540back to ToC

FatherOfop(?z,?a) , CommonLawHusbandOfop(?x,?y) , HalfSisterOfop(?y,?z) -> زوج العمة لop(?x,?a)

Rule #541back to ToC

Femalec(?z) , FatherOfop(?x,?y) , SiblingOfop(?y,?z) -> DaughterOfop(?z,?x)

Rule #542back to ToC

Femalec(?y) , MotherOfop(?z,?a) , StraightHusbandOfop(?x,?y) , SiblingOfop(?y,?z) -> زوج الخالة ل op(?x,?a)

Rule #543back to ToC

Malec(?a) , SonOfop(?y,?z) , SonOfop(?z,?a) , BrotherOfop(?x,?y) -> GrandFatherOfop(?a,?x)

Rule #544back to ToC

DaughterOfop(?x,?y) , AuntOfop(?y,?z) -> CousineDeop(?x,?z)

Rule #545back to ToC

MotherOfop(?z,?a) , مرتبط ب op(?x,?y) , SisterOfop(?y,?z) -> زوج الخالة ل op(?x,?a)

Rule #546back to ToC

ابنة عم لop(?x,?y) -> CousinOfop(?x,?y)

Rule #547back to ToC

Femalec(?y) , MotherOfop(?z,?a) , CommonLawHusbandOfop(?x,?y) , HalfSiblingOfop(?y,?z) -> زوج الخالة ل op(?x,?a)

Rule #548back to ToC

Malec(?x) , PacséÀop(?x,?y) , DaughterOfop(?y,?z) -> SonInLawOfop(?x,?z)

Rule #549back to ToC

FatherOfop(?y,?z) , SisterOfop(?x,?y) -> عمة لop(?x,?z)

Rule #550back to ToC

SonOfop(?x,?y) , UncleOfop(?y,?z) -> CousinDeop(?x,?z)

Rule #551back to ToC

BiologicalFatherOfop(?x,?y) -> AncestorOfop(?x,?y)

Rule #552back to ToC

Femalec(?x) , FatherOfop(?y,?z) , SiblingOfop(?x,?y) -> AuntOfop(?x,?z)

Rule #553back to ToC

MotherOfop(?z,?a) , DaughterOfop(?x,?y) , SiblingOfop(?y,?z) -> CousinOfop(?x,?a)

Rule #554back to ToC

Femalec(?a) , DaughterOfop(?y,?z) , SonOfop(?z,?a) , SiblingOfop(?x,?y) -> GrandMotherOfop(?a,?x)

Rule #555back to ToC

PacséÀop(?x,?y) , عمة لop(?y,?z) -> زوج العمة لop(?x,?z)

Rule #556back to ToC

Femalec(?y) , FatherOfop(?z,?a) , مرتبط ب op(?x,?y) , SiblingOfop(?y,?z) -> زوج العمة لop(?x,?a)

Rule #557back to ToC

Malec(?a) , DaughterOfop(?y,?z) , DaughterOfop(?z,?a) , SisterOfop(?x,?y) -> GrandFatherOfop(?a,?x)

Rule #558back to ToC

FatherOfop(?y,?z) , إبن الأ خت لop(?x,?y) -> CousinDeop(?x,?z)

Rule #559back to ToC

NaturalMotherOfop(?x,?y) -> MotherOfop(?x,?y)

Rule #560back to ToC

FatherOfop(?z,?a) , CommonLawWifeOfop(?x,?y) , BrotherOfop(?y,?z) -> زوجة العم لop(?x,?a)

Rule #561back to ToC

Femalec(?y) , Malec(?x) , SonOfop(?x,?y) , HalfSiblingOfop(?y,?z) -> إبن الأ خت لop(?x,?z)

Rule #562back to ToC

SonOfop(?x,?y) , عمة لop(?y,?z) -> CousinOfop(?x,?z)

Rule #563back to ToC

إبنة عمة لop(?x,?y) -> CousineDeop(?x,?y)

Rule #564back to ToC

MotherOfop(?z,?a) , DaughterOfop(?x,?y) , HalfBrotherOfop(?y,?z) -> CousinOfop(?x,?a)

Rule #565back to ToC

Malec(?x) , SonOfop(?x,?y) , HalfBrotherOfop(?y,?z) -> إبن الأخ لop(?x,?z)

Rule #566back to ToC

Malec(?a) , DaughterOfop(?x,?y) , SonOfop(?y,?z) , SonOfop(?z,?a) -> GreatGrandFatherOfop(?a,?x)

Rule #567back to ToC

MotherOfop(?y,?z) , إبن الأ خت لop(?x,?y) -> CousinOfop(?x,?z)

Rule #568back to ToC

ابن خال ل op(?x,?y) -> CousinOfop(?x,?y)

Rule #569back to ToC

Femalec(?a) , DaughterOfop(?z,?a) , SonOfop(?x,?y) , SonOfop(?y,?z) -> GreatGrandMotherOfop(?a,?x)

Rule #570back to ToC

FatherOfop(?z,?a) , StraightWifeOfop(?x,?y) , HalfBrotherOfop(?y,?z) -> زوجة العم لop(?x,?a)

Rule #571back to ToC

FatherOfop(?y,?z) , ابنة الاخ لop(?x,?y) -> CousinOfop(?x,?z)

Rule #572back to ToC

Malec(?z) , GrandDaughterOfop(?y,?z) , SisterOfop(?x,?y) -> GrandFatherOfop(?z,?x)

Rule #573back to ToC

Femalec(?z) , DaughterOfop(?y,?z) , GrandDaughterOfop(?x,?y) -> GreatGrandMotherOfop(?z,?x)

Rule #574back to ToC

LegalMotherOfop(?x,?y) -> MotherOfop(?x,?y)

Rule #575back to ToC

زوج العمة لop(?x,?y) -> UncleOfop(?x,?y)

Rule #576back to ToC

Femalec(?x) , SeparatedFromop(?x,?y) -> SéparéeDeop(?x,?y)

Rule #577back to ToC

Malec(?x) , SonOfop(?x,?y) , HalfSiblingOfop(?y,?z) -> NephewOfop(?x,?z)

Rule #578back to ToC

MotherOfop(?x,?y) , MotherOfop(?y,?z) , FatherOfop(?z,?a) -> GreatGrandMotherOfop(?x,?a)

Rule #579back to ToC

SonOfop(?x,?y) , UncleOfop(?y,?z) -> CousinOfop(?x,?z)

Rule #580back to ToC

PolygynousHusbandOfop(?x,?y) -> مرتبط ب op(?x,?y)

Rule #581back to ToC

Femalec(?x) , PolyandrousWifeOfop(?x,?y) , SonOfop(?y,?z) -> DaughterInLawOfop(?x,?z)

Rule #582back to ToC

ExWifeOfop(?x,?y) -> SeparatedFromop(?x,?y)

Namespace Declarations back to ToC

default namespace
http://cedric.cnam.fr/isid/ontologies/PersonLink.owl#
0-1
http://xmlns.com/foaf/0.1/
cedric-cnam-fr
http://cedric.cnam.fr/
membre
http://cedric.cnam.fr/index.php/labo/membre/
ns
http://creativecommons.org/ns#
owl
http://www.w3.org/2002/07/owl#
rdf
http://www.w3.org/1999/02/22-rdf-syntax-ns#
rdfs
http://www.w3.org/2000/01/rdf-schema#
relationship
http://purl.org/vocab/relationship/
resource
http://fr.dbpedia.org/resource/
swrl
http://www.w3.org/2003/11/swrl#
swrlb
http://www.w3.org/2003/11/swrlb#
terms
http://purl.org/dc/terms/
vann
http://purl.org/vocab/vann/
www-data-gouv-fr
http://www.data.gouv.fr/
xsd
http://www.w3.org/2001/XMLSchema#

This HTML document was obtained by processing the OWL ontology source code through LODE, Live OWL Documentation Environment, developed by Silvio Peroni.