connected - Sigma 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 9506-9507
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 9503-9503	O argumento numero 1 de connected e' uma instancia de Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9504-9504	O argumento numero 2 de connected e' uma instancia de Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9499-9499	connected e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9501-9501	connected e' uma instancia de Relacao Reflexiva
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9500-9500	connected e' uma instancia de Relacao Espacial
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9502-9502	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 4200-4200	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 9570-9570	meetsSpatially e' relacionado internamente por SUMO a connected
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16095-16095	connectedEngineeringComponents e' uma sub-relacao de connected
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4033-4033	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 9715-9720	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 9554-9560	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 9521-9525	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 12383-12397	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 10577-10593	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 12431-12440	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 17882-17892	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 10046-10050	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 9745-9751	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 9730-9735	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 9509-9513	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 17103-17107	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 11967-11977	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 12360-12367	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 12408-12415	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 10647-10657	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 10607-10617	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 9515-9519	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 2949-2957	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.	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 11485-11492	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 3538-3547	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 10046-10050	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 2698-2714	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 10039-10044	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 9546-9552	Objeto conecta Objeto e Objeto Objeto e' conectado com Objeto Objeto e' conectado com Objeto Objeto e' conectado com Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24327-24334	equipmentType Artefato and Aparelho Objeto Objeto e' uma instancia de Aparelho Objeto e' uma &parte de Artefato Objeto e' conectado com Artefato
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5442-5444	flows Objeto and Objeto Objeto e' conectado com Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9935-9937	Buraco e' um buraco dans Objeto auto-conectado Buraco e' conectado com Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15366-15371	Objeto e' uma instancia de Fireplace Objeto Objeto e' uma instancia de Chimney Objeto e' conectado com Objeto
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5129-5136	Objeto e' uma instancia de Gulf Objeto Objeto e' uma instancia de Sea Objeto e' uma instancia de Ocean 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 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: