TreeView Knowledge Base Browser - sibling

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - sibling

sibling

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3699-3700
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16489-16491
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16487-16487	The number 1 argument of sibling is an instance of organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16488-16488	The number 2 argument of sibling is an instance of organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16482-16482	sibling is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16486-16486	sibling is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16483-16483	sibling is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16485-16485	sibling is an instance of symmetric relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16484-16484	sibling is a subrelation of family relation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 529-529
No TPTP formula. May not be expressible in strict first order.	english_format.kif 534-534
No TPTP formula. May not be expressible in strict first order.	french_format.kif 312-312
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 261-261
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2080-2080
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 264-264
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 318-318
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 689-689
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 298-298
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 333-333
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 343-343
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 453-453
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16521-16521	brother is a subrelation of sibling
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16530-16530	sister is a subrelation of sibling
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52922-52922
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 530-530
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52921-52921
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52920-52920

antecedent

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

Merge.kif 16503-16507

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

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23108-23113	A man is the nephew of a human if and only if there exists an organism such that the organism is a sibling of the human and the man is the son of the organism
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23122-23127	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.	Merge.kif 16493-16501	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.	Mid-level-ontology.kif 7492-7499	If a collection is an instance of brood, then for all an organism and another organism if the organism is a member of the collection and the other organism is a member of the collection, then the organism is a sibling of the other organism

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

Show without tree

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