TreeView Knowledge Base Browser - fathersBrothersDaughter

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

fathersBrothersDaughter

Sigma KEE - fathersBrothersDaughter

fathersBrothersDaughter

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 684-685
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 682-682	The number 1 argument of fathers brothers daughter is an instance of organism
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 683-683	The number 2 argument of fathers brothers daughter is an instance of organism
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 680-680	fathers brothers daughter is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 681-681	fathers brothers daughter is a subrelation of family relation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3400-3400
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3399-3399
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3398-3398
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23371-23371
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23370-23370
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23369-23369

antecedent

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

ArabicCulture.kif 686-692

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

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