TreeView Knowledge Base Browser - mother

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - mother

mother

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3691-3692
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16433-16435
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16431-16431	O argumento numero 1 de mother e' uma instancia de Organismo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16432-16432	O argumento numero 2 de mother e' uma instancia de Organismo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16425-16425	mother e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16424-16424	mother e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16423-16423	mother e' uma instancia de Relacao com Valor Unico

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 525-525
No TPTP formula. May not be expressible in strict first order.	english_format.kif 530-530
No TPTP formula. May not be expressible in strict first order.	french_format.kif 310-310
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 195-195
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2078-2078
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 262-262
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 316-316
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 683-683
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 233-233
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 331-331
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 339-339
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 375-375
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 526-526
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38678-38678
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38677-38677
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 376-376

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 16427-16429	Organismo e' a mae de Organismo Organismo e' um genitor de Organismo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16436-16438	Organismo e' a mae de Organismo Female e' um atributo de Organismo

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23060-23075	cousin Humano and Humano Woman Man grandmother Humano and Woman grandfather Humano and Man grandmother Humano and Woman grandfather Humano and Man Organismo Organismo Organismo e' a mae de Humano Organismo e' o pai de Humano Organismo e' a mae de Humano Organismo e' o pai de Humano
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23151-23158	stepfather Humano and Man Humano Humano e' a mae de Humano spouse Man and Humano Man e' o pai de Humano
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23168-23175	stepmother Humano and Woman Humano Humano e' o pai de Humano spouse Woman and Humano Woman e' a mae de Humano
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10358-10365	Processo e' uma instancia de Reproducao Sexual Organismo e' o resultado de Processo Organismo Organismo Organismo e' a mae de Organismo Organismo e' o pai de Organismo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16515-16519	Organismo e' um genitor de Organismo Female e' um atributo de Organismo Organismo e' a mae de Organismo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16408-16416	Organismo e' um genitor de Organismo Processo e' uma instancia de Reproducao Sexual Processo e' um agente de Organismo Organismo e' o resultado de Processo Organismo e' a mae de Organismo Organismo e' o pai de Organismo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23094-23099	grandmother Humano and Woman Organismo Woman e' a mae de Organismo Organismo e' um genitor de Humano
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 774-780	BereavedMother e' um atributo de Entidade vale durante Intervalo Temporal Intervalo Temporal Entidade Intervalo Temporal acontence antes de Intervalo Temporal Entidade e' a mae de Entidade vale durante Intervalo Temporal Dead e' um atributo de Entidade vale durante Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20163-20170	Organismo e' uma instancia de Mule Organismo Organismo Organismo e' o pai de Organismo Organismo e' uma instancia de Donkey Organismo e' a mae de Organismo Organismo e' uma instancia de Horse
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 595-600	maternalAunt Organismo and Humano Woman Woman e' a mae de Organismo sister Woman and Humano
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 738-744	mothersSistersDaughter Organismo and Organismo Woman Humano Woman e' a mae de Organismo sister Woman and Humano daughter Humano and Organismo
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 642-648	mothersSistersHusband Organismo and Woman Woman Man Woman e' a mae de Organismo sister Woman and Man husband Man and Woman
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 726-732	mothersSistersSon Organismo and Organismo Woman Humano Woman e' a mae de Organismo sister Woman and Humano son Humano and Organismo

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