Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| parent |
| appearance as argument number 1 |
|
| (instance parent BinaryPredicate) | Merge.kif 16719-16719 | parent is an instance of binary predicate |
| (instance parent AsymmetricRelation) | Merge.kif 16721-16721 | parent is an instance of asymmetric relation |
| (instance parent IntransitiveRelation) | Merge.kif 16722-16722 | parent is an instance of intransitive relation |
| (instance parent TotalValuedRelation) | Merge.kif 16723-16723 | parent is an instance of total valued relation |
| (domain parent 1 Organism) | Merge.kif 16724-16724 | The number 1 argument of parent is an instance of organism |
| (domain parent 2 Organism) | Merge.kif 16725-16725 | The number 2 argument of parent is an instance of organism |
| (documentation parent EnglishLanguage "The general relationship of parenthood. (parent ?CHILD ?PARENT) means that ?PARENT is a biological parent of ?CHILD.") | Merge.kif 16726-16728 | The number 2 argument of parent is an instance of organism |
| appearance as argument number 2 |
|
|
| (subrelation daughter parent) | Merge.kif 16796-16796 | daughter is a subrelation of parent |
| (subrelation son parent) | Merge.kif 16807-16807 | son is a subrelation of parent |
| (termFormat EnglishLanguage parent "parent") | domainEnglishFormat.kif 44423-44423 | son is a subrelation of parent |
| (termFormat ChineseTraditionalLanguage parent "親") | domainEnglishFormat.kif 44424-44424 | son is a subrelation of parent |
| (termFormat ChineseLanguage parent "亲") | domainEnglishFormat.kif 44425-44425 | son is a subrelation of parent |
| (format EnglishLanguage parent "%2 is %n a parent of %1") | english_format.kif 528-528 | son is a subrelation of parent |
| antecedent |
|
|
| (=> (and (instance ?REP AsexualReproduction) (result ?REP ?ORGANISM) (parent ?ORGANISM ?PARENT1) (parent ?ORGANISM ?PARENT2)) (equal ?PARENT1 ?PARENT2)) |
Merge.kif 10610-10616 | If X is an instance of asexual reproduction, Y is a result of X, Z is a parent of Y, and W is a parent of Y, then equal Z and W |
| (=> (parent ?CHILD ?PARENT) (ancestor ?CHILD ?PARENT)) |
Merge.kif 16730-16732 | If X is a parent of Y, then X is the ancestor of Y |
| (=> (parent ?CHILD ?PARENT) (before (BeginFn (WhenFn ?PARENT)) (BeginFn (WhenFn ?CHILD)))) |
Merge.kif 16734-16736 | If X is a parent of Y, then the beginning of the time of existence of X happens before the beginning of the time of existence of Y |
| (=> (and (parent ?CHILD ?PARENT) (subclass ?CLASS Organism) (instance ?PARENT ?CLASS)) (instance ?CHILD ?CLASS)) |
Merge.kif 16738-16743 | If X is a parent of Y, Z is a subclass of organism, and X is an instance of Z, then Y is an instance of Z |
| (=> (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 ?ORGANISM1 ?PARENT1) (parent ?ORGANISM2 ?PARENT1) (parent ?ORGANISM1 ?PARENT2) (parent ?ORGANISM2 ?PARENT2) (not (equal ?ORGANISM1 ?ORGANISM2)) (not (equal ?PARENT1 ?PARENT2))) (sibling ?ORGANISM1 ?ORGANISM2)) |
Merge.kif 16830-16838 | If All of the following hold: (1) X is a parent of Y (2) X is a parent of Z (3) W is a parent of Y (4) W is a parent of Z (5) equal Y and Z (6) equal X and W, then Y is a sibling of Z |
| (=> (and (sibling ?ORG1 ?ORG2) (parent ?ORG1 ?PARENT)) (parent ?ORG2 ?PARENT)) |
Merge.kif 16840-16844 | If X is a sibling of Y and Z is a parent of X, then Z is a parent 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 |
| (=> (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 |
| (=> (parent ?CHILD ?PARENT) (older ?PARENT ?CHILD)) |
Mid-level-ontology.kif 396-398 | If X is a parent of Y, then Y is an older of X |
| (=> (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 |
| (=> (and (parent ?CHILD ?PARENT) (instance ?CHILD Man)) (son ?CHILD ?PARENT)) |
Mid-level-ontology.kif 25345-25349 | If X is a parent of Y and Y is an instance of man, then Y is the son of X |
| (=> (and (parent ?CHILD ?PARENT) (instance ?CHILD Woman)) (daughter ?CHILD ?PARENT)) |
Mid-level-ontology.kif 25351-25355 | If X is a parent of Y and Y is an instance of woman, then Y is the daughter of X |
| (=> (and (parent ?CHILD ?PARENT1) (parent ?CHILD ?PARENT2) (holdsDuring ?T1 (and (spouse ?PARENT1 ?PARENT2) (cohabitant ?PARENT1 ?PARENT2) (cohabitant ?CHILD ?PARENT1)))) (exists (?FAM) (and (instance ?FAM NuclearFamily) (holdsDuring ?T1 (and (member ?CHILD ?FAM) (member ?PARENT1 ?FAM) (member ?PARENT2 ?FAM)))))) |
Mid-level-ontology.kif 25504-25520 | If X is a parent of Y, Z is a parent of Y, and X is the spouse of Z, Z is a cohabitant of X, and X is a cohabitant of Y holds during W, then there exists V such that V is an instance of nuclear family, Y is a member of V, X is a member of V, and Z is a member of V holds during W |
| (=> (and (parent ?CHILD ?PARENT) (or (instance ?CHILD HumanChild) (instance ?CHILD HumanBaby))) (modalAttribute (exists (?CARE) (and (instance ?CARE ChildCareService) (wants ?PARENT ?CARE))) Possibility)) |
Hotel.kif 1907-1918 | If X is a parent of Y and Y is an instance of human child or Y is an instance of human baby, then the statement there exists Z such that Z is an instance of child-care service and X wants Z has the modal force of possibility |
| consequent |
|
|
| (=> (and (instance ?REP Replication) (agent ?REP ?PARENT) (result ?REP ?CHILD)) (parent ?CHILD ?PARENT)) |
Merge.kif 10563-10568 | If X is an instance of replication, Y is an agent of X, and Z is a result of X, then Y is a parent of Z |
| (=> (equal (ImmediateFamilyFn ?P) ?FAMILY) (forall (?MEMBER) (=> (member ?MEMBER ?FAMILY) (exists (?OTHER) (or (parent ?MEMBER ?OTHER) (parent ?OTHER ?MEMBER)))))) |
Merge.kif 16650-16658 | If equal the immediate family of X and Y, then For all Organism Z: if Z is a member of Y, then there exists W such that W is a parent of Z or Z is a parent of W |
| (=> (equal (ImmediateFamilyFn ?PERSON) ?FAMILY) (exists (?MEMBER) (and (member ?MEMBER ?FAMILY) (or (parent ?MEMBER ?PERSON) (parent ?PERSON ?MEMBER))))) |
Merge.kif 16660-16667 | If equal the immediate family of X and Y, then there exists Z such that Z is a member of Y and X is a parent of Z or Z is a parent of X |
| (=> (instance ?ORGANISM Organism) (exists (?PARENT) (parent ?ORGANISM ?PARENT))) |
Merge.kif 16755-16758 | If X is an instance of organism, then there exists Y such that Y is a parent of X |
| (=> (mother ?A ?B) (parent ?A ?B)) |
Merge.kif 16764-16766 | If X is a mother of Y, then X is a parent of Y |
| (=> (father ?A ?B) (parent ?A ?B)) |
Merge.kif 16781-16783 | If X is a father of Y, then X is a parent of Y |
| (=> (and (sibling ?ORG1 ?ORG2) (parent ?ORG1 ?PARENT)) (parent ?ORG2 ?PARENT)) |
Merge.kif 16840-16844 | If X is a sibling of Y and Z is a parent of X, then Z is a parent of Y |
| (<=> (aunt ?A ?H) (exists (?P) (and (sister ?A ?P) (parent ?H ?P)))) |
Mid-level-ontology.kif 25364-25369 | X is the aunt of Y if, only if there exists Z such that X is the sister of Z, and Z is a parent 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 |
| (=> (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 |
| (<=> (uncle ?U ?H) (exists (?P) (and (brother ?U ?P) (parent ?H ?P)))) |
Mid-level-ontology.kif 25455-25460 | The uncle of X is Y if, only if there exists Z such that Y is the brother of Z, and Z is a parent of X |
| (=> (instance ?SVC ChildCareService) (exists (?CHILD ?SITTER) (and (or (instance ?CHILD HumanChild) (instance ?CHILD HumanBaby)) (serviceProvider ?SVC ?SITTER) (patient ?SVC ?CHILD) (not (parent ?CHILD ?SITTER))))) |
Hotel.kif 1889-1898 | If X is an instance of child-care service, then there exist Y, Z such that Y is an instance of human child or Y is an instance of human baby, Z provides a service during X, Y is a patient of X, and Z is not a parent of Y |
|