not - Sigma Knowledge base Browser

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41285-41285
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41284-41284
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41283-41283

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1818-1828	Processo e' uma instancia de Withdrawal FinancialAccount e' uma instancia de FinancialAccount Processo tem como origem CurrencyFn FinancialAccount Processo Processo e' uma instancia de Penalty Processo termina em CurrencyFn FinancialAccount Processo causa Processo liquidity FinancialAccount and HighLiquidity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17325-17333	Entidade e' uma instancia de Humano Entidade Entidade nao emprega %n Entidade vale durante Posicao Temporal Unemployed e' um atributo de Entidade vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Economy.kif 506-510	HighIncomeCountry e' um atributo de AutonomousAgent AutonomousAgent e' membro de OrganizationOfPetroleumExportingCountries economyType AutonomousAgent and DevelopedCountry
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1165-1176	FamilyStylePortion e' um atributo de Objeto a medida de Objeto e' Numero Real Unidade de Medida(s) FamilyStylePortion e' um atributo de Objeto a medida de Objeto e' Numero Real Unidade de Medida(s) Objeto e' uma instancia de Classe Objeto e' uma instancia de Classe Unidade de Medida e' uma instancia de Unidade de Medida Numero Real e' maior que Numero Real
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.	Medicine.kif 3984-4004	ADHD e' um atributo de AutonomousAgent ADHD e' um atributo de AutonomousAgent AutonomousAgent e' igual a AutonomousAgent Processo e' uma instancia de Classe Processo e' uma instancia de Classe Classe e' uma sub-classe de Processo Psicologico Intencional Processo e' um agente de AutonomousAgent Processo e' um agente de AutonomousAgent a duracao de tempo de existencia de Processo e' Duracao Temporal a duracao de tempo de existencia de Processo e' Duracao Temporal o argumento Duracao Temporal e' maior que Duracao Temporal tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12564-12574	Atributo e' um atributo de Objeto Atributo e' uma instancia de Fingerprint Objeto e' uma instancia de Finger AtributoR Objeto Objeto e' um instrumento para AtributoR Objeto e' uma instancia de Finger Atributo e' um atributo de Objeto Objeto e' um patient de AtributoR
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 4071-4088	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.	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.	Medicine.kif 367-385	breathingRate AutonomousAgent, Intervalo Temporal and Numero Inteiro Intervalo Temporal e' uma instancia de Minuto Numero Inteiro Numero Inteiro e' uma instancia de Recreacao ou Exercicio Numero Inteiro e' um agente de AutonomousAgent Intervalo Temporal acontece durante tempo de existencia de Numero Inteiro HumanAdult e' um atributo de AutonomousAgent vale durante Intervalo Temporal Numero Inteiro e' maior que 16 Numero Inteiro e' menos que 12 Healthy e' um atributo de AutonomousAgent vale durante Intervalo Temporal
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.	Dining.kif 1148-1156	A probabilidade de ComfortFood e' um atributo de Entidade sabendo que HeartHealthyFood e' um atributo de Entidade vale e' Numero Real a probabilidade de ComfortFood e' um atributo de Entidade sabendo que HeartHealthyFood e' um atributo de Entidade vale e' Numero Real Numero Real e' menos que Numero Real
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.	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 476-484	@ROW e' &o oposto de Atributo e' igual a Entidade elemento de (@ROW) Atributo e' igual a Entidade elemento de (@ROW) Inteiro positivo e' igual a Inteiro positivo Entidade tem um atributo de Atributo Entidade tem um atributo de Atributo
No TPTP formula. May not be expressible in strict first order.	Dining.kif 130-150	customer Agente Cognitivo and AutonomousAgent corkageFee Medida de Divisa, Objeto and AutonomousAgent Objeto e' uma instancia de Objeto Processo Processo e' uma instancia de Comprar Objeto e' um patient de Processo Processo termina em Agente Cognitivo Processo tem como origem AutonomousAgent Processo e' uma instancia de Beber Processo e' um agente de Agente Cognitivo Objeto e' um recurso para Processo Processo Processo e' uma instancia de Corkage Processo e' um agente de Agente Cognitivo Processo inclui uma referencia a Objeto Processo termina em AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1347-1358	Componente de Engenharia e' um componente de Internet Componente de Engenharia e' um componente de Internet Componente de Engenharia e' igual a Componente de Engenharia Internet tem por fim Entidade Entidade e' uma instancia de Communicacao Entidade e' um agente de Componente de Engenharia Entidade termina em Componente de Engenharia Internet e' um instrumento para Entidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4862-4873	O maior divisor comum de @ROW e' igual a Numero Inteiro Numero Inteiro e' igual a 0 Numero Inteiro Numero Inteiro e' um membro de (@ROW) Numero Inteiro mod Numero Inteiro e' igual a 0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4875-4889	O maior divisor comum de @ROW e' igual a Numero Inteiro Numero Inteiro e' igual a 0 Numero Inteiro Numero Inteiro e' maior que Numero Inteiro Numero Inteiro Numero Inteiro e' um membro de (@ROW) Numero Inteiro mod Numero Inteiro e' igual a 0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4947-4957	O minimo multiplo comum de numero, de inteiro @ROW e' igual a Numero Inteiro Numero Inteiro e' igual a 0 Numero Inteiro Numero Inteiro e' um membro de (@ROW) Numero Inteiro mod Numero Inteiro e' igual a 0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4959-4973	O minimo multiplo comum de numero, de inteiro @ROW e' igual a Numero Inteiro Numero Inteiro e' igual a 0 Numero Inteiro Numero Inteiro e' menos que Numero Inteiro Numero Inteiro Numero Inteiro e' um membro de (@ROW) Numero Inteiro mod Numero Inteiro e' igual a 0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5131-5143	Numero Inteiro mod Numero Inteiro e' igual a Numero Inteiro Numero Inteiro e' igual a 0 Numero Inteiro e' igual a 0 Numero Inteiro e' igual a 0 o sinal de Numero Inteiro e' igual a o sinal de Numero Inteiro

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.	Mid-level-ontology.kif 30202-30212	Entidade e' uma instancia de Parte do Corpo Bare e' um atributo de Entidade vale durante Posicao Temporal Entidade Entidade e' uma instancia de Roupa covers Entidade and Entidade vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12512-12519	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.	People.kif 357-390	Ano e' uma instancia de o ano AnoEAR MaleLifeExpectancyAtBirthFn Area Geopolitica and Ano e' igual a Numero Real Lista Numero Inteiro, Sequencia Simbolica, Entidade, Entidade and Entidade Lista e' uma instancia de Lista comprimento de Lista e' uma instancia de Numero Inteiro ListaITEM ListaITEM e' um membro de Lista ListaITEM e' uma instancia de Sequencia Simbolica Entidade Entidade e' uma instancia de Sequencia Simbolica Entidade e' um membro de Lista Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica average Lista and Numero Real
No TPTP formula. May not be expressible in strict first order.	People.kif 403-436	Ano e' uma instancia de o ano Numero Inteiro FemaleLifeExpectancyAtBirthFn Area Geopolitica and Ano e' igual a Numero Real Lista Numero Inteiro, Sequencia Simbolica, Entidade, Entidade and Entidade Lista e' uma instancia de Lista comprimento de Lista e' uma instancia de Numero Inteiro ListaITEM ListaITEM e' um membro de Lista ListaITEM e' uma instancia de Sequencia Simbolica Entidade Entidade e' uma instancia de Sequencia Simbolica Entidade e' um membro de Lista Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica average Lista and Numero Real
No TPTP formula. May not be expressible in strict first order.	People.kif 310-342	Ano e' uma instancia de o ano Numero Inteiro LifeExpectancyAtBirthFn Area Geopolitica and Ano e' igual a Numero Real Lista Numero Inteiro, Sequencia Simbolica, Entidade, Entidade and Entidade Lista e' uma instancia de Lista comprimento de Lista e' uma instancia de Numero Inteiro ListaITEM ListaITEM e' um membro de Lista ListaITEM e' uma instancia de Sequencia Simbolica Entidade Entidade e' uma instancia de Sequencia Simbolica Entidade e' um membro de Lista Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica average Lista and Numero Real
No TPTP formula. May not be expressible in strict first order.	People.kif 156-187	Ano e' uma instancia de o ano Numero Inteiro MigrantsPerThousandFn Area Geopolitica and Ano e' igual a Numero Real ( Numero Inteiro + Numero Inteiro) e' igual a 1 Entidade e' uma instancia de o ano Numero Inteiro PopulationFn Area Geopolitica e' igual a Numero Real vale durante Ano Numero Real + 1000 e' igual a Numero Real Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica ( Numero Inteiro + Numero Inteiro) e' igual a Numero Real Numero Real + Numero Real e' igual a Numero Real
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 744-755	PolyphonicMusic e' um atributo de Objeto Processo Processo Objeto e' uma instancia de MakingMusic Processo e' uma instancia de MakingMusic Processo e' uma instancia de MakingMusic Processo e' um sub-processo de Objeto Processo e' um sub-processo de Objeto Processo e' igual a Processo Processo acontece ao mesmo tempo que Objeto Processo acontece ao mesmo tempo que Objeto
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4711-4720	OpenSea e' um atributo de Objeto Fisico Numero Real Objeto e' uma instancia de Area Aquatica salgada Objeto e' uma instancia de LandlockedWater a distancia entre Fisico e Objeto e' Numero Real NauticalMile(s) Numero Real e' maior que 5.0
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23113-23128	cousin Humano and Humano Woman Man grandmother Humano and Woman grandfather Humano and Man grandmother Humano and Woman grandfather Humano and Man Organismo Organismo Organismo e' a mae de Humano Organismo e' o pai de Humano Organismo e' a mae de Humano Organismo e' o pai de Humano
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30156-30164	Barefoot e' um atributo de Entidade vale durante Posicao Temporal Entidade Entidade e' uma instancia de Shoe Entidade usa Entidade vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30169-30177	Naked e' um atributo de Entidade vale durante Posicao Temporal Entidade Entidade e' uma instancia de Roupa Entidade usa Entidade vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30247-30260	Alone e' um atributo de Entidade vale durante Intervalo Temporal Entidade2 Processo Entidade e' igual a Entidade2 Entidade2 e' uma instancia de AutonomousAgent Processo e' uma instancia de Interacao Social tempo de existencia de Processo acontece durante Intervalo Temporal involvedInEvent Processo and Entidade involvedInEvent Processo and Entidade2
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30295-30303	Mute e' um atributo de AutonomousAgent vale durante Intervalo Temporal Processo Processo e' uma instancia de Speaking tempo de existencia de Processo acontece durante Intervalo Temporal Processo e' um agente de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6472-6482	Entidade e' uma instancia de ConjugatedSubstance Objeto Objeto and Processo Objeto e' uma instancia de Substancia Composta Objeto e' uma instancia de Substancia Composta Objeto e' igual a Objeto Processo e' uma instancia de Sintese Quimica Objeto e' um recurso para Processo Objeto e' um recurso para Processo Entidade e' o resultado de Processo
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 294-306	lengthOfUnclassifiedGaugeRailway Area Geografica and Medida de Comprimento o comprimento de a classe descrita por Sequencia Simbolica e' Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30320-30334	Processo e' feito de forma Harmless Processo e' uma instancia de Causar Dano Processo2 Processo2 e' uma instancia de Causar Dano Processo2 e' um sub-processo de Processo Processo2 Processo2 e' uma instancia de Causar Dano Processo causa Processo2
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13877-13884	O argumento Formula tem a forca modal de Legal Formula o argumento Formula tem a forca modal de Law consistent Formula and Formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17487-17489	O argumento Formula tem a forca modal de Necessity o argumento Formula nao %n a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17550-17552	O argumento Formula tem a forca modal de Obligation o argumento Formula nao %n a forca modal de Permission
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17586-17588	O argumento Formula tem a forca modal de Prohibition o argumento Formula nao %n a forca modal de Permission
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9146-9149	Objeto e' Outside em relacao a Objeto Objeto e' parcialmente localizado em Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23204-23211	stepfather Humano and Man Humano Humano e' a mae de Humano spouse Man and Humano Man e' o pai de Humano
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23221-23228	stepmother Humano and Woman Humano Humano e' o pai de Humano spouse Woman and Humano Woman e' a mae de Humano
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14118-14125	agreementClause Proposicao, Prohibition, Agreement and Agente Cognitivo Agente Cognitivo nao %n o direito de executar Entidade Entidade exprime o conteudo de Proposicao Entidade e' um agente de Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14082-14085	agreementExpirationDate Agreement and Ponto no tempo Agreement tem um atributo de ActiveAgreement vale durante apos Ponto no tempo

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

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

Media.kif 2546-2550

Posicao Temporal e' uma instancia de o dia 3 SerbiaAndMontenegro e' uma instancia de IndependentState vale durante apos Posicao Temporal

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2011-2015	~{ hasGUEState GUIElement and GUE_NonVisibleState } ~{ hasGUEState GUIElement and GUE_ActiveState } ~{ GUIElement e' uma instancia de InterfaceWindow }
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2226-2229	~{ GUIElement e' uma instancia de Cursor } ~{ hasGUEState GUIElement and GUE_SelectedState }
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1952-1955	~{ GUIElement e' uma instancia de MouseCursor } ~{ hasGUEState GUIElement and GUE_ActiveState }
No TPTP formula. May not be expressible in strict first order.	Government.kif 2879-2879	BigSix e' igual a GroupOf6
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6100-6107	Caminho do Grafo Caminho do Grafo Caminho do Grafo e' uma instancia de o conjunto de caminhos que dividem Grafo em dois grafos distintos Caminho do Grafo e' uma instancia de o conjunto minimal de caminhos que dividem Grafo em dois grafos distintos o comprimento de Caminho do Grafo e' Inteiro positivo o comprimento de Caminho do Grafo e' Inteiro positivo Inteiro positivo e' menos que Inteiro positivo
No TPTP formula. May not be expressible in strict first order.	Government.kif 3183-3183	Denmark e' membro de EuropeanMonetaryUnion
No TPTP formula. May not be expressible in strict first order.	Government.kif 3184-3184	Sweden e' membro de EuropeanMonetaryUnion
No TPTP formula. May not be expressible in strict first order.	Government.kif 3185-3185	UnitedKingdom e' membro de EuropeanMonetaryUnion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7918-7918	BeforeCommonEra nao engloba %n CommonEra
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3585-3585	vegetationType ArcticRegion and BotanicalTree

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: