Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| father |
| appearance as argument number 1 |
|
| (instance father SingleValuedRelation) | Merge.kif 16777-16777 | father is an instance of single valued relation |
| (instance father PartialValuedRelation) | Merge.kif 16778-16778 | father is an instance of partial valued relation |
| (instance father BinaryPredicate) | Merge.kif 16779-16779 | father is an instance of binary predicate |
| (domain father 1 Organism) | Merge.kif 16785-16785 | The number 1 argument of father is an instance of organism |
| (domain father 2 Organism) | Merge.kif 16786-16786 | The number 2 argument of father is an instance of organism |
| (documentation father EnglishLanguage "The general relationship of fatherhood. (father ?CHILD ?FATHER) means that ?FATHER is the biological father of ?CHILD.") | Merge.kif 16787-16789 | The number 2 argument of father is an instance of organism |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (father ?A ?B) (parent ?A ?B)) |
Merge.kif 16781-16783 | If X is a father of Y, then X is a parent of Y |
| (=> (father ?CHILD ?FATHER) (attribute ?FATHER Male)) |
Merge.kif 16791-16793 | If X is a father of Y, then male 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 Male)) (father ?CHILD ?PARENT)) |
Merge.kif 16846-16850 | If X is a parent of Y and male is an attribute of X, then X is a father 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 |
| (=> (and (parent ?CHILD ?PARENT) (instance ?PARENT Man)) (father ?CHILD ?PARENT)) |
Mid-level-ontology.kif 25339-25343 | If X is a parent of Y and X is an instance of man, then X is a father of Y |
| (<=> (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 |
| (=> (grandfather ?H ?P) (exists (?C) (and (father ?C ?P) (parent ?H ?C)))) |
Mid-level-ontology.kif 25401-25406 | If the grandfather of X is Y, then there exists Z such that Y is a father 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 |
| (=> (paternalUncle ?P ?UNC) (exists (?F) (and (father ?P ?F) (brother ?F ?UNC)))) |
ArabicCulture.kif 563-568 | If the paternal uncle of X is Y, then there exists Z such that Z is a father of X and Z is the brother of Y |
| (=> (paternalAunt ?P ?AUN) (exists (?F) (and (father ?P ?F) (sister ?F ?AUN)))) |
ArabicCulture.kif 589-594 | If the paternal aunt of X is Y, then there exists Z such that Z is a father of X and Z is the sister of Y |
| (=> (fathersBrothersWife ?P ?W) (exists (?F ?UNC) (and (father ?P ?F) (brother ?F ?UNC) (wife ?UNC ?W)))) |
ArabicCulture.kif 615-621 | If X is the father's brother's wife of Y, then there exist Z, W such that Z is a father of X, Z is the brother of W, and W is the wife of Y |
| (=> (fathersSistersHusband ?P ?H) (exists (?F ?AUN) (and (father ?P ?F) (sister ?F ?AUN) (husband ?AUN ?H)))) |
ArabicCulture.kif 643-649 | If X is the father's sister's husband of Y, then there exist Z, W such that Z is a father of X, Z is the sister of W, and W is the husband of Y |
| (=> (fathersBrothersSon ?P ?H) (exists (?F ?UNC) (and (father ?P ?F) (brother ?F ?UNC) (son ?UNC ?H)))) |
ArabicCulture.kif 671-677 | If X is the father's brother's son of Y, then there exist Z, W such that Z is a father of X, Z is the brother of W, and W is the son of Y |
| (=> (fathersBrothersDaughter ?P ?H) (exists (?F ?UNC) (and (father ?P ?F) (brother ?F ?UNC) (daughter ?UNC ?H)))) |
ArabicCulture.kif 685-691 | If X is the father's brother's daughter of Y, then there exist Z, W such that Z is a father of X, Z is the brother of W, and W is the daughter of Y |
| (=> (fathersSistersSon ?P ?H) (exists (?F ?AUN) (and (father ?P ?F) (sister ?F ?AUN) (son ?AUN ?H)))) |
ArabicCulture.kif 727-733 | If X is the father's sister's son of Y, then there exist Z, W such that Z is a father of X, Z is the sister of W, and W is the son of Y |
| (=> (fathersSistersDaughter ?P ?H) (exists (?F ?AUN) (and (father ?P ?F) (sister ?F ?AUN) (daughter ?AUN ?H)))) |
ArabicCulture.kif 741-747 | If X is the father's sister's daughter of Y, then there exist Z, W such that Z is a father of X, Z is the sister of W, and W is the daughter of Y |
| (=> (holdsDuring ?T (attribute ?P BereavedFather)) (exists (?BEFORE ?C) (and (earlier ?BEFORE ?T) (holdsDuring ?BEFORE (father ?P ?C)) (holdsDuring ?T (attribute ?C Dead))))) |
ArabicCulture.kif 791-797 | If bereaved father is an attribute of X holds during Y, then there exist Z, W such that Z happens earlier than Y, W is a father of X holds during Z, and dead is an attribute of W holds during Y |
|