or - Sigma Knowledge base Browser

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42384-42384
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42383-42383
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42382-42382

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24713-24720	PostalPlace e' situado em Area Geopolitica PostalPlace e' uma instancia de PostalPlace Area Geopolitica e' uma instancia de Nacao Area Geopolitica e' uma instancia de DependencyOrSpecialSovereigntyArea postCountry PostalPlace and Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14079-14089	agreementClause Proposicao, Atributo Deontico, Agreement and Agente Cognitivo Atributo Deontico e' igual a Obligation Atributo Deontico e' igual a Promise o argumento Entidade Entidade exprime o conteudo de Proposicao Entidade e' um agente de Agente Cognitivo tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26159-26171	WheelchairAccessible e' um atributo de Objeto Objeto e' uma instancia de Predio Objeto e' uma instancia de Comodo o argumento Entidade Entidade Entidade e' uma instancia de Movimento Entidade e' um instrumento para Entidade Entidade e' uma instancia de Wheelchair eventLocated Entidade and Objeto tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Biography.kif 730-740	Writer e' um atributo de AutonomousAgent Entidade e' uma instancia de Objeto Representendo Conteudo Abstrato Objeto Representendo Conteudo Abstrato e' uma sub-classe de Texto Objeto Representendo Conteudo Abstrato e' uma sub-classe de Document Processo e' uma instancia de Escrever Processo e' um agente de AutonomousAgent Entidade e' o resultado de Processo AutonomousAgent e' o autor de Objeto Representendo Conteudo Abstrato
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.	Economy.kif 2112-2121	electricityConsumptionInPeriod Area Geopolitica, Quantidade Fisica and Intervalo Temporal Intervalo Temporal e' uma sub-classe de Ano Intervalo Temporal e' uma sub-classe de FiscalYearFn Area Geopolitica Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal annualElectricityConsumption Area Geopolitica and Quantidade Fisica vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2156-2165	electricityExportInPeriod Area Geopolitica, Quantidade Fisica and Intervalo Temporal Intervalo Temporal e' uma sub-classe de Ano Intervalo Temporal e' uma sub-classe de FiscalYearFn Area Geopolitica Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal annualElectricityExport Area Geopolitica and Quantidade Fisica vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2202-2211	electricityImportInPeriod Area Geopolitica, Quantidade Fisica and Intervalo Temporal Intervalo Temporal e' uma sub-classe de Ano Intervalo Temporal e' uma sub-classe de FiscalYearFn Area Geopolitica Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal annualElectricityImport Area Geopolitica and Quantidade Fisica vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1980-1989	electricityProductionInPeriod Area Geopolitica, Quantidade Fisica and Intervalo Temporal Intervalo Temporal e' uma sub-classe de Ano Intervalo Temporal e' uma sub-classe de FiscalYearFn Area Geopolitica Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal annualElectricityProduction Area Geopolitica and Quantidade Fisica vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5993-6006	O valor de Caminho do Grafo e' igual a Numero Real Arco do Grafo e' uma &parte de Caminho do Grafo Arco do Grafo e' uma &parte de Caminho do Grafo o valor de Arco do Grafo e' Numero Real o valor de Arco do Grafo e' Numero Real Elemento do Grafo Elemento do Grafo e' uma &parte de Caminho do Grafo Elemento do Grafo e' igual a Arco do Grafo Elemento do Grafo e' igual a Arco do Grafo o valor de Caminho do Grafo e' igual a ( Numero Real + Numero Real)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5979-5991	O valor de Caminho do Grafo e' igual a Numero Real Caminho do Grafo e' um sub-grafo de Caminho do Grafo Arco do Grafo e' uma &parte de Caminho do Grafo o valor de Arco do Grafo e' Numero Real Elemento do Grafo Elemento do Grafo e' uma &parte de Caminho do Grafo Elemento do Grafo e' uma &parte de Caminho do Grafo Elemento do Grafo e' igual a Arco do Grafo Numero Real e' igual a (o valor de Caminho do Grafo + Numero Real)
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4532-4543	Objeto e' igual a OrganicObjectFn Objeto Objeto e' uma sub-classe de OilFromPlant Objeto e' uma sub-classe de Seed Objeto e' uma sub-classe de Fruit Objeto Objeto e' uma sub-classe de Planta Florindo initialPart Objeto and Objeto
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2277-2286	exportTotalInPeriod Area Geopolitica, Medida de Divisa and Intervalo Temporal Intervalo Temporal e' uma sub-classe de Ano Intervalo Temporal e' uma sub-classe de FiscalYearFn Area Geopolitica Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal annualExportTotal Area Geopolitica and Medida de Divisa vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 841-862	freeFunctionRoomAmenity HotelFunctionRoom and Fisico Entidade e' uma instancia de HotelFunctionRoom Entidade e' um elemento de propriedade de AutonomousAgent Processo e' uma instancia de Renting Entidade e' um patient de Processo Processo termina em Agente Cognitivo Objeto e' uma instancia de Fisico AutonomousAgent possui Objeto customer Agente Cognitivo and AutonomousAgent Objeto e' uma instancia de Processo Objeto e' um agente de Agente Cognitivo Agente Cognitivo experimenta Objeto AutonomousAgent possui Objeto Objeto e' uma instancia de Objeto Agente Cognitivo usa Objeto price Objeto, 0 UnitedStatesDollar(s) and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 546-561	freePropertyAmenity AutonomousAgent and Fisico Processo e' uma instancia de Fisico customer Agente Cognitivo and AutonomousAgent Processo e' uma instancia de Processo Processo e' um agente de Agente Cognitivo Agente Cognitivo experimenta Processo AutonomousAgent possui Processo Processo e' uma instancia de Objeto Agente Cognitivo usa Processo price Processo, 0 UnitedStatesDollar(s) and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 346-361	freeRoomAmenity HotelUnit and Fisico Fisico e' uma sub-classe de Objeto TemporaryResidence e' uma instancia de HotelUnit stays Humano and TemporaryResidence TemporaryResidence e' um elemento de propriedade de AutonomousAgent Objeto e' uma instancia de Fisico Objeto e' situado em TemporaryResidence Processo e' uma instancia de Processo Processo e' um agente de Humano Objeto e' um patient de Processo Objeto e' um instrumento para Processo Objeto e' um recurso para Processo price Objeto, 0 UnitedStatesDollar(s) and Humano
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 364-378	freeRoomAmenity HotelUnit and Fisico Fisico e' uma sub-classe de Processo TemporaryResidence e' uma instancia de HotelUnit stays Humano and TemporaryResidence TemporaryResidence e' um elemento de propriedade de AutonomousAgent Humano e' um patient de Processo Processo e' uma instancia de Fisico Processo e' uma instancia de Fisico Processo e' um sub-processo de Processo Processo e' situado em TemporaryResidence price Processo, 0.0 UnitedStatesDollar(s) and Humano
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.	Economy.kif 2123-2130	annualElectricityConsumption Area Geopolitica and Quantidade Fisica vale durante Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal Intervalo Temporal e' uma sub-classe de Ano Intervalo Temporal e' uma sub-classe de FiscalYearFn Area Geopolitica electricityConsumptionInPeriod Area Geopolitica, Quantidade Fisica and Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2167-2174	annualElectricityExport Area Geopolitica and Quantidade Fisica vale durante Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal Intervalo Temporal e' uma sub-classe de Ano Intervalo Temporal e' uma sub-classe de FiscalYearFn Area Geopolitica electricityExportInPeriod Area Geopolitica, Quantidade Fisica and Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2213-2220	annualElectricityImport Area Geopolitica and Quantidade Fisica vale durante Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal Intervalo Temporal e' uma sub-classe de Ano Intervalo Temporal e' uma sub-classe de FiscalYearFn Area Geopolitica electricityImportInPeriod Area Geopolitica, Quantidade Fisica and Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1991-1998	annualElectricityProduction Area Geopolitica and Quantidade Fisica vale durante Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal Intervalo Temporal e' uma sub-classe de Ano Intervalo Temporal e' uma sub-classe de FiscalYearFn Area Geopolitica electricityProductionInPeriod Area Geopolitica, Quantidade Fisica and Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2288-2295	annualExportTotal Area Geopolitica and Medida de Divisa vale durante Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal Intervalo Temporal e' uma sub-classe de Ano Intervalo Temporal e' uma sub-classe de FiscalYearFn Area Geopolitica exportTotalInPeriod Area Geopolitica, Medida de Divisa and Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2594-2601	annualImportTotal Area Geopolitica and Medida de Divisa vale durante Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal Intervalo Temporal e' uma sub-classe de Ano Intervalo Temporal e' uma sub-classe de FiscalYearFn Area Geopolitica importTotalInPeriod Area Geopolitica, Medida de Divisa and Intervalo Temporal

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 4768-4779	O valor absoluto de Numero Real e' igual a Numero Real nao-negativo Numero Real e' uma instancia de Numero Real Numero Real nao-negativo e' uma instancia de Numero Real Numero Real e' uma instancia de Numero Real nao-negativo Numero Real e' igual a Numero Real nao-negativo Numero Real e' uma instancia de Numero Real negativo Numero Real nao-negativo e' igual a (0.0 + Numero Real)
No TPTP formula. May not be expressible in strict first order.	Government.kif 1400-1404	Queen e' um atributo de Objeto QueenRegnant e' um atributo de Objeto QueenConsort e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1885-1889	Numero Real e' maior ou igual a Numero Real Numero Real e' igual a Numero Real Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1601-1607	LegalAgent e' um atributo de Entidade vale durante Posicao Temporal Entidade e' capaz de fazer Acao Legal no role agent Entidade e' capaz de fazer Acao Legal no role patient vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11682-11689	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.	Geography.kif 3504-3513	Entidade e' uma instancia de Continente Africa e' igual a Entidade NorthAmerica e' igual a Entidade SouthAmerica e' igual a Entidade Antarctica e' igual a Entidade Europe e' igual a Entidade Asia e' igual a Entidade Oceania e' igual a Entidade
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3488-3494	Entidade e' uma instancia de Hemisphere Entidade e' igual a NorthernHemisphere Entidade e' igual a SouthernHemisphere Entidade e' igual a EasternHemisphere Entidade e' igual a WesternHemisphere
No TPTP formula. May not be expressible in strict first order.	Government.kif 108-115	Organizacao e' uma instancia de GovernmentOrganization Organizacao e' uma instancia de Governo Organizacao Organizacao e' uma instancia de Governo Organizacao e' uma parte da organizacao Organizacao
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1867-1871	Numero Real e' menor ou igual a Numero Real Numero Real e' igual a Numero Real Numero Real e' menos que Numero Real
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.	Merge.kif 17091-17095	Objeto e' Below em relacao a Objeto Objeto e' On em relacao a Objeto Objeto e' Above em relacao a Objeto
No TPTP formula. May not be expressible in strict first order.	Government.kif 738-753	agreementRevisionDate Proposicao, Posicao Temporal and Proposicao Posicao Temporal Posicao Temporal e' uma instancia de Posicao Temporal Proposicao e' uma &sub-proposicao de Proposicao vale durante imediatemente antes de Posicao Temporal Proposicao e' uma &sub-proposicao de Proposicao vale durante imediatemente apos Posicao Temporal Proposicao e' uma &sub-proposicao de Proposicao vale durante imediatemente antes de Posicao Temporal Proposicao e' uma &sub-proposicao de Proposicao vale durante imediatemente apos Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 655-667	amountDue FinancialAccount, Medida de Divisa and Posicao Temporal accountHolder FinancialAccount and Agente Cognitivo Agente Cognitivo e' obrigado a executar tarefas de tipo a classe descrita por Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31387-31394	applicableRelation Objeto and Relacao Objeto e' uma instancia de ObjetoC o argumento numero 1 de Relacao e' uma instancia de Classe ObjetoC e' igual a Classe ObjetoC e' uma sub-classe de Classe
No TPTP formula. May not be expressible in strict first order.	Military.kif 286-297	Atributo e' um atributo de AutonomousAgent Atributo e' uma instancia de CommissionedOfficerRank Processo Objeto Processo e' uma instancia de Administrar Processo e' um agente de AutonomousAgent Objeto e' um patient de Processo Objeto e' uma instancia de MilitaryOrganization Soldier e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2881-2897	FOKOrder e' um atributo de Agreement agreementPeriod Agreement and Intervalo Temporal Processo Intervalo Temporal Processo e' uma instancia de FillingAnOrder Agreement e' um patient de Processo tempo de existencia de Processo e' igual a Intervalo Temporal Intervalo Temporal comeca em Intervalo Temporal Processo Intervalo Temporal Processo e' uma instancia de CancellingAnOrder Agreement e' um patient de Processo tempo de existencia de Processo e' igual a Intervalo Temporal Intervalo Temporal comeca em Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2917-2933	GTCOrder e' um atributo de Agreement agreementPeriod Agreement and Intervalo Temporal Processo Intervalo Temporal Processo e' uma instancia de FillingAnOrder Agreement e' um patient de Processo tempo de existencia de Processo e' igual a Intervalo Temporal Intervalo Temporal engloba Intervalo Temporal Processo Intervalo Temporal Processo e' uma instancia de CancellingAnOrder Agreement e' um patient de Processo tempo de existencia de Processo e' igual a Intervalo Temporal Intervalo Temporal termina em Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2854-2870	IOCOrder e' um atributo de Agreement agreementPeriod Agreement and Intervalo Temporal Processo Intervalo Temporal Processo e' uma instancia de FillingAnOrder Agreement e' um patient de Processo tempo de existencia de Processo e' igual a Intervalo Temporal Intervalo Temporal comeca em Intervalo Temporal Processo Intervalo Temporal Processo e' uma instancia de CancellingAnOrder Agreement e' um patient de Processo tempo de existencia de Processo e' igual a Intervalo Temporal Intervalo Temporal comeca em Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25748-25761	Multilingual e' um atributo de AutonomousAgent Processo e' uma instancia de Speaking Processo e' um agente de AutonomousAgent o argumento Entidade Entidade Entidade e' uma instancia de SpokenHumanLanguage Entidade e' uma instancia de SpokenHumanLanguage Entidade e' igual a Entidade Entidade e' um patient de Processo Entidade e' um patient de Processo tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13841-13854	boilingPoint Substancia Pura and Numero Real Unidade de Medida(s) Entidade e' uma instancia de Substancia Pura a medida de Entidade e' Numero Real Unidade de Medida(s) vale durante Intervalo Temporal Unidade de Medida e' uma instancia de UnitOfTemperature Numero Real e' maior ou igual a Numero Real Gas e' um atributo de Entidade vale durante Intervalo Temporal Processo Intervalo Temporal engloba tempo de existencia de Processo Processo e' uma instancia de Ferver Entidade e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2392-2407	customer Agente Cognitivo and AutonomousAgent AutonomousAgent emprega Agente Cognitivo TravelerAccommodation e' um atributo de AutonomousAgent Porter e' um atributo de Agente Cognitivo Agente Cognitivo possui Objeto Objeto e' uma instancia de TravelContainer Objeto Processo Objeto e' uma instancia de HotelUnit Processo e' uma instancia de Carrying Processo e' um agente de Agente Cognitivo Processo termina em Objeto Processo tem como origem Objeto
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 504-520	customer Agente Cognitivo and AutonomousAgent propertyAmenity AutonomousAgent and Fisico Fisico e' uma sub-classe de Objeto Entidade e' uma instancia de Fisico AutonomousAgent autoriza Agente Cognitivo a executar tarefas de tipo Entidade Entidade e' uma instancia de Processo Entidade e' um recurso para Entidade Entidade e' um instrumento para Entidade Entidade e' um patient de Entidade Entidade e' um agente de Agente Cognitivo Agente Cognitivo experimenta Entidade
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 522-538	customer Agente Cognitivo and AutonomousAgent propertyAmenity AutonomousAgent and Fisico Fisico e' uma sub-classe de Processo o argumento Entidade Entidade and Entidade Entidade e' um elemento de propriedade de AutonomousAgent Entidade e' um agente de AutonomousAgent Agente Cognitivo e' um patient de Entidade Entidade e' uma instancia de Fisico Entidade e' uma instancia de Fisico Entidade e' um sub-processo de Entidade Entidade e' situado em Entidade tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Merge.kif 221-227	O argumento numero Inteiro positivo de Relacao e' uma instancia de Classe o argumento numero Inteiro positivo de Relacao e' uma instancia de Classe Classe e' uma sub-classe de Classe Classe e' uma sub-classe de Classe
No TPTP formula. May not be expressible in strict first order.	Merge.kif 244-250	O argumento numero Inteiro positivo de Relacao e' uma sub-classe de Classe o argumento numero Inteiro positivo de Relacao e' uma sub-classe de Classe Classe e' uma sub-classe de Classe Classe e' uma sub-classe de Classe

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.

Military.kif 933-946

ReachingMilitaryAgeAnnuallyMaleFn Area Geopolitica and Ano e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica

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: