Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| mother |
| appearance as argument number 1 |
|
| (instance mother SingleValuedRelation) | Merge.kif 16760-16760 | mother is an instance of single valued relation |
| (instance mother PartialValuedRelation) | Merge.kif 16761-16761 | mother is an instance of partial valued relation |
| (instance mother BinaryPredicate) | Merge.kif 16762-16762 | mother is an instance of binary predicate |
| (domain mother 1 Organism) | Merge.kif 16768-16768 | The number 1 argument of mother is an instance of organism |
| (domain mother 2 Organism) | Merge.kif 16769-16769 | The number 2 argument of mother is an instance of organism |
| (documentation mother EnglishLanguage "The general relationship of motherhood. (mother ?CHILD ?MOTHER) means that ?MOTHER is the biological mother of ?CHILD.") | Merge.kif 16770-16772 | The number 2 argument of mother is an instance of organism |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (mother ?A ?B) (parent ?A ?B)) |
Merge.kif 16764-16766 | If X is a mother of Y, then X is a parent of Y |
| (=> (mother ?CHILD ?MOTHER) (attribute ?MOTHER Female)) |
Merge.kif 16773-16775 | If X is a mother of Y, then female is an attribute of X |
| consequent |
|
|
| (=> (and (instance ?REP SexualReproduction) (result ?REP ?ORGANISM)) (exists (?MOTHER ?FATHER) (and (mother ?ORGANISM ?MOTHER) (father ?ORGANISM ?FATHER)))) |
Merge.kif 10583-10590 | If X is an instance of sexual reproduction and Y is a result of X, then there exist Z, W such that Z is a mother of Y, and W is a father of Y |
| (=> (and (parent ?CHILD ?PARENT) (instance ?REP SexualReproduction) (agent ?REP ?PARENT) (result ?REP ?CHILD)) (or (mother ?CHILD ?PARENT) (father ?CHILD ?PARENT))) |
Merge.kif 16745-16753 | If X is a parent of Y, Z is an instance of sexual reproduction, X is an agent of Z, and Y is a result of Z, then X is a mother of Y or X is a father of Y |
| (=> (and (parent ?CHILD ?PARENT) (attribute ?PARENT Female)) (mother ?CHILD ?PARENT)) |
Merge.kif 16852-16856 | If X is a parent of Y and female is an attribute of X, then X is a mother of Y |
| (=> (instance ?MULE Mule) (exists (?DONKEY ?HORSE) (and (father ?MULE ?DONKEY) (instance ?DONKEY Donkey) (mother ?MULE ?HORSE) (instance ?HORSE Horse)))) |
Mid-level-ontology.kif 22413-22420 | If X is an instance of mule, then there exist Y, Z such that Y is a father of X, Y is an instance of donkey, Z is a mother of X, and Z is an instance of horse |
| (<=> (cousin ?P1 ?P2) (and (exists (?G1 ?G2) (and (grandmother ?P1 ?G1) (grandfather ?P1 ?G2) (grandmother ?P2 ?G1) (grandfather ?P2 ?G2))) (not (exists (?M ?F) (and (mother ?P1 ?M) (father ?P1 ?F) (mother ?P2 ?M) (father ?P2 ?F)))))) |
Mid-level-ontology.kif 25379-25394 | All of the following hold: (1) X (2) Y are cousins if (3) only if there exist Z (4) W such that the grandmother of X is Z (5) the grandfather of X is W (6) the grandmother of Y is Z (7) the grandfather of Y is W (8) there don't exist V (9) U such that V is a mother of X (10) U is a father of X (11) V is a mother of Y (12) U is a father of Y |
| (=> (grandmother ?H ?P) (exists (?C) (and (mother ?C ?P) (parent ?H ?C)))) |
Mid-level-ontology.kif 25413-25418 | If the grandmother of X is Y, then there exists Z such that Y is a mother of Z and Z is a parent of X |
| (<=> (stepfather ?P ?F) (exists (?M) (and (mother ?P ?M) (spouse ?F ?M) (not (father ?P ?F))))) |
Mid-level-ontology.kif 25470-25477 | X is the stepfather of Y if, only if there exists Z such that Z is a mother of Y, X is the spouse of Z, and X is not a father of Y |
| (<=> (stepmother ?P ?M) (exists (?F) (and (father ?P ?F) (spouse ?M ?F) (not (mother ?P ?M))))) |
Mid-level-ontology.kif 25487-25494 | X is the stepfather of Y if, only if there exists Z such that Z is a father of Y, X is the spouse of Z, and X is not a mother of Y |
| (=> (maternalUncle ?P ?UNC) (exists (?M) (and (mother ?P ?M) (brother ?UNC ?M)))) |
ArabicCulture.kif 576-581 | If the maternal uncle of X is Y, then there exists Z such that Z is a mother of X and Y is the brother of Z |
| (=> (maternalAunt ?P ?AUN) (exists (?M) (and (mother ?P ?M) (sister ?M ?AUN)))) |
ArabicCulture.kif 602-607 | If the maternal aunt of X is Y, then there exists Z such that Z is a mother of X and Z is the sister of Y |
| (=> (mothersBrothersWife ?P ?W) (exists (?M ?UNC) (and (mother ?P ?M) (brother ?M ?UNC) (wife ?UNC ?W)))) |
ArabicCulture.kif 629-635 | If the mother's brother's wife of X is Y, then there exist Z, W such that Z is a mother of X, Z is the brother of W, and W is the wife of Y |
| (=> (mothersSistersHusband ?P ?H) (exists (?M ?AUN) (and (mother ?P ?M) (sister ?M ?AUN) (husband ?AUN ?H)))) |
ArabicCulture.kif 657-663 | If the mother's sister's husband of X is Y, then there exist Z, W such that Z is a mother of X, Z is the sister of W, and W is the husband of Y |
| (=> (mothersBrothersSon ?P ?H) (exists (?M ?UNC) (and (mother ?P ?M) (brother ?M ?UNC) (son ?UNC ?H)))) |
ArabicCulture.kif 699-705 | If the mother's brother's son of X is Y, then there exist Z, W such that Z is a mother of X, Z is the brother of W, and W is the son of Y |
| (=> (mothersBrothersDaughter ?P ?H) (exists (?M ?UNC) (and (mother ?P ?M) (brother ?M ?UNC) (daughter ?UNC ?H)))) |
ArabicCulture.kif 713-719 | If the mother's brother's daughter of X is Y, then there exist Z, W such that Z is a mother of X, Z is the brother of W, and W is the daughter of Y |
| (=> (mothersSistersSon ?P ?H) (exists (?M ?AUN) (and (mother ?P ?M) (sister ?M ?AUN) (son ?AUN ?H)))) |
ArabicCulture.kif 755-761 | If the mother's sister's son of X is Y, then there exist Z, W such that Z is a mother of X, Z is the sister of W, and W is the son of Y |
| (=> (mothersSistersDaughter ?P ?H) (exists (?M ?AUN) (and (mother ?P ?M) (sister ?M ?AUN) (daughter ?AUN ?H)))) |
ArabicCulture.kif 769-775 | If the mother's sister's daughter of X is Y, then there exist Z, W such that Z is a mother of X, Z is the sister of W, and W is the daughter of Y |
| (=> (holdsDuring ?T (attribute ?P BereavedMother)) (exists (?BEFORE ?C) (and (earlier ?BEFORE ?T) (holdsDuring ?BEFORE (mother ?P ?C)) (holdsDuring ?T (attribute ?C Dead))))) |
ArabicCulture.kif 805-811 | If bereaved mother is an attribute of X holds during Y, then there exist Z, W such that Z happens earlier than Y, W is a mother of X holds during Z, and dead is an attribute of W holds during Y |
|