daughter - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - daughter

daughter

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3695-3696
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16440-16442
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16438-16438	The number 1 argument of daughter is an instance of organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16439-16439	The number 2 argument of daughter is an instance of organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16436-16436	daughter is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16437-16437	daughter is a subrelation of parent

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3166-3166
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3165-3165
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3164-3164
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18648-18648
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18647-18647
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18646-18646

antecedent

No TPTP formula. May not be expressible in strict first order.

Merge.kif 16444-16446

If an organism is the daughter of another organism,
then female is an attribute of the organism

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23123-23128	A woman is the niece of a human if and only if there exists an organism such that the organism is a sibling of the human and the woman is the daughter of the organism
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23033-23037	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.	ArabicCulture.kif 666-672	If an organism is the father's brother's daughter of another organism, then there exist a man and a human such that the man is a father of the organism and the man is the brother of the human and the human is the daughter of the other organism
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 714-720	If an organism is the father's sister's daughter of another organism, then there exist a woman and a human such that the woman is a father of the organism and the woman is the sister of the human and the human is the daughter of the other organism
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 690-696	If the mother's brother's daughter of an organism is another organism, then there exist a man and a human such that the man is a mother of the organism and the man is the brother of the human and the human is the daughter of the other organism
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 738-744	If the mother's sister's daughter of an organism is another organism, then there exist a woman and a human such that the woman is a mother of the organism and the woman is the sister of the human and the human is the daughter 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