TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2823-2824
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9542-9543
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1565-1566
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9539-9539	O argumento numero 1 de connected e' uma instancia de Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9540-9540	O argumento numero 2 de connected e' uma instancia de Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9535-9535	connected e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9537-9537	connected e' uma instancia de Relacao Reflexiva
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9536-9536	connected e' uma instancia de Relacao Espacial
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9538-9538	connected e' uma instancia de Relacao Simetrica

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 4201-4201	crosses e connected sao disjuntos
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 361-361
No TPTP formula. May not be expressible in strict first order.	english_format.kif 364-364
No TPTP formula. May not be expressible in strict first order.	french_format.kif 209-209
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 52-52
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2016-2016
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 161-161
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 86-86
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 216-216
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 480-480
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 93-93
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 229-229
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 226-226
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 120-120
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9606-9606	meetsSpatially e' relacionado internamente por SUMO a connected
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16167-16167	connectedEngineeringComponents e' uma sub-relacao de connected
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4034-4034	overlapsSpatially e' uma sub-relacao de connected
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 362-362
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16638-16638
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16637-16637
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16636-16636
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 121-121

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.	Merge.kif 9751-9756	O fundo de Objeto auto-conectado e' Objeto auto-conectado Objeto e' uma &parte de Objeto auto-conectado Objeto e' conectado com Objeto auto-conectado Objeto e' Above em relacao a Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9590-9596	Objeto e' conectado com Objeto Objeto e' conectado com Objeto Objeto e' conectado com Objeto Objeto conecta Objeto e Objeto
No TPTP formula. May not be expressible in strict first order.	Geography.kif 514-518	Objeto e' conectado com Objeto Objeto e' uma &parte de Objeto Objeto e' conectado com Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9557-9561	Objeto e' igual a a uniao das partes de Objeto e Objeto Objeto e' conectado com Objeto Objeto e' uma instancia de Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12429-12443	Processo e' uma instancia de Colar Entidade e' um patient de Processo Entidade e' um patient de Processo Entidade e' conectado com Entidade vale durante o comeco de tempo de existencia de Processo Entidade e' conectado com Entidade vale durante o fim de tempo de existencia de Processo objectAttached Processo and Entidade objectAttached Processo and Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10604-10620	Objeto e' uma instancia de BodySegment Objeto e' uma instancia de BodySegment Objeto e' conectado com Objeto Movimento e' uma instancia de Movimento do Corpo moves Movimento and Objeto o argumento Movimento2 Movimento2 e' uma instancia de Movimento do Corpo moves Movimento2 and Objeto tempo de existencia de Movimento2 acontece durante tempo de existencia de Movimento tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5330-5335	Objeto e' uma instancia de Channel Objeto e' uma instancia de BodyOfWater Objeto e' conectado com Objeto Objeto e' maior do que Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12477-12486	Processo e' uma instancia de Descolar Entidade e' um patient de Processo Entidade e' um patient de Processo Entidade e' conectado com Entidade vale durante o comeco de tempo de existencia de Processo Entidade e' conectado com Entidade vale durante o fim de tempo de existencia de Processo objectDetached Processo and Entidade objectDetached Processo and Entidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17961-17971	Objeto e' uma instancia de Objeto LongAndThin e' um atributo de Objeto Objeto e' uma instancia de Objeto LongAndThin e' um atributo de Objeto Objeto e' conectado com Objeto Objeto e' igual a Objeto Numero Real relativeAngle Objeto, Objeto and Numero Real
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5380-5395	Area Geografica e' uma instancia de InlandWaterSystem Area Geografica e' uma instancia de Area Aquatica Area Geografica e' uma instancia de Area Aquatica Area Geografica e' igual a Area Geografica Area Geografica e' conectado com Area Geografica geographicSubregion Area Geografica and Area Geografica geographicSubregion Area Geografica and Area Geografica Objeto Objeto e' uma instancia de Area Aquatica Objeto e' igual a Area Geografica Objeto e' igual a Area Geografica Objeto e' uma &parte de Area Geografica Objeto conecta Area Geografica e Area Geografica
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10082-10086	Objeto rempliecompleta corretamente Buraco Objeto e' conectado com Objeto Buraco e' conectado com Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9781-9788	O side de Objeto auto-conectado e' Objeto auto-conectado Objeto e' uma &parte de Objeto auto-conectado Objeto e' conectado com Objeto auto-conectado Atributo Posicional Objeto auto-conectado e' Atributo Posicional em relacao a Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9766-9771	O topo de Objeto auto-conectado e' Objeto auto-conectado Objeto e' uma &parte de Objeto auto-conectado Objeto e' conectado com Objeto auto-conectado Objeto e' Below em relacao a Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9545-9549	Objeto e' conectado com Objeto Objeto encontra Objeto Objeto engloba Objeto

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17174-17178	Objeto e' Adjacent em relacao a Objeto Objeto e' Near em relacao a Objeto Objeto e' conectado com Objeto
No TPTP formula. May not be expressible in strict first order.	Geography.kif 514-518	Objeto e' conectado com Objeto Objeto e' uma &parte de Objeto Objeto e' conectado com Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11994-12004	connectedBodyPart Parte do Corpo and Parte do Corpo Healthy e' um atributo de Objeto Parte do CorpoI Parte do CorpoI Parte do CorpoI e' uma instancia de Parte do Corpo Parte do CorpoI e' uma instancia de Parte do Corpo Parte do CorpoI e' uma &parte de Objeto Parte do CorpoI e' uma &parte de Objeto Parte do CorpoI e' conectado com Parte do CorpoI
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 32-46	connectedBodyPartTypes Parte do Corpo, Parte do Corpo and Organismo OrganismoC e' uma instancia de Organismo Doenca ou Sindrome e' um atributo de Objeto Objeto Objeto Objeto e' uma instancia de Parte do Corpo Objeto e' uma instancia de Parte do Corpo Objeto e' igual a Objeto Objeto e' uma &parte de OrganismoC Objeto e' uma &parte de OrganismoC Objeto e' conectado com Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12406-12413	Processo e' uma instancia de Colar Entidade e' um patient de Processo Entidade e' um patient de Processo Entidade e' conectado com Entidade vale durante o comeco de tempo de existencia de Processo Entidade e' conectado com Entidade vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12454-12461	Processo e' uma instancia de Descolar Entidade e' um patient de Processo Entidade e' um patient de Processo Entidade e' conectado com Entidade vale durante o comeco de tempo de existencia de Processo Entidade e' conectado com Entidade vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Media.kif 690-700	Processo e' uma instancia de DataSaving Objeto e' um recurso para Processo Objeto e' uma instancia de ElectronicDataStorageDevice Objeto Objeto e' uma instancia de ElectricDevice Objeto e' um instrumento para Processo Objeto e' conectado com Objeto vale durante tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10674-10684	Movimento e' uma instancia de Extension moves Movimento and Objeto Objeto ObjetoC Objeto e' uma instancia de Musculo ObjetoC e' uma instancia de MuscularContraction Objeto e' um instrumento para Movimento Objeto e' conectado com Objeto ObjetoC e' um sub-processo de Movimento
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10634-10644	Movimento e' uma instancia de Flexion moves Movimento and Objeto Objeto ObjetoC Objeto e' uma instancia de Musculo ObjetoC e' uma instancia de MuscularContraction Objeto e' um instrumento para Movimento Objeto e' conectado com Objeto ObjetoC e' um sub-processo de Movimento
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9551-9555	Objeto e' uma instancia de Objeto auto-conectado Objeto e' igual a a uniao das partes de Objeto e Objeto Objeto e' conectado com Objeto
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3001-3009	Objeto e' uma instancia de PortFacility Objeto e' capaz de fazer ShipBerthing no role patient Objeto Objeto e' uma instancia de Harbor Objeto e' conectado com Objeto Objeto e' capaz de fazer ShipBerthing no role path
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 561-574	Objeto e' uma instancia de CervicalVertebraBone Objeto e' uma &parte de Objeto Objeto e' uma instancia de Humano Doenca ou Sindrome e' um atributo de Objeto Objeto Objeto e' uma instancia de CervicalVertebraBone Objeto e' igual a Objeto Objeto e' uma &parte de Objeto Objeto e' conectado com Objeto
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 505-517	Objeto e' uma instancia de FalseRibBone Objeto e' uma &parte de Objeto Objeto e' uma instancia de Humano Doenca ou Sindrome e' um atributo de Objeto Objeto Objeto e' uma instancia de Sternum Objeto e' uma &parte de Objeto Objeto e' conectado com Objeto
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 601-614	Objeto e' uma instancia de LumbarVertebraBone Objeto e' uma &parte de Objeto Objeto e' uma instancia de Humano Doenca ou Sindrome e' um atributo de Objeto Objeto Objeto e' uma instancia de LumbarVertebraBone Objeto e' igual a Objeto Objeto e' uma &parte de Objeto Objeto e' conectado com Objeto
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 669-682	Objeto e' uma instancia de ThoracicVertebraBone Objeto e' uma &parte de Objeto Objeto e' uma instancia de Humano Doenca ou Sindrome e' um atributo de Objeto Objeto Objeto e' uma instancia de ThoracicVertebraBone Objeto e' igual a Objeto Objeto e' uma &parte de Objeto Objeto e' conectado com Objeto
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 492-503	Objeto e' uma instancia de TrueRibBone Objeto e' uma &parte de Objeto Objeto e' uma instancia de Humano Doenca ou Sindrome e' um atributo de Objeto Objeto Objeto e' uma instancia de Sternum Objeto e' uma &parte de Objeto Objeto e' conectado com Objeto
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5661-5670	River e' uma instancia de River Objeto e' uma instancia de BodyOfWater flows River and Objeto Area Aquatica Area Aquatica e' uma instancia de RiverMouth streamOutfall Area Aquatica and River Area Aquatica e' conectado com Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11531-11538	Processo e' uma instancia de Tocar Processo e' um agente de AutonomousAgent Entidade e' um patient de Processo AutonomousAgent e' conectado com Entidade vale durante o comeco de tempo de existencia de Processo AutonomousAgent e' conectado com Entidade vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3531-3540	Objeto e' uma instancia de VehicleWheel Objeto Corpuscular e' uma instancia de RoadVehicle Objeto e' uma &parte de Objeto Corpuscular Objeto Corpuscular Objeto Corpuscular e' uma instancia de Axle Objeto Corpuscular e' um componente de Objeto Corpuscular Objeto e' conectado com Objeto Corpuscular
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10082-10086	Objeto rempliecompleta corretamente Buraco Objeto e' conectado com Objeto Buraco e' conectado com Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2691-2707	Locked e' um atributo de Objeto Objeto Processo and Entidade Objeto e' uma instancia de Lock Objeto e' conectado com Objeto Processo e' uma instancia de Closing Objeto e' um patient de Processo Entidade e' uma instancia de Movimento tempo de existencia de Processo acontence antes de tempo de existencia de Locked e' um atributo de Objeto o argumento Objeto e' um patient de Entidade nao %n a forca modal de Possibility vale durante tempo de existencia de Locked e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Cars.kif 383-396	PartialVacuum e' um atributo de Objeto Objeto Objeto, Numero Real, Numero Real and Unidade de Medida Objeto e' uma instancia de Objeto auto-conectado Objeto e' uma instancia de Regiao Objeto e' igual a Objeto Objeto e' conectado com Objeto Objeto e' conectado com Objeto a medida de Objeto e' Numero Real Unidade de Medida(s) a medida de Objeto e' Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfAtmosphericPressure Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Cars.kif 403-416	Pressurized e' um atributo de Objeto Objeto Objeto, Numero Real, Numero Real and Unidade de Medida Objeto e' uma instancia de Objeto auto-conectado Objeto e' uma instancia de Regiao Objeto e' igual a Objeto Objeto e' conectado com Objeto Objeto e' conectado com Objeto a medida de Objeto e' Numero Real Unidade de Medida(s) a medida de Objeto e' Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfAtmosphericPressure Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10075-10080	Objeto completa completemente Buraco Objeto Objeto e' conectado com Buraco Objeto e' conectado com Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9582-9588	Objeto conecta Objeto e Objeto Objeto e' conectado com Objeto Objeto e' conectado com Objeto Objeto e' conectado com Objeto

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	Geography.kif 5169-5169	GulfOfAden e' conectado com ArabianSea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5177-5177	GulfOfMexico e' conectado com CaribbeanSea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5176-5176	GulfOfMexico e' conectado com NorthAtlanticOcean
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5161-5161	GulfOfOman e' conectado com ArabianSea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4631-4631	IndianOcean e' conectado com PersianGulf
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4630-4630	IndianOcean e' conectado com SouthPacificOcean
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4632-4632	IndianOcean e' conectado com SouthernOcean
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 744-744	MississippiRiver e' conectado com GulfOfMexico
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5154-5154	PersianGulf e' conectado com StraitOfHormuz
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5168-5168	RedSea e' conectado com GulfOfAden
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5160-5160	StraitOfHormuz e' conectado com GulfOfOman

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

KB Term:			Term intersection

English Word: