TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1785-1786
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2086-2089
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 398-401
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2084-2084	Intervalo Temporal e' uma sub-classe de Posicao Temporal

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7885-7885	BeforeCommonEra e' uma instancia de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7893-7893	CommonEra e' uma instancia de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2079-2079	O conceito Posicao Temporal e' completamente decomposto em Intervalo Temporal + Ponto no tempo
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3726-3726	O contra-dominio de FiscalYearStartingFn e' uma instancia de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8512-8512	O contra-dominio de FutureFn e' uma instancia de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8529-8529	O contra-dominio de ImmediateFutureFn e' uma instancia de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8498-8498	O contra-dominio de ImmediatePastFn e' uma instancia de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8480-8480	O contra-dominio de PastFn e' uma instancia de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3749-3749	O contra-dominio de SiteSpeedFn e' uma instancia de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1494-1494	O contra-dominio de TTFxFn e' uma instancia de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8413-8413	O contra-dominio de TimeIntervalFn e' uma instancia de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14038-14038	O contra-dominio de TimePeriodFn e' uma instancia de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8469-8469	O contra-dominio de WhenFn e' uma instancia de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3698-3698	Os valores retornados por FiscalYearFn sao as sub-classes de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8446-8446	Os valores retornados por RecurrentTimeIntervalFn sao as sub-classes de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9375-9375	Os valores retornados por TemporalCompositionFn sao as sub-classes de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19091-19091	AnteMeridiem e' uma sub-classe de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Food.kif 1849-1849	BreakfastTime e' uma sub-classe de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9230-9230	Dia e' uma sub-classe de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8857-8857	DayTime e' uma sub-classe de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8765-8765	Decade e' uma sub-classe de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 112-112	DhuAlHijjah e' uma sub-classe de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Food.kif 1878-1878	DinnerTime e' uma sub-classe de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14848-14848	Holiday e' uma sub-classe de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9340-9340	Hora e' uma sub-classe de Intervalo Temporal

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Merge.kif 7982-7982	O argumento numero 1 de BeginFn e' uma instancia de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Music.kif 1048-1048	O argumento numero 2 de ContestFn e' uma instancia de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8010-8010	O argumento numero 1 de EndFn e' uma instancia de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3160-3160	O argumento numero 2 de GPIFn e' uma instancia de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2219-2219	O argumento numero 2 de Mean10MinutesWindSpeedFn e' uma instancia de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2324-2324	O argumento numero 2 de Mean1MinuteWindSpeedFn e' uma instancia de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2289-2289	O argumento numero 2 de Mean2MinutesWindSpeedFn e' uma instancia de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2254-2254	O argumento numero 2 de Mean3MinutesWindSpeedFn e' uma instancia de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1900-1900	O argumento numero 2 de Mean3SecondWindSpeedFn e' uma instancia de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1994-1994	O argumento numero 2 de Mean3SecondWindSpeedListFn e' uma instancia de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Music.kif 847-847	O argumento numero 3 de MusicalInterpretationFn e' uma instancia de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3086-3086	O argumento numero 2 de PPIFn e' uma instancia de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3660-3660	O argumento numero 2 de SCRFn e' uma instancia de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3364-3364	O argumento numero 1 de SiteWideNewBuyersFn e' uma instancia de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3416-3416	O argumento numero 1 de SiteWideNewRegistrationsFn e' uma instancia de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3463-3463	O argumento numero 1 de SiteWideNewSellersFn e' uma instancia de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9373-9373	O argumento numero 1 de TemporalCompositionFn e' uma instancia de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2034-2034	O argumento numero 2 de ThreeSecondGustSpeedFn e' uma instancia de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1956-1956	O argumento numero 1 de TimeIntervalListFn e' uma instancia de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14011-14011	O argumento numero 2 de agreementPeriod e' uma instancia de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Weather.kif 986-986	O argumento numero 2 de averageTemperatureForPeriod e' uma instancia de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10378-10378	O argumento numero 2 de breathingRate e' uma instancia de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4303-4303	O argumento numero 2 de burnInPeriod e' uma instancia de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 554-554	O argumento numero 3 de compoundInterest e' uma instancia de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20803-20803	O argumento numero 2 de constructionPeriod e' uma instancia de Intervalo Temporal

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.	MilitaryPersons.kif 151-167	Expellee e' um atributo de Entidade Entidade e' um cidadao de Entidade-NATION vale durante Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal Processo Objeto Objeto e' uma instancia de Nacao Objeto e' igual a Entidade-NATION Processo e' uma instancia de Translocation Processo tem como origem Objeto Entidade e' um patient de Processo Processo termina em Entidade-NATION Posicao Temporal e' uma &parte de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 26-47	DislocatedCivilian e' um atributo de Entidade Entidade vive em Entidade Entidade e' situado em Area Geografica vale durante Intervalo Temporal Area Geografica e' uma instancia de Area Geografica Intervalo Temporal e' uma instancia de Intervalo Temporal Intervalo Temporal Entidade-PLACE and Entidade-RES Intervalo Temporal e' uma instancia de Intervalo Temporal Intervalo Temporal acontence antes de Intervalo Temporal Entidade-RES e' uma instancia de Objeto Entidade-PLACE e' uma instancia de Area Geopolitica Entidade-RES e' situado em Entidade-PLACE Area Geografica e' igual a Entidade-PLACE Entidade e' igual a Entidade-RES geographicSubregion Area Geografica and Entidade-PLACE geographicSubregion Entidade-PLACE and Area Geografica Entidade vive em Entidade-RES vale durante Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 120-131	Evacuee e' um atributo de AutonomousAgent vale durante Intervalo Temporal Intervalo Temporal e' uma instancia de Intervalo Temporal Processo AutonomousAgent Processo e' uma instancia de Evacuation Processo e' um agente de AutonomousAgent AutonomousAgent e' uma instancia de MilitaryOrganization AutonomousAgent experimenta Processo tempo de existencia de Processo acontence antes de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 101-111	InternallyDisplacedPerson e' um atributo de Entidade vale durante Intervalo Temporal Intervalo Temporal e' uma instancia de Intervalo Temporal Entidade Intervalo Temporal Intervalo Temporal acontence antes de Intervalo Temporal causesProposition fears Entidade and Entidade vale durante Intervalo Temporal and InternallyDisplacedPerson e' um atributo de Entidade vale durante Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7972-7982	spouse Entidade and Entidade vale durante Intervalo Temporal Intervalo Temporal e' uma instancia de Intervalo Temporal Processo Processo e' uma instancia de Wedding Entidade e' um patient de Processo Entidade e' um patient de Processo tempo de existencia de Processo acontence antes de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3836-3843	Formula vale durante Intervalo Temporal Formula vale durante Intervalo Temporal Intervalo Temporal e' uma instancia de Intervalo Temporal Intervalo Temporal e' uma instancia de Intervalo Temporal causesProposition Formula and Formula o comeco de Intervalo Temporal ocorre antes ou durante o comeco de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3759-3784	AccessingWebPage e' uma instancia de AccessingWebPage Entidade e' uma instancia de WebPage Processo e' uma instancia de DataTransfer Objeto e' uma instancia de Server Processo e' uma instancia de Pedir AutonomousAgent e' uma instancia de WebBrowser Intervalo Temporal e' uma instancia de Intervalo Temporal Entidade e' um patient de AccessingWebPage Processo e' um agente de AutonomousAgent Processo termina em Objeto Entidade e' um patient de Processo Processo tem como origem Objeto Processo termina em AutonomousAgent Entidade e' um patient de Processo Processo e' um sub-processo de AccessingWebPage Processo e' um sub-processo de AccessingWebPage o fim de tempo de existencia de Processo e' igual a o comeco de Intervalo Temporal o fim de tempo de existencia de Processo e' igual a o fim de Intervalo Temporal SiteSpeedFn AccessingWebPage e' igual a Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3095-3114	Experimenting e' uma instancia de Experimenting Intervalo Temporal e' uma instancia de Intervalo Temporal o numero de instancias dentro de a classe descrita por Sequencia Simbolica + o numero de instancias dentro de a classe descrita por Sequencia Simbolica e' igual a PPIFn Experimenting and Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3056-3073	Experimenting e' uma instancia de Experimenting Entidade e' uma instancia de Intervalo Temporal o numero de instancias dentro de a classe descrita por Sequencia Simbolica + o numero de instancias dentro de a classe descrita por Sequencia Simbolica e' igual a PPSFn Experimenting
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23513-23526	Confinar e' uma instancia de Imprisoning detainee Confinar and Animal Animal e' uma instancia de Humano Confinar existe durante Intervalo Temporal Intervalo Temporal e' uma instancia de Intervalo Temporal PlacingUnderArrest Intervalo Temporal Intervalo Temporal e' uma instancia de Intervalo Temporal PlacingUnderArrest existe durante Intervalo Temporal Intervalo Temporal acontence antes de Intervalo Temporal PlacingUnderArrest e' uma instancia de PlacingUnderArrest arrested PlacingUnderArrest and Animal
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3376-3408	Intervalo Temporal e' uma instancia de Intervalo Temporal WebSite e' uma instancia de WebSite Colecao Colecao e' uma instancia de Colecao AutonomousAgent AutonomousAgent e' membro de Colecao Intervalo Temporal AutonomousAgent e' uma instancia de AutonomousAgent Intervalo Temporal e' uma instancia de Comprar Intervalo Temporal e' um agente de AutonomousAgent WebSite e' um instrumento para Intervalo Temporal Intervalo Temporal acontece durante Intervalo Temporal Intervalo Temporal_BEFORE Intervalo Temporal_BEFORE e' uma instancia de Intervalo Temporal Intervalo Temporal_BEFORE acontence antes de Intervalo Temporal Intervalo Temporal_BEFORE Intervalo Temporal_BEFORE e' uma instancia de Comprar Intervalo Temporal_BEFORE e' um agente de AutonomousAgent WebSite e' um instrumento para Intervalo Temporal_BEFORE Intervalo Temporal_BEFORE acontece durante Intervalo Temporal vale durante Intervalo Temporal_BEFORE SiteWideNewBuyersFn Intervalo Temporal and WebSite e' igual a Colecao
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3428-3455	Intervalo Temporal e' uma instancia de Intervalo Temporal WebSite e' uma instancia de WebSite Colecao Colecao e' uma instancia de Colecao Fisico Fisico e' uma instancia de Humano Intervalo Temporal_BEFORE Intervalo Temporal_BEFORE e' uma instancia de Intervalo Temporal Intervalo Temporal_BEFORE acontence antes de Intervalo Temporal registeredUser Fisico and WebSite vale durante Intervalo Temporal_BEFORE Intervalo Temporal_DURING Intervalo Temporal_DURING e' uma instancia de Intervalo Temporal Intervalo Temporal_DURING acontece durante Intervalo Temporal registeredUser Fisico and WebSite vale durante Intervalo Temporal Fisico e' membro de Colecao Colecao e' igual a SiteWideNewRegistrationsFn Intervalo Temporal and WebSite
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3475-3507	Intervalo Temporal e' uma instancia de Intervalo Temporal WebSite e' uma instancia de WebSite Colecao Colecao e' uma instancia de Colecao AutonomousAgent AutonomousAgent e' membro de Colecao Intervalo Temporal AutonomousAgent e' uma instancia de AutonomousAgent Intervalo Temporal e' uma instancia de Vender Intervalo Temporal e' um agente de AutonomousAgent WebSite e' um instrumento para Intervalo Temporal Intervalo Temporal acontece durante Intervalo Temporal Intervalo Temporal_BEFORE Intervalo Temporal_BEFORE e' uma instancia de Intervalo Temporal Intervalo Temporal_BEFORE acontence antes de Intervalo Temporal Intervalo Temporal_BEFORE Intervalo Temporal_BEFORE e' uma instancia de Vender Intervalo Temporal_BEFORE e' um agente de AutonomousAgent WebSite e' um instrumento para Intervalo Temporal_BEFORE Intervalo Temporal_BEFORE acontece durante Intervalo Temporal vale durante Intervalo Temporal_BEFORE SiteWideNewSellersFn Intervalo Temporal and WebSite e' igual a Colecao
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8354-8364	Intervalo Temporal e' uma instancia de Intervalo Temporal Intervalo Temporal e' uma instancia de Intervalo Temporal o comeco de Intervalo Temporal e' igual a o comeco de Intervalo Temporal o fim de Intervalo Temporal e' igual a o fim de Intervalo Temporal Intervalo Temporal e' igual a Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8242-8247	Posicao Temporal e' uma instancia de Intervalo Temporal Posicao Temporal e' uma &parte de Intervalo Temporal Posicao Temporal e' uma &parte de Intervalo Temporal Intervalo Temporal engloba Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 466-482	Processo e' uma instancia de MeasuringBreathing Processo e' um agente de AutonomousAgent Objeto e' uma instancia de Lung Objeto e' uma &parte de Objeto Intervalo Temporal e' uma instancia de Intervalo Temporal Intervalo Temporal acontece durante tempo de existencia de Processo a duracao de Intervalo Temporal e' MinuteDuration Objeto e' um patient de Processo Entidade AutonomousAgent sabe breathingRate Objeto, Intervalo Temporal and Entidade vale durante imediatemente apos tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8420-8428	Ponto no tempo e' uma instancia de Ponto no tempo Ponto no tempo e' uma instancia de Ponto no tempo Intervalo Temporal e' uma instancia de Intervalo Temporal o intervalo entre Ponto no tempo e Ponto no tempo e' igual a Intervalo Temporal o comeco de Intervalo Temporal e' igual a Ponto no tempo o fim de Intervalo Temporal e' igual a Ponto no tempo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8430-8439	Ponto no tempo e' uma instancia de Ponto no tempo Ponto no tempo e' uma instancia de Ponto no tempo Intervalo Temporal e' uma instancia de Intervalo Temporal o intervalo entre Ponto no tempo e Ponto no tempo e' igual a Intervalo Temporal Ponto no tempo Ponto no tempo e' entre ou durante Ponto no tempo e Ponto no tempo Ponto no tempo e' uma &parte de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1496-1518	Intervalo Temporal e' uma instancia de Intervalo Temporal_CLASS Intervalo Temporal_CLASS e' uma sub-classe de Processo AccessingWebPage e' uma instancia de AccessingWebPage AutonomousAgent e' uma instancia de AutonomousAgent Intervalo Temporal e' um agente de AutonomousAgent AccessingWebPage e' um agente de AutonomousAgent Intervalo Temporal acontece durante AccessingWebPage Fisico e' uma instancia de Intervalo Temporal Intervalo Temporal2 Intervalo Temporal2 e' uma instancia de Intervalo Temporal_CLASS Intervalo Temporal2 e' um agente de AutonomousAgent Intervalo Temporal2 acontece durante AccessingWebPage o comeco de tempo de existencia de Intervalo Temporal2 comeca antes de o comeco de tempo de existencia de Intervalo Temporal o comeco de tempo de existencia de AccessingWebPage e' igual a o comeco de tempo de existencia de Fisico o comeco de tempo de existencia de Intervalo Temporal e' igual a o fim de tempo de existencia de Fisico TTFxFn Intervalo Temporal_CLASS and AccessingWebPage e' igual a Fisico
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8262-8267	Intervalo Temporal e' uma instancia de Intervalo Temporal Ponto no tempo e' igual a o comeco de Intervalo Temporal Ponto no tempo e' igual a o fim de Intervalo Temporal Ponto no tempo comeca antes de Ponto no tempo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8269-8279	Intervalo Temporal e' uma instancia de Intervalo Temporal Intervalo Temporal e' uma instancia de Intervalo Temporal o comeco de Intervalo Temporal ocorre antes ou durante o comeco de Intervalo Temporal o comeco de Intervalo Temporal comeca antes de o fim de Intervalo Temporal Intervalo Temporal engloba Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Economy.kif 440-447	Intervalo Temporal e' uma instancia de Intervalo Temporal economyType Area Geopolitica and LowIncomeCountry vale durante Intervalo Temporal Numero Real perCapitaGDPInPeriod Area Geopolitica, Numero Real UnitedStatesDollar(s) and Intervalo Temporal Numero Real e' menos que 756.0
No TPTP formula. May not be expressible in strict first order.	Economy.kif 456-463	Intervalo Temporal e' uma instancia de Intervalo Temporal economyType Area Geopolitica and LowerMiddleIncomeCountry vale durante Intervalo Temporal Numero Real perCapitaGDPInPeriod Area Geopolitica, Numero Real UnitedStatesDollar(s) and Intervalo Temporal Numero Real e' maior ou igual a 756.0
No TPTP formula. May not be expressible in strict first order.	Economy.kif 465-472	Intervalo Temporal e' uma instancia de Intervalo Temporal economyType Area Geopolitica and LowerMiddleIncomeCountry vale durante Intervalo Temporal Numero Real perCapitaGDPInPeriod Area Geopolitica, Numero Real UnitedStatesDollar(s) and Intervalo Temporal Numero Real e' menos que 2996.0
No TPTP formula. May not be expressible in strict first order.	Economy.kif 481-488	Intervalo Temporal e' uma instancia de Intervalo Temporal economyType Area Geopolitica and UpperMiddleIncomeCountry vale durante Intervalo Temporal Numero Real perCapitaGDPInPeriod Area Geopolitica, Numero Real UnitedStatesDollar(s) and Intervalo Temporal Numero Real e' maior ou igual a 2996.0

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.	MilitaryPersons.kif 26-47	DislocatedCivilian e' um atributo de Entidade Entidade vive em Entidade Entidade e' situado em Area Geografica vale durante Intervalo Temporal Area Geografica e' uma instancia de Area Geografica Intervalo Temporal e' uma instancia de Intervalo Temporal Intervalo Temporal Entidade-PLACE and Entidade-RES Intervalo Temporal e' uma instancia de Intervalo Temporal Intervalo Temporal acontence antes de Intervalo Temporal Entidade-RES e' uma instancia de Objeto Entidade-PLACE e' uma instancia de Area Geopolitica Entidade-RES e' situado em Entidade-PLACE Area Geografica e' igual a Entidade-PLACE Entidade e' igual a Entidade-RES geographicSubregion Area Geografica and Entidade-PLACE geographicSubregion Entidade-PLACE and Area Geografica Entidade vive em Entidade-RES vale durante Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1326-1342	Intervalo Temporal e' uma instancia de AddToCart Entidade e' uma instancia de Objeto Entidade e' um patient de Intervalo Temporal Intervalo Temporal e' um agente de AutonomousAgent Colecao WebSite, Posicao Temporal and Intervalo Temporal Colecao e' uma instancia de Colecao WebSite e' uma instancia de WebSite Intervalo Temporal e' uma instancia de Intervalo Temporal webcart AutonomousAgent, Colecao and WebSite o comeco de Intervalo Temporal e' igual a o fim de Intervalo Temporal Entidade e' membro de Colecao vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 643-661	Processo e' uma instancia de FlashingLight Processo tem como origem Objeto Processo Intervalo Temporal and Processo Processo e' uma instancia de Luz Irradiante Intervalo Temporal e' uma instancia de Intervalo Temporal Processo e' uma instancia de Luz Irradiante tempo de existencia de Processo encontra Intervalo Temporal Intervalo Temporal encontra tempo de existencia de Processo Intervalo Temporal Intervalo Temporal e' uma instancia de Luz Irradiante Intervalo Temporal tem como origem Objeto tempo de existencia de Intervalo Temporal acontece durante Intervalo Temporal Processo e' um sub-processo de Processo Processo e' um sub-processo de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23513-23526	Confinar e' uma instancia de Imprisoning detainee Confinar and Animal Animal e' uma instancia de Humano Confinar existe durante Intervalo Temporal Intervalo Temporal e' uma instancia de Intervalo Temporal PlacingUnderArrest Intervalo Temporal Intervalo Temporal e' uma instancia de Intervalo Temporal PlacingUnderArrest existe durante Intervalo Temporal Intervalo Temporal acontence antes de Intervalo Temporal PlacingUnderArrest e' uma instancia de PlacingUnderArrest arrested PlacingUnderArrest and Animal
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3376-3408	Intervalo Temporal e' uma instancia de Intervalo Temporal WebSite e' uma instancia de WebSite Colecao Colecao e' uma instancia de Colecao AutonomousAgent AutonomousAgent e' membro de Colecao Intervalo Temporal AutonomousAgent e' uma instancia de AutonomousAgent Intervalo Temporal e' uma instancia de Comprar Intervalo Temporal e' um agente de AutonomousAgent WebSite e' um instrumento para Intervalo Temporal Intervalo Temporal acontece durante Intervalo Temporal Intervalo Temporal_BEFORE Intervalo Temporal_BEFORE e' uma instancia de Intervalo Temporal Intervalo Temporal_BEFORE acontence antes de Intervalo Temporal Intervalo Temporal_BEFORE Intervalo Temporal_BEFORE e' uma instancia de Comprar Intervalo Temporal_BEFORE e' um agente de AutonomousAgent WebSite e' um instrumento para Intervalo Temporal_BEFORE Intervalo Temporal_BEFORE acontece durante Intervalo Temporal vale durante Intervalo Temporal_BEFORE SiteWideNewBuyersFn Intervalo Temporal and WebSite e' igual a Colecao
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3428-3455	Intervalo Temporal e' uma instancia de Intervalo Temporal WebSite e' uma instancia de WebSite Colecao Colecao e' uma instancia de Colecao Fisico Fisico e' uma instancia de Humano Intervalo Temporal_BEFORE Intervalo Temporal_BEFORE e' uma instancia de Intervalo Temporal Intervalo Temporal_BEFORE acontence antes de Intervalo Temporal registeredUser Fisico and WebSite vale durante Intervalo Temporal_BEFORE Intervalo Temporal_DURING Intervalo Temporal_DURING e' uma instancia de Intervalo Temporal Intervalo Temporal_DURING acontece durante Intervalo Temporal registeredUser Fisico and WebSite vale durante Intervalo Temporal Fisico e' membro de Colecao Colecao e' igual a SiteWideNewRegistrationsFn Intervalo Temporal and WebSite
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3475-3507	Intervalo Temporal e' uma instancia de Intervalo Temporal WebSite e' uma instancia de WebSite Colecao Colecao e' uma instancia de Colecao AutonomousAgent AutonomousAgent e' membro de Colecao Intervalo Temporal AutonomousAgent e' uma instancia de AutonomousAgent Intervalo Temporal e' uma instancia de Vender Intervalo Temporal e' um agente de AutonomousAgent WebSite e' um instrumento para Intervalo Temporal Intervalo Temporal acontece durante Intervalo Temporal Intervalo Temporal_BEFORE Intervalo Temporal_BEFORE e' uma instancia de Intervalo Temporal Intervalo Temporal_BEFORE acontence antes de Intervalo Temporal Intervalo Temporal_BEFORE Intervalo Temporal_BEFORE e' uma instancia de Vender Intervalo Temporal_BEFORE e' um agente de AutonomousAgent WebSite e' um instrumento para Intervalo Temporal_BEFORE Intervalo Temporal_BEFORE acontece durante Intervalo Temporal vale durante Intervalo Temporal_BEFORE SiteWideNewSellersFn Intervalo Temporal and WebSite e' igual a Colecao
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1929-1933	Lista e' uma instancia de ConsecutiveTimeIntervalList Entidade e' um membro de Lista Entidade e' uma instancia de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	naics.kif 8776-8797	Colecao e' uma instancia de Organizacao WarehousingAndStorage e' um atributo de Colecao AutonomousAgent Processo Processo e' membro de Colecao Processo e' um agente de AutonomousAgent Agente Cognitivo Entidade AutonomousAgent e' uma instancia de Vender Entidade e' uma instancia de Objeto Agente Cognitivo e' uma instancia de Humano Agente Cognitivo e' um patient de AutonomousAgent Processo autoriza Agente Cognitivo a executar tarefas de tipo Entidade Entidade Entidade e' uma instancia de Intervalo Temporal Entidade e' uma instancia de Predio Agente Cognitivo possui Entidade Entidade e' situado em Entidade vale durante Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18150-18184	Objeto e' uma instancia de Saw Processo e' uma instancia de Cortar Objeto e' um instrumento para Processo Objeto e' uma instancia de Objeto Objeto e' um patient de Processo Processo Entidade, Entidade, Intervalo Temporal, Posicao Temporal, Posicao Temporal and Objeto Processo e' uma instancia de Movimento Processo e' um sub-processo de Processo Objeto e' uma instancia de CuttingDevice Objeto e' uma &parte de Objeto Objeto encontra Objeto Objeto e' um patient de Processo Posicao Temporal e' uma instancia de Intervalo Temporal Posicao Temporal e' uma instancia de Intervalo Temporal tempo de existencia de Processo e' igual a Intervalo Temporal Intervalo Temporal e' uma &parte de Posicao Temporal Intervalo Temporal e' uma &parte de Posicao Temporal Entidade e' uma instancia de Atributo Directional Entidade e' uma instancia de Atributo Directional as entidades no processo Processo se movem Entidade vale durante Posicao Temporal as entidades no processo Processo se movem Entidade Entidade e' igual a Entidade oppositeDirection Entidade and Entidade ~{ Entidade e' igual a Entidade } ~{ oppositeDirection Entidade and Entidade } vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1605-1621	Intervalo Temporal e' uma instancia de WatchItem Entidade e' uma instancia de Objeto Entidade e' um patient de Intervalo Temporal Intervalo Temporal e' um agente de AutonomousAgent Colecao WebSite, Posicao Temporal and Intervalo Temporal Colecao e' uma instancia de Colecao WebSite e' uma instancia de WebSite Intervalo Temporal e' uma instancia de Intervalo Temporal watchingListings AutonomousAgent, Colecao and WebSite o comeco de Intervalo Temporal e' igual a o fim de Intervalo Temporal Entidade e' membro de Colecao vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3629-3638	newRegisteredUsers Intervalo Temporal, WebSite and Colecao Fisico e' membro de Colecao Intervalo Temporal Intervalo Temporal e' uma instancia de Intervalo Temporal Intervalo Temporal acontece durante Intervalo Temporal registeredUser Fisico and WebSite vale durante Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3640-3650	newRegisteredUsers Intervalo Temporal, WebSite and Colecao Fisico e' membro de Colecao Intervalo Temporal Intervalo Temporal e' uma instancia de Intervalo Temporal Intervalo Temporal acontence antes de Intervalo Temporal registeredUser Fisico and WebSite vale durante Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2808-2820	Agreement tem um atributo de EuropeanStyleOption agreementExpirationDate Agreement and Ponto no tempo Intervalo Temporal Intervalo Temporal and Fisico Intervalo Temporal e' uma instancia de Intervalo Temporal o fim de Intervalo Temporal e' igual a Ponto no tempo Fisico e' uma instancia de ExerciseAnOption tempo de existencia de Fisico e' igual a Intervalo Temporal Intervalo Temporal e' uma &parte de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 467-492	rentalPrice Fisico, Funcao de Quantidade, Agente Cognitivo and PricingScheme Funcao de Quantidade e' igual a PerFn Medida de Divisa and a medida de Numero Real e' Unidade de Medida Unidade de Medida e' uma instancia de UnitOfDuration Entidade e' uma instancia imediata de Fisico Processo e' uma instancia de Renting Entidade e' um patient de Processo Processo e' um agente de AutonomousAgent Processo existe durante Numero RealINT Intervalo Temporal Numero Real Numero RealINT acontece durante Intervalo Temporal Intervalo Temporal e' uma instancia de Intervalo Temporal a duracao de Intervalo Temporal e' Numero Real Unidade de Medida(s) Numero Real e' menor ou igual a Numero Real Transacao Financeira Transacao Financeira e' uma instancia de Payment Transacao Financeira termina em Agente Cognitivo Transacao Financeira e' um agente de AutonomousAgent transactionAmount Transacao Financeira and Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14376-14382	Entidade vive em Entidade vale durante Posicao Temporal Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal Posicao Temporal e' uma &parte de Posicao Temporal Entidade e' situado em Entidade vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22334-22346	Fisico e' uma instancia de Convoy Entidade Entidade and Posicao Temporal Entidade e' igual a Entidade Entidade e' uma instancia de Vehicle Entidade e' uma instancia de Vehicle Posicao Temporal e' uma instancia de Intervalo Temporal Posicao Temporal e' uma &parte de tempo de existencia de Fisico Entidade e' membro de Fisico Entidade e' membro de Fisico vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17323-17345	Processo e' uma instancia de Disappearing Entidade AutonomousAgent, Processo and Posicao Temporal Processo e' uma instancia de Searching tempo de existencia de Processo acontence antes de tempo de existencia de Processo Processo e' um agente de AutonomousAgent Entidade e' uma instancia de Objeto Entidade e' um patient de Processo Entidade e' um patient de Processo Posicao Temporal e' uma instancia de Intervalo Temporal Posicao Temporal e' uma &parte de tempo de existencia de Processo o argumento ProcessoISC ProcessoISC e' uma instancia de Discovering ProcessoISC e' um agente de AutonomousAgent Entidade e' um patient de ProcessoISC nao %n a forca modal de Possibility vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 266-286	Intervalo Temporal e' uma instancia de ListOnSite Objeto Entidade, Intervalo Temporal, Intervalo Temporal and AutonomousAgent Objeto e' uma instancia de WebSite Entidade e' uma instancia de WebListing Intervalo Temporal e' uma instancia de Intervalo Temporal Intervalo Temporal e' uma instancia de Intervalo Temporal Entidade e' um patient de Intervalo Temporal o fim de Intervalo Temporal e' igual a o fim de Intervalo Temporal Intervalo Temporal acontence antes de Intervalo Temporal Intervalo Temporal encontra Intervalo Temporal hostedOn Entidade and Objeto vale durante Intervalo Temporal hostedOn Entidade and Objeto vale durante Intervalo Temporal Intervalo Temporal e' um agente de AutonomousAgent AutonomousAgent possui Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7940-7945	Posicao Temporal e' uma instancia de Ponto no tempo Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal Posicao Temporal e' uma &parte de Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8345-8352	Intervalo Temporal encontra Intervalo Temporal Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal Posicao Temporal e' uma &parte de Intervalo Temporal Posicao Temporal e' uma &parte de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8234-8240	Intervalo Temporal engloba Intervalo Temporal Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal Posicao Temporal e' uma &parte de Intervalo Temporal Posicao Temporal e' uma &parte de Intervalo Temporal

statement

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

Media.kif 1970-1978

Intervalo Temporal Intervalo Temporal e' uma instancia de Intervalo Temporal Intervalo Temporal termina em tempo de existencia de JesusOfNazareth Intervalo Temporal comeca em tempo de existencia de TwelveApostles Entidade

Entidade e' membro de TwelveApostles vale durante Intervalo Temporal
friend Entidade and JesusOfNazareth vale durante Intervalo Temporal

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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: