TreeView Knowledge Base Browser - brother

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - brother

brother

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3701-3702
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16576-16577
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16574-16574	O argumento numero 1 de brother e' uma instancia de Man
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16575-16575	O argumento numero 2 de brother e' uma instancia de Humano
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16571-16571	brother e' uma instancia de Relacao Irreflexiva
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16573-16573	brother e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16572-16572	brother e' uma instancia de Relacao Transitiva
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16570-16570	brother e' uma sub-relacao de sibling

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2922-2922
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2921-2921
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2920-2920
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 12125-12125
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 12124-12124
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 12123-12123

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23189-23194	uncle Man and Humano Humano brother Man and Humano Humano e' um genitor de Humano
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 666-672	fathersBrothersDaughter Organismo and Organismo Man Humano Man e' o pai de Organismo brother Man and Humano daughter Humano and Organismo
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 654-660	fathersBrothersSon Organismo and Organismo Man Humano Man e' o pai de Organismo brother Man and Humano son Humano and Organismo
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 606-612	fathersBrothersWife Organismo and Man Man Woman Man e' o pai de Organismo brother Man and Woman wife Woman and Man
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 573-578	maternalUncle Organismo and Man Humano Humano e' a mae de Organismo brother Man and Humano
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 690-696	mothersBrothersDaughter Organismo and Organismo Man Humano Man e' a mae de Organismo brother Man and Humano daughter Humano and Organismo
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 678-684	mothersBrothersSon Organismo and Organismo Man Humano Man e' a mae de Organismo brother Man and Humano son Humano and Organismo
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 618-624	mothersBrothersWife Organismo and Man Man Woman Man e' a mae de Organismo brother Man and Woman wife Woman and Man
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 562-567	paternalUncle Organismo and Humano Man Man e' o pai de Organismo brother Man and Humano

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