familyRelation - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3683-3685
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16405-16407
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16403-16403	O argumento numero 1 de familyRelation e' uma instancia de Organismo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16404-16404	O argumento numero 2 de familyRelation e' uma instancia de Organismo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16402-16402	familyRelation e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16392-16392	familyRelation e' uma sub-relacao de relative

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 545-545
No TPTP formula. May not be expressible in strict first order.	english_format.kif 550-550
No TPTP formula. May not be expressible in strict first order.	french_format.kif 320-320
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 108-108
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2088-2088
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 272-272
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 713-713
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 148-148
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 341-341
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 354-354
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 226-226
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23095-23095	aunt e' uma sub-relacao de familyRelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23110-23110	cousin e' uma sub-relacao de familyRelation
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 663-663	fathersBrothersDaughter e' uma sub-relacao de familyRelation
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 651-651	fathersBrothersSon e' uma sub-relacao de familyRelation
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 603-603	fathersBrothersWife e' uma sub-relacao de familyRelation
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 711-711	fathersSistersDaughter e' uma sub-relacao de familyRelation
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 627-627	fathersSistersHusband e' uma sub-relacao de familyRelation
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 699-699	fathersSistersSon e' uma sub-relacao de familyRelation
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 592-592	maternalAunt e' uma sub-relacao de familyRelation
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 570-570	maternalUncle e' uma sub-relacao de familyRelation
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 687-687	mothersBrothersDaughter e' uma sub-relacao de familyRelation
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 675-675	mothersBrothersSon e' uma sub-relacao de familyRelation
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 615-615	mothersBrothersWife e' uma sub-relacao de familyRelation

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.	Government.kif 223-234	governmentType AutonomousAgent and Monarchy Organismo e' uma instancia de Humano Organismo e' uma instancia de Humano chiefOfState AutonomousAgent, Entidade and Organismo vale durante Intervalo Temporal Organismo e Organismo sao parentes Intervalo Temporal acontence antes de Intervalo Temporal o argumento chiefOfState AutonomousAgent, Entidade and Organismo vale durante Intervalo Temporal tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16409-16414	Organismo e Organismo sao parentes Organismo ancestor Organismo and Organismo ancestor Organismo and Organismo

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7296-7301	Objeto e' uma instancia de FamilyBusiness Organismo possui Objeto Organismo possui Objeto Organismo e Organismo sao parentes
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16334-16341	Colecao e' uma instancia de Grupo Familiar Organismo Organismo Organismo e' membro de Colecao Organismo e' membro de Colecao Organismo e Organismo sao parentes

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

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

KB Term:			Term intersection

English Word: