TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1502-1503
No TPTP formula. May not be expressible in strict first order.	Merge.kif 415-417
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 65-67
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 75-77
No TPTP formula. May not be expressible in strict first order.	Merge.kif 412-412	O argumento numero 1 de disjointRelation e' uma instancia de Relacao
No TPTP formula. May not be expressible in strict first order.	Merge.kif 413-413	O argumento numero 2 de disjointRelation e' uma instancia de Relacao
No TPTP formula. May not be expressible in strict first order.	Merge.kif 409-409	disjointRelation e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	Merge.kif 410-410	disjointRelation e' uma instancia de Relacao Irreflexiva
No TPTP formula. May not be expressible in strict first order.	Merge.kif 411-411	disjointRelation e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order.	Merge.kif 414-414	disjointRelation e' relacionado internamente por SUMO a disjoint

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 289-289
No TPTP formula. May not be expressible in strict first order.	english_format.kif 294-294
No TPTP formula. May not be expressible in strict first order.	french_format.kif 167-167
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 77-77
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1987-1987
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 119-119
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 111-111
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 183-183
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 376-376
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 117-117
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 187-187
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 174-174
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 170-170
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 290-290
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19860-19860
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19859-19859
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19858-19858
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 117-117

antecedent

No TPTP formula. May not be expressible in strict first order.

Merge.kif 447-453

Relacao e' uma instancia de Predicado Relacao e' uma instancia de Predicado Relacao e Relacao sao disjuntos Relacao @ROW2
Relacao @ROW2

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 419-424	O argumento numero Inteiro positivo de Relacao e' uma instancia de Classe o argumento numero Inteiro positivo de Relacao e' uma instancia de Classe Classe e' disjunto de Classe Relacao e Relacao sao disjuntos
No TPTP formula. May not be expressible in strict first order.	Merge.kif 426-431	O argumento numero Inteiro positivo de Relacao e' uma sub-classe de Classe o argumento numero Inteiro positivo de Relacao e' uma sub-classe de Classe Classe e' disjunto de Classe Relacao e Relacao sao disjuntos
No TPTP formula. May not be expressible in strict first order.	Merge.kif 433-438	O contra-dominio de Funcao e' uma instancia de Classe o contra-dominio de Funcao e' uma instancia de Classe Classe e' disjunto de Classe Funcao e Funcao sao disjuntos
No TPTP formula. May not be expressible in strict first order.	Merge.kif 440-445	Os valores retornados por Funcao sao as sub-classes de Classe os valores retornados por Funcao sao as sub-classes de Classe Classe e' disjunto de Classe Funcao e Funcao sao disjuntos

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24170-24170	ancestorOrganization e subOrganization sao disjuntos
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1018-1018	contains e part sao disjuntos
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4200-4200	crosses e connected sao disjuntos
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2600-2600	decreasesLikelihood e independentProbability sao disjuntos
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4013-4013	deprivesNorm e confersNorm sao disjuntos
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7439-7439	disapproves e desires sao disjuntos
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7423-7423	dislikes e wants sao disjuntos
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2598-2598	increasesLikelihood e decreasesLikelihood sao disjuntos
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2599-2599	increasesLikelihood e independentProbability sao disjuntos
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1734-1734	manner e attribute sao disjuntos
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9574-9574	meetsSpatially e overlapsSpatially sao disjuntos
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23358-23358	mutualStranger e mutualAcquaintance sao disjuntos
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1679-1679	referee e plays sao disjuntos
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2514-2514	resource e instrument sao disjuntos
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2513-2513	resource e result sao disjuntos
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2515-2515	result e instrument sao disjuntos
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23373-23373	spouse e domesticPartner sao disjuntos
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14393-14393	stays e home sao disjuntos
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23343-23343	stranger e acquaintance sao disjuntos
No TPTP formula. May not be expressible in strict first order.	Merge.kif 684-684	subAttribute e successorAttribute sao disjuntos
No TPTP formula. May not be expressible in strict first order.	Merge.kif 643-643	subsumedExternalConcept e subsumingExternalConcept sao disjuntos
No TPTP formula. May not be expressible in strict first order.	Merge.kif 641-641	synonymousExternalConcept e subsumedExternalConcept sao disjuntos
No TPTP formula. May not be expressible in strict first order.	Merge.kif 642-642	synonymousExternalConcept e subsumingExternalConcept sao disjuntos

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

KB Term:			Term intersection

English Word: