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 16606-16607
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16604-16604	The number 1 argument of sister is an instance of woman
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16605-16605	The number 2 argument of sister is an instance of human
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16601-16601	sister is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16603-16603	sister is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16602-16602	sister is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16600-16600	sister is a subrelation of sibling

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4526-4526
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4525-4525
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4524-4524
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53279-53279
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53278-53278
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53277-53277

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.	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