parent - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3689-3690
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16459-16461
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16457-16457	The number 1 argument of parent is an instance of organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16458-16458	The number 2 argument of parent is an instance of organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16454-16454	parent is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16452-16452	parent is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16455-16455	parent is an instance of intransitive relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16456-16456	parent is an instance of total valued relation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 523-523
No TPTP formula. May not be expressible in strict first order.	english_format.kif 528-528
No TPTP formula. May not be expressible in strict first order.	french_format.kif 309-309
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 209-209
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2077-2077
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 261-261
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 315-315
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 680-680
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 247-247
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 330-330
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 337-337
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 400-400
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16529-16529	daughter is a subrelation of parent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16540-16540	son is a subrelation of parent
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44461-44461	son is a subrelation of parent
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 524-524	son is a subrelation of parent
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44460-44460	son is a subrelation of parent
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44459-44459	son is a subrelation of parent
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 206-206	son is a subrelation of parent
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 401-401	son is a subrelation of parent

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 10424-10430	If a process is an instance of asexual reproduction and an organism is a result of the process and another organism is a parent of the organism and a third organism is a parent of the organism, then the other organism is equal to the third organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16585-16589	If an organism is a parent of another organism and female is an attribute of the organism, then the organism is a mother of the other organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16579-16583	If an organism is a parent of another organism and male is an attribute of the organism, then the organism is a father of the other organism
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23970-23974	If an organism is a parent of another organism and the other organism is an instance of man, then the other organism is the son of the organism
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23976-23980	If an organism is a parent of another organism and the other organism is an instance of woman, then the other organism is the daughter of the organism
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23964-23968	If an organism is a parent of another organism and the organism is an instance of man, then the organism is a father of the other organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16478-16486	If an organism is a parent of another organism and a process is an instance of sexual reproduction and the organism is an agent of the process and the other organism is a result of the process, then the organism is a mother of the other organism or the organism is a father of the other organism
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1890-1900	If an organism is a parent of another organism and the other organism is an instance of human child or the other organism is an instance of human baby, then the statement there exists an entity such that the entity is an instance of child-care service and the organism desires the entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16471-16476	If an organism is a parent of another organism and a class is a subclass of organism and the organism is an instance of the class, then the other organism is an instance of the class
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24129-24145	If an organism is a parent of another organism and a third organism is a parent of the other organism and the organism is the spouse of the third organism and the third organism is a cohabitant of the organism and the organism is a cohabitant of the other organism holds during a time position, then there exists an entity such that the entity is an instance of nuclear family and the other organism is a member of the entity and the organism is a member of the entity and the third organism is a member of the entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16563-16571	If an organism is a parent of another organism and the organism is a parent of a third organism and a fourth organism is a parent of the other organism and the fourth organism is a parent of the third organism and the other organism is not equal to the third organism and the organism is not equal to the fourth organism, then the other organism is a sibling of the third organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16573-16577	If an organism is a sibling of another organism and a third organism is a parent of the organism, then the third organism is a parent of the other organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16463-16465	If an organism is a parent of another organism, then the organism is the ancestor of the other organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16467-16469	If an organism is a parent of another organism, then the beginning of the time of existence of the organism happens before the beginning of the time of existence of the other organism
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 406-408	If an organism is a parent of another organism, then the other organism is an older of the organism

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23989-23994	A woman is the aunt of a human if and only if there exists another human such that the woman is the sister of the other human and the other human is a parent of the human
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24080-24085	The uncle of a human is a man if and only if there exists another human such that the man is the brother of the other human and the other human is a parent of the human
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10377-10382	If a process is an instance of replication and an organism is an agent of the process and another organism is a result of the process, then the organism is a parent of the other organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16573-16577	If an organism is a sibling of another organism and a third organism is a parent of the organism, then the third organism is a parent of the other organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16383-16391	If the immediate family of a human is equal to a family group, then for all an organism if the organism is a member of the family group, then there exists another organism such that the other organism is a parent of the organism or the organism is a parent of the other organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16393-16400	If the immediate family of a human is equal to a family group, then there exists an organism such that the organism is a member of the family group and the human is a parent of the organism or the organism is a parent of the human
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16514-16516	If an organism is a father of another organism, then the organism is a parent of the other organism
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24026-24031	If the grandfather of a human is a man, then there exists an organism such that the man is a father of the organism and the organism is a parent of the human
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24038-24043	If the grandmother of a human is a woman, then there exists an organism such that the woman is a mother of the organism and the organism is a parent of the human
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16488-16491	If an organism is an instance of organism, then there exists another organism such that the other organism is a parent of the organism
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1872-1881	If a service is an instance of child-care service, then there exist an organism and another organism such that the organism is an instance of human child or the organism is an instance of human baby and the other organism provides a service during the service and the organism is a patient of the service and the other organism is not a parent of the organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16497-16499	If an organism is a mother of another organism, then the organism is a parent of the other organism

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: