A Multilingual and Multicultural Ontology Representing Family Relationships

IRI:
http://cedric.cnam.fr/~hamdif/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/~hamdif/ontologies/PersonLink.owl#Femme

has super-classes
Personc
PacséeÀop exactly 1 Malec
StraightWifeOfop exactly 1 Malec
CommonLawWifeOfop exactly 1 Malec
GayWifeOfop exactly 1 Femalec
PolyandrousWifeOfop min 2 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/~hamdif/ontologies/PersonLink.owl#Homme

has super-classes
Personc
GayHusbandOfop exactly 1 Malec
CommonLawHusbandOfop exactly 1 Femalec
PacséÀop exactly 1 Femalec
PolygynousHusbandOfop min 2 Femalec
StraightHusbandOfop exactly 1 Femalec
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/~hamdif/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/~hamdif/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/~hamdif/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/~hamdif/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/~hamdif/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/~hamdif/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/~hamdif/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/~hamdif/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/~hamdif/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/~hamdif/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/~hamdif/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/~hamdif/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/~hamdif/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/~hamdif/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/~hamdif/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/~hamdif/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/~hamdif/ontologies/PersonLink.owl#6

has domain
Femalec
has range
Personc

DaughterOfop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/~hamdif/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/~hamdif/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/~hamdif/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/~hamdif/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/~hamdif/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/~hamdif/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/~hamdif/ontologies/PersonLink.owl#12.2.2.1

has super-properties
ExHusbandOfop

ExGayWifeOfop back to ToC or Object Property ToC

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

has super-properties
ExWifeOfop

ExHusbandOfop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/~hamdif/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/~hamdif/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/~hamdif/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/~hamdif/ontologies/PersonLink.owl#12.1.2.3

has super-properties
ExWifeOfop

ExPolygynousHusbandOfop back to ToC or Object Property ToC

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

has super-properties
ExHusbandOfop

ExStraightHusbandOfop back to ToC or Object Property ToC

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

has super-properties
ExHusbandOfop

ExStraightWifeOfop back to ToC or Object Property ToC

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

has super-properties
ExWifeOfop

ExWifeOfop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/~hamdif/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/~hamdif/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/~hamdif/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/~hamdif/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/~hamdif/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/~hamdif/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/~hamdif/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/~hamdif/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/~hamdif/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/~hamdif/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/~hamdif/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/~hamdif/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/~hamdif/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/~hamdif/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/~hamdif/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/~hamdif/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/~hamdif/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/~hamdif/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/~hamdif/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/~hamdif/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/~hamdif/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/~hamdif/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/~hamdif/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/~hamdif/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/~hamdif/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/~hamdif/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/~hamdif/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/~hamdif/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/~hamdif/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/~hamdif/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/~hamdif/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/~hamdif/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/~hamdif/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/~hamdif/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/~hamdif/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/~hamdif/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/~hamdif/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/~hamdif/ontologies/PersonLink.owl#7

has domain
Malec
has range
Personc

SonOfop back to ToC or Object Property ToC

IRI: http://cedric.cnam.fr/~hamdif/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/~hamdif/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/~hamdif/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/~hamdif/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/~hamdif/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/~hamdif/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/~hamdif/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/~hamdif/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/~hamdif/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/~hamdif/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/~hamdif/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/~hamdif/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/~hamdif/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/~hamdif/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/~hamdif/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/~hamdif/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/~hamdif/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/~hamdif/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/~hamdif/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/~hamdif/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/~hamdif/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/~hamdif/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/~hamdif/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/~hamdif/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/~hamdif/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/~hamdif/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/~hamdif/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/~hamdif/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/~hamdif/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/~hamdif/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/~hamdif/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/~hamdif/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/~hamdif/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/~hamdif/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

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

Rule #2back to ToC

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

Rule #3back to ToC

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

Rule #4back to ToC

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

Rule #5back to ToC

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

Rule #6back to ToC

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

Rule #7back to ToC

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

Rule #8back to ToC

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

Rule #9back to ToC

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

Rule #10back to ToC

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

Rule #11back to ToC

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

Rule #12back to ToC

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

Rule #13back to ToC

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

Rule #14back to ToC

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

Rule #15back to ToC

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

Rule #16back to ToC

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

Rule #17back to ToC

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

Rule #18back to ToC

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

Rule #19back to ToC

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

Rule #20back to ToC

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

Rule #21back to ToC

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

Rule #22back to ToC

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

Rule #23back to ToC

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

Rule #24back to ToC

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

Rule #25back to ToC

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

Rule #26back to ToC

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

Rule #27back to ToC

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

Rule #28back to ToC

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

Rule #29back to ToC

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

Rule #30back to ToC

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

Rule #31back to ToC

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

Rule #32back to ToC

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

Rule #33back to ToC

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

Rule #34back to ToC

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

Rule #35back to ToC

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

Rule #36back to ToC

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

Rule #37back to ToC

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

Rule #38back to ToC

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

Rule #39back to ToC

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

Rule #40back to ToC

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

Rule #41back to ToC

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

Rule #42back to ToC

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

Rule #43back to ToC

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

Rule #44back to ToC

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

Rule #45back to ToC

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

Rule #46back to ToC

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

Rule #47back to ToC

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

Rule #48back to ToC

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

Rule #49back to ToC

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

Rule #50back to ToC

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

Rule #51back to ToC

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

Rule #52back to ToC

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

Rule #53back to ToC

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

Rule #54back to ToC

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

Rule #55back to ToC

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

Rule #56back to ToC

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

Rule #57back to ToC

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

Rule #58back to ToC

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

Rule #59back to ToC

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

Rule #60back to ToC

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

Rule #61back to ToC

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

Rule #62back to ToC

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

Rule #63back to ToC

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

Rule #64back to ToC

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

Rule #65back to ToC

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

Rule #66back to ToC

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

Rule #67back to ToC

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

Rule #68back to ToC

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

Rule #69back to ToC

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

Rule #70back to ToC

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

Rule #71back to ToC

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

Rule #72back to ToC

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

Rule #73back to ToC

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

Rule #74back to ToC

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

Rule #75back to ToC

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

Rule #76back to ToC

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

Rule #77back to ToC

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

Rule #78back to ToC

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

Rule #79back to ToC

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

Rule #80back to ToC

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

Rule #81back to ToC

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

Rule #82back to ToC

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

Rule #83back to ToC

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

Rule #84back to ToC

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

Rule #85back to ToC

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

Rule #86back to ToC

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

Rule #87back to ToC

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

Rule #88back to ToC

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

Rule #89back to ToC

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

Rule #90back to ToC

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

Rule #91back to ToC

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

Rule #92back to ToC

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

Rule #93back to ToC

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

Rule #94back to ToC

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

Rule #95back to ToC

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

Rule #96back to ToC

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

Rule #97back to ToC

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

Rule #98back to ToC

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

Rule #99back to ToC

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

Rule #100back to ToC

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

Rule #101back to ToC

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

Rule #102back to ToC

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

Rule #103back to ToC

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

Rule #104back to ToC

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

Rule #105back to ToC

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

Rule #106back to ToC

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

Rule #107back to ToC

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

Rule #108back to ToC

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

Rule #109back to ToC

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

Rule #110back to ToC

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

Rule #111back to ToC

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

Rule #112back to ToC

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

Rule #113back to ToC

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

Rule #114back to ToC

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

Rule #115back to ToC

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

Rule #116back to ToC

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

Rule #117back to ToC

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

Rule #118back to ToC

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

Rule #119back to ToC

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

Rule #120back to ToC

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

Rule #121back to ToC

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

Rule #122back to ToC

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

Rule #123back to ToC

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

Rule #124back to ToC

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

Rule #125back to ToC

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

Rule #126back to ToC

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

Rule #127back to ToC

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

Rule #128back to ToC

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

Rule #129back to ToC

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

Rule #130back to ToC

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

Rule #131back to ToC

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

Rule #132back to ToC

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

Rule #133back to ToC

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

Rule #134back to ToC

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

Rule #135back to ToC

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

Rule #136back to ToC

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

Rule #137back to ToC

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

Rule #138back to ToC

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

Rule #139back to ToC

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

Rule #140back to ToC

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

Rule #141back to ToC

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

Rule #142back to ToC

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

Rule #143back to ToC

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

Rule #144back to ToC

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

Rule #145back to ToC

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

Rule #146back to ToC

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

Rule #147back to ToC

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

Rule #148back to ToC

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

Rule #149back to ToC

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

Rule #150back to ToC

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

Rule #151back to ToC

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

Rule #152back to ToC

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

Rule #153back to ToC

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

Rule #154back to ToC

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

Rule #155back to ToC

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

Rule #156back to ToC

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

Rule #157back to ToC

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

Rule #158back to ToC

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

Rule #159back to ToC

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

Rule #160back to ToC

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

Rule #161back to ToC

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

Rule #162back to ToC

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

Rule #163back to ToC

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

Rule #164back to ToC

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

Rule #165back to ToC

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

Rule #166back to ToC

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

Rule #167back to ToC

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

Rule #168back to ToC

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

Rule #169back to ToC

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

Rule #170back to ToC

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

Rule #171back to ToC

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

Rule #172back to ToC

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

Rule #173back to ToC

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

Rule #174back to ToC

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

Rule #175back to ToC

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

Rule #176back to ToC

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

Rule #177back to ToC

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

Rule #178back to ToC

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

Rule #179back to ToC

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

Rule #180back to ToC

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

Rule #181back to ToC

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

Rule #182back to ToC

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

Rule #183back to ToC

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

Rule #184back to ToC

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

Rule #185back to ToC

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

Rule #186back to ToC

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

Rule #187back to ToC

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

Rule #188back to ToC

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

Rule #189back to ToC

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

Rule #190back to ToC

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

Rule #191back to ToC

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

Rule #192back to ToC

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

Rule #193back to ToC

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

Rule #194back to ToC

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

Rule #195back to ToC

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

Rule #196back to ToC

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

Rule #197back to ToC

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

Rule #198back to ToC

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

Rule #199back to ToC

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

Rule #200back to ToC

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

Rule #201back to ToC

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

Rule #202back to ToC

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

Rule #203back to ToC

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

Rule #204back to ToC

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

Rule #205back to ToC

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

Rule #206back to ToC

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

Rule #207back to ToC

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

Rule #208back to ToC

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

Rule #209back to ToC

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

Rule #210back to ToC

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

Rule #211back to ToC

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

Rule #212back to ToC

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

Rule #213back to ToC

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

Rule #214back to ToC

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

Rule #215back to ToC

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

Rule #216back to ToC

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

Rule #217back to ToC

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

Rule #218back to ToC

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

Rule #219back to ToC

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

Rule #220back to ToC

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

Rule #221back to ToC

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

Rule #222back to ToC

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

Rule #223back to ToC

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

Rule #224back to ToC

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

Rule #225back to ToC

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

Rule #226back to ToC

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

Rule #227back to ToC

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

Rule #228back to ToC

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

Rule #229back to ToC

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

Rule #230back to ToC

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

Rule #231back to ToC

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

Rule #232back to ToC

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

Rule #233back to ToC

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

Rule #234back to ToC

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

Rule #235back to ToC

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

Rule #236back to ToC

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

Rule #237back to ToC

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

Rule #238back to ToC

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

Rule #239back to ToC

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

Rule #240back to ToC

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

Rule #241back to ToC

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

Rule #242back to ToC

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

Rule #243back to ToC

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

Rule #244back to ToC

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

Rule #245back to ToC

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

Rule #246back to ToC

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

Rule #247back to ToC

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

Rule #248back to ToC

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

Rule #249back to ToC

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

Rule #250back to ToC

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

Rule #251back to ToC

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

Rule #252back to ToC

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

Rule #253back to ToC

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

Rule #254back to ToC

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

Rule #255back to ToC

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

Rule #256back to ToC

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

Rule #257back to ToC

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

Rule #258back to ToC

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

Rule #259back to ToC

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

Rule #260back to ToC

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

Rule #261back to ToC

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

Rule #262back to ToC

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

Rule #263back to ToC

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

Rule #264back to ToC

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

Rule #265back to ToC

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

Rule #266back to ToC

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

Rule #267back to ToC

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

Rule #268back to ToC

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

Rule #269back to ToC

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

Rule #270back to ToC

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

Rule #271back to ToC

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

Rule #272back to ToC

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

Rule #273back to ToC

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

Rule #274back to ToC

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

Rule #275back to ToC

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

Rule #276back to ToC

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

Rule #277back to ToC

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

Rule #278back to ToC

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

Rule #279back to ToC

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

Rule #280back to ToC

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

Rule #281back to ToC

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

Rule #282back to ToC

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

Rule #283back to ToC

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

Rule #284back to ToC

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

Rule #285back to ToC

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

Rule #286back to ToC

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

Rule #287back to ToC

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

Rule #288back to ToC

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

Rule #289back to ToC

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

Rule #290back to ToC

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

Rule #291back to ToC

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

Rule #292back to ToC

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

Rule #293back to ToC

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

Rule #294back to ToC

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

Rule #295back to ToC

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

Rule #296back to ToC

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

Rule #297back to ToC

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

Rule #298back to ToC

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

Rule #299back to ToC

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

Rule #300back to ToC

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

Rule #301back to ToC

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

Rule #302back to ToC

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

Rule #303back to ToC

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

Rule #304back to ToC

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

Rule #305back to ToC

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

Rule #306back to ToC

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

Rule #307back to ToC

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

Rule #308back to ToC

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

Rule #309back to ToC

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

Rule #310back to ToC

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

Rule #311back to ToC

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

Rule #312back to ToC

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

Rule #313back to ToC

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

Rule #314back to ToC

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

Rule #315back to ToC

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

Rule #316back to ToC

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

Rule #317back to ToC

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

Rule #318back to ToC

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

Rule #319back to ToC

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

Rule #320back to ToC

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

Rule #321back to ToC

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

Rule #322back to ToC

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

Rule #323back to ToC

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

Rule #324back to ToC

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

Rule #325back to ToC

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

Rule #326back to ToC

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

Rule #327back to ToC

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

Rule #328back to ToC

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

Rule #329back to ToC

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

Rule #330back to ToC

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

Rule #331back to ToC

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

Rule #332back to ToC

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

Rule #333back to ToC

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

Rule #334back to ToC

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

Rule #335back to ToC

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

Rule #336back to ToC

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

Rule #337back to ToC

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

Rule #338back to ToC

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

Rule #339back to ToC

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

Rule #340back to ToC

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

Rule #341back to ToC

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

Rule #342back to ToC

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

Rule #343back to ToC

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

Rule #344back to ToC

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

Rule #345back to ToC

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

Rule #346back to ToC

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

Rule #347back to ToC

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

Rule #348back to ToC

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

Rule #349back to ToC

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

Rule #350back to ToC

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

Rule #351back to ToC

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

Rule #352back to ToC

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

Rule #353back to ToC

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

Rule #354back to ToC

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

Rule #355back to ToC

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

Rule #356back to ToC

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

Rule #357back to ToC

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

Rule #358back to ToC

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

Rule #359back to ToC

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

Rule #360back to ToC

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

Rule #361back to ToC

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

Rule #362back to ToC

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

Rule #363back to ToC

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

Rule #364back to ToC

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

Rule #365back to ToC

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

Rule #366back to ToC

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

Rule #367back to ToC

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

Rule #368back to ToC

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

Rule #369back to ToC

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

Rule #370back to ToC

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

Rule #371back to ToC

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

Rule #372back to ToC

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

Rule #373back to ToC

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

Rule #374back to ToC

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

Rule #375back to ToC

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

Rule #376back to ToC

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

Rule #377back to ToC

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

Rule #378back to ToC

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

Rule #379back to ToC

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

Rule #380back to ToC

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

Rule #381back to ToC

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

Rule #382back to ToC

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

Rule #383back to ToC

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

Rule #384back to ToC

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

Rule #385back to ToC

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

Rule #386back to ToC

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

Rule #387back to ToC

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

Rule #388back to ToC

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

Rule #389back to ToC

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

Rule #390back to ToC

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

Rule #391back to ToC

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

Rule #392back to ToC

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

Rule #393back to ToC

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

Rule #394back to ToC

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

Rule #395back to ToC

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

Rule #396back to ToC

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

Rule #397back to ToC

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

Rule #398back to ToC

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

Rule #399back to ToC

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

Rule #400back to ToC

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

Rule #401back to ToC

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

Rule #402back to ToC

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

Rule #403back to ToC

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

Rule #404back to ToC

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

Rule #405back to ToC

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

Rule #406back to ToC

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

Rule #407back to ToC

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

Rule #408back to ToC

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

Rule #409back to ToC

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

Rule #410back to ToC

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

Rule #411back to ToC

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

Rule #412back to ToC

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

Rule #413back to ToC

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

Rule #414back to ToC

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

Rule #415back to ToC

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

Rule #416back to ToC

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

Rule #417back to ToC

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

Rule #418back to ToC

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

Rule #419back to ToC

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

Rule #420back to ToC

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

Rule #421back to ToC

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

Rule #422back to ToC

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

Rule #423back to ToC

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

Rule #424back to ToC

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

Rule #425back to ToC

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

Rule #426back to ToC

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

Rule #427back to ToC

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

Rule #428back to ToC

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

Rule #429back to ToC

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

Rule #430back to ToC

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

Rule #431back to ToC

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

Rule #432back to ToC

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

Rule #433back to ToC

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

Rule #434back to ToC

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

Rule #435back to ToC

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

Rule #436back to ToC

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

Rule #437back to ToC

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

Rule #438back to ToC

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

Rule #439back to ToC

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

Rule #440back to ToC

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

Rule #441back to ToC

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

Rule #442back to ToC

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

Rule #443back to ToC

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

Rule #444back to ToC

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

Rule #445back to ToC

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

Rule #446back to ToC

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

Rule #447back to ToC

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

Rule #448back to ToC

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

Rule #449back to ToC

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

Rule #450back to ToC

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

Rule #451back to ToC

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

Rule #452back to ToC

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

Rule #453back to ToC

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

Rule #454back to ToC

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

Rule #455back to ToC

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

Rule #456back to ToC

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

Rule #457back to ToC

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

Rule #458back to ToC

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

Rule #459back to ToC

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

Rule #460back to ToC

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

Rule #461back to ToC

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

Rule #462back to ToC

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

Rule #463back to ToC

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

Rule #464back to ToC

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

Rule #465back to ToC

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

Rule #466back to ToC

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

Rule #467back to ToC

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

Rule #468back to ToC

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

Rule #469back to ToC

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

Rule #470back to ToC

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

Rule #471back to ToC

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

Rule #472back to ToC

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

Rule #473back to ToC

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

Rule #474back to ToC

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

Rule #475back to ToC

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

Rule #476back to ToC

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

Rule #477back to ToC

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

Rule #478back to ToC

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

Rule #479back to ToC

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

Rule #480back to ToC

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

Rule #481back to ToC

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

Rule #482back to ToC

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

Rule #483back to ToC

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

Rule #484back to ToC

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

Rule #485back to ToC

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

Rule #486back to ToC

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

Rule #487back to ToC

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

Rule #488back to ToC

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

Rule #489back to ToC

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

Rule #490back to ToC

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

Rule #491back to ToC

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

Rule #492back to ToC

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

Rule #493back to ToC

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

Rule #494back to ToC

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

Rule #495back to ToC

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

Rule #496back to ToC

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

Rule #497back to ToC

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

Rule #498back to ToC

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

Rule #499back to ToC

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

Rule #500back to ToC

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

Rule #501back to ToC

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

Rule #502back to ToC

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

Rule #503back to ToC

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

Rule #504back to ToC

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

Rule #505back to ToC

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

Rule #506back to ToC

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

Rule #507back to ToC

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

Rule #508back to ToC

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

Rule #509back to ToC

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

Rule #510back to ToC

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

Rule #511back to ToC

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

Rule #512back to ToC

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

Rule #513back to ToC

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

Rule #514back to ToC

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

Rule #515back to ToC

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

Rule #516back to ToC

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

Rule #517back to ToC

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

Rule #518back to ToC

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

Rule #519back to ToC

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

Rule #520back to ToC

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

Rule #521back to ToC

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

Rule #522back to ToC

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

Rule #523back to ToC

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

Rule #524back to ToC

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

Rule #525back to ToC

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

Rule #526back to ToC

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

Rule #527back to ToC

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

Rule #528back to ToC

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

Rule #529back to ToC

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

Rule #530back to ToC

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

Rule #531back to ToC

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

Rule #532back to ToC

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

Rule #533back to ToC

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

Rule #534back to ToC

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

Rule #535back to ToC

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

Rule #536back to ToC

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

Rule #537back to ToC

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

Rule #538back to ToC

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

Rule #539back to ToC

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

Rule #540back to ToC

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

Rule #541back to ToC

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

Rule #542back to ToC

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

Rule #543back to ToC

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

Rule #544back to ToC

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

Rule #545back to ToC

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

Rule #546back to ToC

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

Rule #547back to ToC

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

Rule #548back to ToC

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

Rule #549back to ToC

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

Rule #550back to ToC

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

Rule #551back to ToC

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

Rule #552back to ToC

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

Rule #553back to ToC

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

Rule #554back to ToC

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

Rule #555back to ToC

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

Rule #556back to ToC

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

Rule #557back to ToC

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

Rule #558back to ToC

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

Rule #559back to ToC

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

Rule #560back to ToC

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

Rule #561back to ToC

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

Rule #562back to ToC

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

Rule #563back to ToC

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

Rule #564back to ToC

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

Rule #565back to ToC

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

Rule #566back to ToC

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

Rule #567back to ToC

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

Rule #568back to ToC

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

Rule #569back to ToC

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

Rule #570back to ToC

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

Rule #571back to ToC

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

Rule #572back to ToC

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

Rule #573back to ToC

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

Rule #574back to ToC

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

Rule #575back to ToC

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

Rule #576back to ToC

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

Rule #577back to ToC

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

Rule #578back to ToC

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

Rule #579back to ToC

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

Rule #580back to ToC

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

Rule #581back to ToC

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

Rule #582back to ToC

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

Namespace Declarations back to ToC

default namespace
http://cedric.cnam.fr/~hamdif/ontologies/PersonLink.owl#
cc
http://creativecommons.org/ns#
cedric-cnam-fr
http://cedric.cnam.fr/
dc
http://purl.org/dc/terms/
foaf
http://xmlns.com/foaf/0.1/
membre
http://cedric.cnam.fr/index.php/labo/membre/
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#
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.