contains - Sigma Knowledge base Browser

appearance as argument number 1

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.	chinese_format.kif 1584-1586
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1022-1026
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 161-164
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 189-193
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1019-1019	O argumento numero 1 de contains e' uma instancia de Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1020-1020	O argumento numero 2 de contains e' uma instancia de Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1015-1015	contains e' uma instancia de Relacao Assimetrica
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1017-1017	contains e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1016-1016	contains e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1014-1014	contains e' uma instancia de Relacao Espacial

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 800-800
No TPTP formula. May not be expressible in strict first order.	english_format.kif 808-808
No TPTP formula. May not be expressible in strict first order.	french_format.kif 481-481
No TPTP formula. May not be expressible in strict first order.	english_format.kif 809-809
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 433-433
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 503-503
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16932-16932
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 801-801
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16931-16931
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16930-16930

antecedent

No TPTP formula. May not be expressible in strict first order.	Music.kif 316-322	albumCoverImage Album and Image Objeto e' uma instancia de AlbumCopiesFn Album and DataStorageDevice Objeto auto-conectado contem Objeto o argumento Image e' uma &parte de afrente de Objeto auto-conectado tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9866-9888	Objeto e' uma instancia de Antacid Movimento e' uma instancia de Ingerir Movimento e' um agente de AutonomousAgent moves Movimento and Objeto Objeto e' uma instancia de Stomach Objeto e' uma &parte de AutonomousAgent Objeto contem Objeto Objeto e' uma instancia de Fluid vale durante imediatemente antes de tempo de existencia de Movimento Objeto contem Objeto Objeto e' uma instancia de Fluid vale durante imediatemente apos tempo de existencia de Movimento phMeasure Objeto and Numero Real phMeasure Objeto and Numero Real Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9927-9949	Objeto e' uma instancia de ProtonPumpInhibitor Movimento e' uma instancia de Ingerir Movimento e' um agente de AutonomousAgent moves Movimento and Objeto Objeto e' uma instancia de Stomach Objeto e' uma &parte de AutonomousAgent Objeto contem Objeto Objeto e' uma instancia de Fluid vale durante imediatemente antes de tempo de existencia de Movimento Objeto contem Objeto Objeto e' uma instancia de Fluid vale durante imediatemente apos tempo de existencia de Movimento phMeasure Objeto and Numero Real phMeasure Objeto and Numero Real Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Cars.kif 871-885	Objeto auto-conectado e' uma instancia de AutomobileShock Processo e' uma instancia de Compressing Buraco e' uma instancia de Buraco Fluid e' um atributo de Objeto Objeto auto-conectado e' igual a o dono do buraco Buraco Objeto auto-conectado contem Objeto Objeto auto-conectado e' um patient de Processo Transferencia Transferencia e' uma instancia de Transferencia objectTransferred Transferencia and Objeto Buraco e' o caminho ao longo do qual Transferencia ocorre Processo causa Transferencia
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4687-4691	Objeto auto-conectado e' uma instancia de Bottle Objeto auto-conectado contem Objeto Liquid e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1747-1767	Fisico e' uma instancia de Cavitating Objeto auto-conectado e' uma instancia de Pump DeviceOn e' um atributo de Objeto auto-conectado Liquid e' um atributo de Objeto Objeto auto-conectado contem Objeto Objeto auto-conectadoP Entidade Objeto auto-conectadoP e' uma &parte de Objeto auto-conectado Objeto auto-conectadoP tem por fim Liquid e' um atributo de Entidade Entidade encontra Objeto auto-conectadoP Entidade Liquid e' um atributo de Entidade Objeto auto-conectadoP encontra Entidade vale durante tempo de existencia de Fisico
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4710-4714	Objeto auto-conectado e' uma instancia de DrinkingCup Objeto auto-conectado contem Objeto Objeto e' uma instancia de Bebida
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2794-2813	Objeto e' uma instancia de InternalCombustionEngine Objeto e' uma instancia de CombustionChamber Objeto e' uma &parte de Objeto Entidade e' uma instancia de Fuel Entidade e' uma instancia de UnitOfVolume Objeto contem Entidade a medida de Entidade e' Entidade Entidade(s) EngineFlooded e' um atributo de Objeto vale durante Posicao Temporal Objeto tem por fim Entidade2 Entidade Entidade2 e' uma instancia de Fuel Objeto contem Entidade2 a medida de Entidade2 e' Entidade Entidade(s) Entidade e' maior ou igual a Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4729-4734	Objeto auto-conectado e' uma instancia de SwimmingPool Objeto auto-conectado contem Objeto Objeto e' uma instancia de Fluid Objeto e' uma instancia de FreshWater
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4677-4681	Objeto auto-conectado e' uma instancia de FluidContainer Objeto auto-conectado contem Objeto Fluid e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26862-26870	Objeto auto-conectado e' uma instancia de HeatedPool Objeto auto-conectado contem Objeto Objeto e' uma instancia de FreshWater Objeto auto-conectado e' uma &parte de Objeto Objeto e' uma instancia de WaterHeater DeviceOn e' um atributo de Objeto WarmTemperature e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6685-6689	A medida de Objeto e' Quantidade Constante Objeto auto-conectado contem Objeto capacity Objeto auto-conectado and Quantidade Constante
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1028-1033	Objeto auto-conectado contem Objeto Buraco Buraco e' um buraco dans Objeto auto-conectado Objeto rempliecompleta corretamente Buraco
No TPTP formula. May not be expressible in strict first order.	Merge.kif 987-989	Objeto auto-conectado contem Objeto Objeto auto-conectado e' parcialmente localizado em Objeto

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 1035-1039	Buraco e' um buraco dans Objeto auto-conectado Objeto rempliecompleta corretamente Buraco Objeto auto-conectado contem Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30839-30850	Entidade e' uma instancia de Carabiner DeviceClosed e' um atributo de Entidade vale durante Posicao Temporal o argumento Entidade Entidade e' uma instancia de ClimbingRope Entidade contem Entidade tem a forca modal de Possibility vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2794-2813	Objeto e' uma instancia de InternalCombustionEngine Objeto e' uma instancia de CombustionChamber Objeto e' uma &parte de Objeto Entidade e' uma instancia de Fuel Entidade e' uma instancia de UnitOfVolume Objeto contem Entidade a medida de Entidade e' Entidade Entidade(s) EngineFlooded e' um atributo de Objeto vale durante Posicao Temporal Objeto tem por fim Entidade2 Entidade Entidade2 e' uma instancia de Fuel Objeto contem Entidade2 a medida de Entidade2 e' Entidade Entidade(s) Entidade e' maior ou igual a Entidade
No TPTP formula. May not be expressible in strict first order.	engineering.kif 939-952	Objeto e' uma instancia de Faucet Processo e' uma instancia de LiquidMotion Entidade e' um patient de Processo Processo e' situado em Objeto Entidade Entidade e' uma instancia de Tube Entidade contem Entidade vale durante imediatemente apos tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5490-5500	Objeto e' uma instancia de Intestine Objeto e' uma instancia de Animal Objeto e' uma &parte de Objeto o argumento Entidade Entidade e' uma instancia de EscherichiaColi Objeto contem Entidade tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11470-11477	Processo e' uma instancia de Inserting Entidade e' um patient de Processo Processo termina em Entidade Entidade nao contem %n Entidade vale durante o comeco de tempo de existencia de Processo Entidade contem 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 11274-11289	Objeto auto-conectado e' uma instancia de RibCage Objeto auto-conectado e' uma &parte de Objeto Objeto e' uma instancia de Humano Living e' um atributo de Objeto ~{ Fisico e' uma instancia de Processo Patologico } ~{ Fisico e' situado em Objeto } ObjetoT Objeto ObjetoT e' uma instancia de Heart ObjetoT e' uma instancia de Lung Objeto auto-conectado contem Objeto Objeto auto-conectado contem ObjetoT
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1071-1081	Processo e' uma instancia de Vaccination AutonomousAgent experimenta Processo ProcessoAC ProcessoAC e' uma instancia de Vaccine vale durante imediatemente apos tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5163-5171	Animal usa Objeto auto-conectado Objeto auto-conectado e' uma instancia de Trousers Objeto Objeto e' uma instancia de Leg Objeto e' uma &parte de Animal Objeto auto-conectado contem Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5267-5275	Animal usa Objeto auto-conectado Objeto auto-conectado e' uma instancia de Sleeve Objeto Objeto e' uma instancia de Arm Objeto e' uma &parte de Animal Objeto auto-conectado contem Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5241-5249	Animal usa Objeto auto-conectado Objeto auto-conectado e' uma instancia de Sock Objeto Objeto e' uma instancia de Foot Objeto e' uma &parte de Animal Objeto auto-conectado contem Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5080-5088	Animal usa Objeto auto-conectado Objeto auto-conectado e' uma instancia de TieClothing Objeto Objeto e' uma instancia de Neck Objeto e' uma &parte de Animal Objeto auto-conectado contem Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4107-4113	WaterBed e' um atributo de Objeto Corpuscular Objeto Corpuscular Objeto Objeto Corpuscular e' um componente de Objeto Corpuscular Objeto Corpuscular contem Objeto Objeto e' uma instancia de Agua
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5897-5912	bloodVolume Humano and Medida de Volume Substancia Substancia e' uma instancia de Sangue Humano contem Substancia Humano e' uma instancia de Humano a medida de Substancia e' Medida de Volume Substancia2 Substancia2 e' uma instancia de Sangue Humano contem Substancia2 Substancia2 e' uma peca de Substancia
No TPTP formula. May not be expressible in strict first order.	Cars.kif 965-971	Fisico e' uma instancia de AirIntake Fisico tem por fim Entidade Entidade e' uma instancia de Air Fisico contem Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3578-3584	Fisico e' uma instancia de Balloon Fisico tem por fim Entidade Gas e' um atributo de Entidade Fisico contem Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6452-6466	Processo e' uma instancia de Bloating AutonomousAgent Objeto auto-conectado, Objeto auto-conectado and Objeto AutonomousAgent experimenta Processo Objeto e' uma instancia de Gas Objeto auto-conectado e' uma &parte de AutonomousAgent Objeto auto-conectado e' uma instancia de Intestine Objeto auto-conectado contem Objeto Objeto auto-conectado e' uma &parte de AutonomousAgent Objeto auto-conectado e' uma instancia de Stomach Objeto auto-conectado contem Objeto
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1519-1529	Fisico e' uma instancia de BleedingAir Fisico tem por fim Entidade Entidade Entidade e' uma instancia de FluidContainer Entidade e' uma instancia de Air Entidade contem Entidade vale durante imediatemente antes de Fisico Entidade nao contem %n Entidade vale durante imediatemente apos Fisico
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4456-4465	Fisico e' uma instancia de Bag Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Transferencia Entidade e' uma instancia de Objeto Fisico contem Entidade Fisico e' um instrumento para Entidade Entidade e' um patient de Entidade
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2601-2610	Fisico e' uma instancia de ShipContainer Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Shipping cargo Entidade and Fisico cargo Entidade and Entidade Fisico contem Entidade vale durante tempo de existencia de Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10990-10995	Objeto e' uma instancia de SpinalCord Objeto auto-conectado Objeto auto-conectado e' uma instancia de SpinalColumn Objeto auto-conectado contem Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4445-4447	Fisico e' uma instancia de Container Fisico tem por fim Entidade Fisico contem Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10037-10050	Fisico e' uma instancia de Diuretic Fisico tem por fim Entidade Entidade, Entidade and EntidadeOC Entidade e' uma instancia de Humano Entidade e' uma instancia de Remover Entidade e' uma instancia de Liquid Entidade experimenta Entidade moves Entidade and Entidade Entidade tem como origem Entidade Entidade nao contem %n EntidadeOC Entidade termina em EntidadeOC
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29543-29551	Fisico e' uma instancia de FishTank Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Agua Entidade e' uma instancia de Peixe Fisico contem Entidade Fisico contem Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2826-2855	Fisico e' uma instancia de Gasket Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Objeto Corpuscular Entidade e' uma instancia de Objeto Corpuscular Entidade encontra Fisico Entidade encontra Fisico Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de Buraco Fisico e' igual a o dono do buraco Entidade Entidade e' uma instancia de Translocation Entidade e' o caminho ao longo do qual Entidade ocorre Entidade tem como origem Entidade Entidade termina em Entidade Entidade contem Entidade Entidade nao contem %n Entidade Entidade encontra Entidade Entidade3 Entidade contem Entidade3 Entidade nao contem %n Entidade3 Entidade nao contem %n Entidade3

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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: