part - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1570-1572
No TPTP formula. May not be expressible in strict first order.	Merge.kif 920-924
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 143-146
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 168-171
No TPTP formula. May not be expressible in strict first order.	Merge.kif 917-917	O argumento numero 1 de part e' uma instancia de Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 918-918	O argumento numero 2 de part e' uma instancia de Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 916-916	part e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	Merge.kif 915-915	part e' uma instancia de Relacao parcialmente Ordenada
No TPTP formula. May not be expressible in strict first order.	Merge.kif 914-914	part e' uma instancia de Relacao Espacial

appearance as argument number 2

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 161-161
No TPTP formula. May not be expressible in strict first order.	english_format.kif 162-162
No TPTP formula. May not be expressible in strict first order.	french_format.kif 100-100
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 210-210
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1929-1929
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 52-52
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 64-64
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 197-197
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 248-248
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 119-119
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 101-101
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 402-402
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23697-23697	initialPart e' relacionado internamente por SUMO a part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23724-23724	initiallyContainsPart e' relacionado internamente por SUMO a part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23750-23750	partTypes e' relacionado internamente por SUMO a part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23623-23623	typicalPart e' relacionado internamente por SUMO a part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23660-23660	typicallyContainsPart e' relacionado internamente por SUMO a part
No TPTP formula. May not be expressible in strict first order.	Merge.kif 965-965	component e' uma sub-relacao de part
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 34-34	geneticSubstrateOfVirus e' uma sub-relacao de part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13171-13171	half e' uma sub-relacao de part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24375-24375	inString e' uma sub-relacao de part
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9714-9714	interiorPart e' uma sub-relacao de part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13214-13214	most e' uma sub-relacao de part

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.	Geography.kif 7440-7451	Objeto e' uma instancia de ParticulateMatter Objeto auto-conectado e' uma &parte de Objeto approximateDiameter Objeto auto-conectado and Numero Real Micrometer(s) 10.0 e' maior que Numero Real Numero Real e' maior que 2.5 Objeto10 Objeto10 e' uma instancia de CoarseParticulateMatter Objeto10 e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7469-7479	Objeto e' uma instancia de ParticulateMatter Objeto auto-conectado e' uma &parte de Objeto approximateDiameter Objeto auto-conectado and Numero Real Micrometer(s) Numero Real e' maior ou igual a 2.5 Objeto25 Objeto25 e' uma instancia de FineParticulateMatter Objeto25 e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7596-7611	amount Substancia, Objeto Corpuscular and Numero Real UnitOfMass(s) SubstanciaI e' uma instancia de Substancia a medida de SubstanciaI e' Numero Real2 UnitOfMass(s) SubstanciaI e' uma &parte de Objeto Corpuscular Lista Numero Real2 UnitOfMass(s) e' um membro de Lista Lista e' igual a AmountsFn Substancia, Objeto Corpuscular and UnitOfMass Numero Real e' igual a ListSumFn Lista
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10684-10695	antagonistMuscles Musculo and Musculo Movimento e' uma instancia de Extension MusculoC e' um instrumento para Movimento moves Movimento and MusculoC MusculoC e' uma instancia de Musculo MusculoC e' uma instancia de Musculo MusculoC e' uma &parte de Objeto MusculoC e' uma &parte de Objeto Objeto e' uma instancia de Animal MusculoC e' capaz de fazer Flexion no role instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10671-10682	antagonistMuscles Musculo and Musculo Movimento e' uma instancia de Flexion MusculoC e' um instrumento para Movimento moves Movimento and MusculoC MusculoC e' uma instancia de Musculo MusculoC e' uma instancia de Musculo MusculoC e' uma &parte de Objeto MusculoC e' uma &parte de Objeto Objeto e' uma instancia de Animal MusculoC e' capaz de fazer Extension no role instrument
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1754-1759	FlatTerrain e' um atributo de Objeto Area terrestre e' uma &parte de Objeto slopeGradient Area terrestre and Numero Real nao-negativo 0.005 e' maior que Numero Real nao-negativo
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1766-1771	LowTerrain e' um atributo de Objeto Area terrestre e' uma &parte de Objeto slopeGradient Area terrestre and Numero Real nao-negativo 0.03 e' maior que Numero Real nao-negativo
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 172-187	Anemia e' um atributo de Objeto Objeto e' uma instancia de Sangue Objeto e' uma &parte de Objeto Female e' um atributo de Objeto a medida de Objeto e' 0.1 Liter(s) ObjetoE e' uma instancia de Hemoglobin ObjetoE e' uma &parte de Objeto ObjetoE2 e' uma instancia de Hemoglobin ObjetoE e' igual a ObjetoE2 Objeto2 e' uma &parte de Objeto a medida de ObjetoE e' Numero Real Gram(s) Numero Real e' menos que 12
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 155-170	Anemia e' um atributo de Objeto Objeto e' uma instancia de Sangue Objeto e' uma &parte de Objeto Male e' um atributo de Objeto a medida de Objeto e' 0.1 Liter(s) ObjetoE e' uma instancia de Hemoglobin ObjetoE e' uma &parte de Objeto ObjetoE2 e' uma instancia de Hemoglobin ObjetoE e' igual a ObjetoE2 Objeto2 e' uma &parte de Objeto a medida de ObjetoE e' Numero Real Gram(s) Numero Real e' menos que 13
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2693-2704	Concave e' um atributo de Objeto auto-conectado Objeto auto-conectado e' uma superficie de Objeto auto-conectado Objeto e' uma &parte de Objeto auto-conectado Objeto e' uma &parte de Objeto auto-conectado Objeto e' igual a LineFn Objeto and Objeto Objeto e' igual a Objeto Objeto e' uma &parte de Objeto Objeto e' Outside em relacao a Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2665-2676	Convex e' um atributo de Objeto auto-conectado Objeto auto-conectado e' uma superficie de Objeto auto-conectado Objeto e' uma &parte de Objeto auto-conectado Objeto e' uma &parte de Objeto auto-conectado Objeto e' igual a LineFn Objeto and Objeto Objeto e' igual a Objeto Objeto e' uma &parte de Objeto Objeto e' Inside em relacao a Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19442-19452	Stressed e' um atributo de Objeto Objeto e' uma instancia de Palavra Objeto e' uma &parte de Objeto Objeto2 Objeto2 e' uma instancia de Syllable Objeto2 e' uma &parte de Objeto Stressed e' um atributo de Objeto2 Objeto2 e' igual a Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9737-9742	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.	VirusProteinAndCellPart.kif 702-710	chromosomeNumber EukaryoticCell and Numero Inteiro Objeto e' uma &parte de EukaryoticCell Objeto e' uma instancia de CellNucleus EukaryoticCellOLL e' uma instancia de Colecao EukaryoticCellOLL e' situado em Objeto memberType EukaryoticCellOLL and Chromosome memberCount EukaryoticCellOLL and Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 234-249	concentration Numero Real Unidade de Medida(s), Substancia, Numero Real Unidade de Medida2(s) and Mistura SubstanciaI e' uma instancia de Substancia SubstanciaI e' uma &parte de Mistura a medida de SubstanciaI e' Numero Real Unidade de Medida3(s) SubstanciaI e' uma &parte de Mistura SubstanciaI2 e' uma instancia de Substancia SubstanciaI e' igual a SubstanciaIE2 SubstanciaI2 e' uma &parte de Mistura a medida de Mistura e' Numero Real Unidade de Medida2(s) approximateValue Numero Real and Numero Real
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.	Cars.kif 1541-1549	cylinderBore Buraco and Medida de Comprimento Buraco e' uma instancia de Buraco shape Buraco and Cylinder Objeto e' uma &parte de Buraco Objeto e' uma instancia de Regiao shape Objeto and Circle o diametro de Objeto e' Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2591-2609	engineIdleSpeed InternalCombustionEngine and RotationFn Numero Real MilesPerHour(s) and Duracao Temporal Objeto e' uma instancia de Automobile Processo e' uma instancia de GasPedal Processo e' uma instancia de Pushing Processo termina em Objeto InternalCombustionEngine e' uma &parte de Objeto Objeto e' uma &parte de Objeto Objeto e' uma instancia de Crankshaft Objeto e' uma &parte de InternalCombustionEngine a medida de Objeto e' RotationFn Entidade MilesPerHour(s) and Duracao Temporal vale durante tempo de existencia de Processo o argumento Entidade e' maior que Numero Real tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1923-1939	ennervates Nerve and Musculo Objeto e' uma instancia de Nerve Objeto e' uma instancia de Musculo Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto Healthy e' um atributo de Objeto Objeto e' uma instancia de Humano Objeto tem por fim ObjetoF Entidade ObjetoF e' uma instancia de NerveFiring Objeto e' um instrumento para ObjetoF Musculo e' uma instancia de MuscleContraction Objeto e' um instrumento para ObjetoV ObjetoF causa Musculo
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2636-2644	Objeto e' igual a LineFn Objeto and Objeto Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto Objeto e' igual a Objeto Objeto2 e' igual a LineFn Objeto and Objeto Objeto2 e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 793-802	haploidNumber Gamete and Numero Inteiro Gamete e' uma instancia de Gamete Objeto e' uma &parte de Gamete Objeto e' uma instancia de CellNucleus Colecao e' uma instancia de Colecao Colecao e' situado em Objeto memberType Colecao and Chromosome memberCount Colecao and Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1838-1860	LateralRecumbant e' um atributo de Objeto Objeto e' On em relacao a Objeto vale durante Posicao Temporal Objeto e' uma instancia de LeftArm Objeto e' uma &parte de Objeto Objeto e' uma instancia de RightArm Objeto e' uma &parte de Objeto Objeto e' uma instancia de LeftLeg Objeto e' uma &parte de Objeto Objeto e' uma instancia de RightLeg Objeto e' uma &parte de Objeto Objeto encontra Objeto Objeto encontra Objeto Objeto nao encontra %n Objeto Objeto nao encontra %n Objeto vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1862-1884	LateralRecumbant e' um atributo de Objeto Objeto e' On em relacao a Objeto vale durante Posicao Temporal Objeto e' uma instancia de LeftArm Objeto e' uma &parte de Objeto Objeto e' uma instancia de RightArm Objeto e' uma &parte de Objeto Objeto e' uma instancia de LeftLeg Objeto e' uma &parte de Objeto Objeto e' uma instancia de RightLeg Objeto e' uma &parte de Objeto Objeto encontra Objeto Objeto encontra Objeto Objeto nao encontra %n Objeto Objeto nao encontra %n Objeto vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1799-1807	Prone e' um atributo de Objeto Objeto e' On em relacao a Objeto vale durante Posicao Temporal Objeto e' uma instancia de Chest Objeto e' uma &parte de Objeto Objeto encontra Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18268-18276	DeadOrMissingBodyPartFn Classe e' um atributo de Objeto vale durante Posicao Temporal ClasseI e' uma instancia de Classe ClasseI e' uma &parte de Objeto ClasseI tem por fim Formula Formula

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12488-12495	Processo e' uma instancia de Combinar Objeto e' um recurso para Processo Entidade e' o resultado de Processo Objeto e' uma &parte de Entidade vale durante o comeco de tempo de existencia de Processo Objeto e' uma &parte de Entidade vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7440-7451	Objeto e' uma instancia de ParticulateMatter Objeto auto-conectado e' uma &parte de Objeto approximateDiameter Objeto auto-conectado and Numero Real Micrometer(s) 10.0 e' maior que Numero Real Numero Real e' maior que 2.5 Objeto10 Objeto10 e' uma instancia de CoarseParticulateMatter Objeto10 e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7469-7479	Objeto e' uma instancia de ParticulateMatter Objeto auto-conectado e' uma &parte de Objeto approximateDiameter Objeto auto-conectado and Numero Real Micrometer(s) Numero Real e' maior ou igual a 2.5 Objeto25 Objeto25 e' uma instancia de FineParticulateMatter Objeto25 e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11681-11688	Objeto e' uma instancia de Osso Objeto Objeto e' uma instancia de Skeleton Objeto e' uma instancia de Exoskeleton Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1277-1287	totalFacilityTypeInArea Area Geografica, a classe correspondente a AirportWithPavedRunway and Numero Inteiro nao-negativo Sequencia Simbolica Entidade cardinality a classe descrita por Sequencia Simbolica and Numero Inteiro nao-negativo
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 632-640	accountAtSite UserAccount and WebSite Objeto WebSite_OWNER Objeto e' uma instancia de Database WebSite_OWNER e' uma instancia de AutonomousAgent WebSite_OWNER possui WebSite WebSite_OWNER possui Objeto UserAccount e' uma &parte de Objeto
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.	Music.kif 426-436	MashupRecording e' um atributo de Objeto Objeto e' uma instancia de Recording Objeto1 Objeto2, Musica and Musica musicInterpretation Objeto1 and Musica musicInterpretation Objeto2 and Musica Musica e' igual a Musica Objeto1 e' uma &parte de Objeto Objeto2 e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19442-19452	Stressed e' um atributo de Objeto Objeto e' uma instancia de Palavra Objeto e' uma &parte de Objeto Objeto2 Objeto2 e' uma instancia de Syllable Objeto2 e' uma &parte de Objeto Stressed e' um atributo de Objeto2 Objeto2 e' igual a Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4078-4095	GeometricFigure e' um atributo de Objeto Objeto e' uma instancia de FourPosterBed GeometricFigure e' uma instancia de Quadrilateral o lado de GeometricFigure e' OneDimensionalFigure o lado de GeometricFigure e' OneDimensionalFigure OneDimensionalFigure e' igual a OneDimensionalFigure Objeto Objeto, GeometricPoint and Objeto Objeto e' uma &parte de Objeto Objeto e' uma instancia de Floor Objeto e' On em relacao a Objeto Objeto e' Vertical em relacao a Objeto pointOfIntersection OneDimensionalFigure, OneDimensionalFigure and GeometricPoint GeometricPoint e' um atributo de Objeto Objeto encontra Objeto
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1207-1216	Atributo e' um atributo de Objeto Atributo e' uma instancia de HotelLevelAttribute Objeto e' uma instancia de BuildingLevel Objeto Objeto e' uma instancia de HotelBuilding Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1935-1946	TravelerAccommodation e' um atributo de AutonomousAgent AutonomousAgent e' capaz de fazer RoomCleaningService no role agent Agente Cognitivo Objeto AutonomousAgent emprega Agente Cognitivo Maid e' um atributo de Agente Cognitivo Objeto e' uma instancia de HotelUnit Objeto e' uma &parte de propriedade de AutonomousAgent Objeto e' capaz de fazer RoomCleaningService no role patient Agente Cognitivo e' capaz de fazer RoomCleaningService no role serviceProvider
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 48-56	Objeto e' capaz de fazer Processo no role Role em Caso Processo e' uma sub-classe de Atirar Objeto Objeto e' uma instancia de Arma Objeto e' uma &parte de Objeto Objeto e' capaz de fazer Processo no role Role em Caso
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11966-11976	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.	Hotel.kif 1127-1140	Objeto e' um elemento de propriedade de Organizacao AnnexRoom e' um atributo de Objeto Objeto e' uma instancia de HotelRoom Objeto Objeto and Organizacao Organizacao e' uma parte da organizacao Organizacao Organizacao e' uma instancia de HotelFrontDesk Organizacao e' situado em Objeto Objeto e' um elemento de propriedade de Organizacao Objeto e' um elemento de propriedade de Organizacao Objeto e' uma &parte de Objeto Objeto e' igual a Objeto
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2636-2644	Objeto e' igual a LineFn Objeto and Objeto Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto Objeto e' igual a Objeto Objeto2 e' igual a LineFn Objeto and Objeto Objeto2 e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5267-5276	Objeto e' igual a OrganicObjectFn Objeto Organico Objeto e' uma sub-classe de Objeto Objeto Objeto Objeto e' uma instancia de DeadFn Objeto Organico Objeto e' uma &parte de Objeto Objeto e' uma instancia de Objeto Organico
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6356-6363	AutonomousAgent experimenta Processo AutonomousAgent e' uma instancia de PainFn Parte do Corpo Parte do CorpoART Parte do CorpoART e' uma &parte de Processo Parte do CorpoART e' situado em Parte do Corpo
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2573-2589	A medida de Objeto e' Funcao de Quantidade vale durante Posicao Temporal engineIdleSpeed InternalCombustionEngine and Funcao de Quantidade Objeto e' uma instancia de Automobile InternalCombustionEngine e' uma &parte de Objeto Objeto e' uma &parte de InternalCombustionEngine o argumento Entidade Entidade Entidade acontece durante Posicao Temporal Entidade e' uma instancia de Pushing Entidade termina em Entidade Entidade e' uma &parte de Objeto tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9916-9923	Buraco e' um buraco dans Objeto auto-conectado Buraco e' um buraco dans Objeto auto-conectado Buraco Buraco e' uma &parte de a uniao das partes de Buraco e Buraco Buraco e' um buraco dans Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23709-23718	initialPart Objeto and Objeto Fisico e' uma instancia de Objeto Entidade Entidade e' uma instancia de Objeto Fisico e' uma &parte de Entidade vale durante o comeco de tempo de existencia de Fisico
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23736-23744	initiallyContainsPart Objeto and Objeto Fisico e' uma instancia de Objeto Entidade Entidade e' uma instancia de Objeto Entidade e' uma &parte de Fisico vale durante o comeco de tempo de existencia de Fisico
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6237-6246	Objeto e' uma instancia de BodyAreaFn Parte do Corpo Objeto e' uma instancia de Animal Objeto e' uma &parte de Objeto Objeto Objeto e' uma instancia de Parte do Corpo Objeto e' Near em relacao a Objeto Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6257-6275	Processo e' uma instancia de Amputating Entidade e' um patient de Processo Objeto e' uma instancia de Limb Objeto Objeto Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto Objeto e' uma instancia de Osso Objeto e' uma &parte de Entidade vale durante imediatemente antes de tempo de existencia de Processo Objeto e' uma &parte de Entidade vale durante imediatemente antes de tempo de existencia de Processo

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.	VirusProteinAndCellPart.kif 1162-1162	ViralPartFn Virus and VirusPart e' uma &parte de Virus
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 711-711	AtlantaGeorgia e' uma &parte de Georgia
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 662-662	Australia e' uma &parte de Oceania
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 714-714	BaltimoreMaryland e' uma &parte de Maryland
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 724-724	BostonMassachusetts e' uma &parte de Massachusetts
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1611-1611	ChicagoUnitedStates e' uma &parte de Illinois
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 854-854	ClevelandOhio e' uma &parte de Ohio
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 915-915	Connecticut e' uma &parte de NewEngland
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 851-851	DallasTexas e' uma &parte de Texas
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 841-841	DetroitMichigan e' uma &parte de Michigan
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 835-835	FargoNorthDakota e' uma &parte de NorthDakota
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1242-1242	Germany e' uma &parte de Europe
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1245-1245	Greece e' uma &parte de Europe
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 828-828	HoustonTexas e' uma &parte de Texas
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 832-832	HudsonRiver e' uma &parte de NewYorkState
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 728-728	KansasCityMissouri e' uma &parte de Missouri
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 820-820	KoreanPeninsula e' uma &parte de Asia
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 805-805	LongIsland e' uma &parte de NewYorkState
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 810-810	LosAngelesCalifornia e' uma &parte de California
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 731-731	ManchesterNewHampshire e' uma &parte de NewHampshire
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 989-989	Massachusetts e' uma &parte de NewEngland
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 733-733	MemphisTennessee e' uma &parte de Tennessee
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 737-737	MinneapolisMinnesota e' uma &parte de Minnesota
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 740-740	MississippiRiver e' uma &parte de UnitedStates
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 746-746	MontrealCanada e' uma &parte de Canada

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: