TreeView Knowledge Base Browser - daughter

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	Le nombre 1 argument de daughter est une instance de organisme
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16439-16439	Le nombre 2 argument de daughter est une instance de organisme
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16436-16436	daughter est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16437-16437	daughter est une sous-relation de 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

daughter organisme and organisme
Female est un attribut de organisme

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23123-23128	niece Woman and humain organisme organisme est un fr�re ou une soeur de humain daughter Woman and organisme
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23033-23037	Organisme est un parent de organisme organisme est une instance de Woman daughter organisme and organisme
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 666-672	fathersBrothersDaughter organisme and organisme Man humain Man est le p�re de organisme brother Man and humain daughter humain and organisme
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 714-720	fathersSistersDaughter organisme and organisme Woman humain Woman est le p�re de organisme sister Woman and humain daughter humain and organisme
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 690-696	mothersBrothersDaughter organisme and organisme Man humain Man est la m�re de organisme brother Man and humain daughter humain and organisme
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 738-744	mothersSistersDaughter organisme and organisme Woman humain Woman est la m�re de organisme sister Woman and humain daughter humain and organisme

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