sister - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - sister

sister

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3703-3704
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16514-16515
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16512-16512	The number 1 argument of sister is an instance of woman
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16513-16513	The number 2 argument of sister is an instance of human
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16509-16509	sister is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16511-16511	sister is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16510-16510	sister is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16508-16508	sister is a subrelation of sibling

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4522-4522
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4521-4521
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4520-4520
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53246-53246
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53245-53245
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53244-53244

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23046-23051	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.	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 630-636	If an organism is the father's sister's husband of a woman, then there exist another woman and a man such that the other woman is a father of the organism and the other woman is the sister of the man and the man is the huband of the woman
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 702-708	If an organism is the father's sister's son 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 son of the other organism
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 595-600	If the maternal aunt of an organism is a human, then there exists a woman such that the woman is a mother of the organism and the woman is the sister of the human
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
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 642-648	If the mother's sister's husband of an organism is a woman, then there exist another woman and a man such that the other woman is a mother of the organism and the other woman is the sister of the man and the man is the huband of the woman
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 726-732	If the mother's sister's son 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 son of the other organism
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 584-589	If the paternal aunt of an organism is a human, then there exists a woman such that the woman is a father of the organism and the woman is the sister of the human

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