TreeView 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 16334-16336
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16332-16332	O argumento numero 1 de familyRelation e' uma instancia de Organismo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16333-16333	O argumento numero 2 de familyRelation e' uma instancia de Organismo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16331-16331	familyRelation e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16321-16321	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 23043-23043	aunt e' uma sub-relacao de familyRelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23058-23058	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 16338-16343	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 7269-7274	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 16263-16270	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 simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: