TimePoint - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1787-1789
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2093-2098
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 402-405
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2091-2091	Ponto no tempo e' uma sub-classe de Posicao Temporal

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 7904-7904	NegativeInfinity e' uma instancia de Ponto no tempo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7886-7886	PositiveInfinity e' uma instancia de Ponto no tempo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8005-8005	O contra-dominio de BeginFn e' uma instancia de Ponto no tempo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8033-8033	O contra-dominio de EndFn e' uma instancia de Ponto no tempo
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2135-2135	Epoch e' uma sub-classe de Ponto no tempo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8802-8802	Midnight e' uma sub-classe de Ponto no tempo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8876-8876	Noon e' uma sub-classe de Ponto no tempo
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 881-881
No TPTP formula. May not be expressible in strict first order.	english_format.kif 964-964
No TPTP formula. May not be expressible in strict first order.	french_format.kif 557-557
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 87-87
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 90-90
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2242-2242
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 509-509
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 92-92
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 124-124
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 578-578
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 91-91

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1022-1022	O argumento numero 4 de SellersOtherItemsFn e' uma instancia de Ponto no tempo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8433-8433	O argumento numero 1 de TimeIntervalFn e' uma instancia de Ponto no tempo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8434-8434	O argumento numero 2 de TimeIntervalFn e' uma instancia de Ponto no tempo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14035-14035	O argumento numero 1 de TimePeriodFn e' uma instancia de Ponto no tempo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4223-4223	O argumento numero 2 de WhereFn e' uma instancia de Ponto no tempo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14024-14024	O argumento numero 2 de agreementEffectiveDate e' uma instancia de Ponto no tempo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14049-14049	O argumento numero 2 de agreementExpirationDate e' uma instancia de Ponto no tempo
No TPTP formula. May not be expressible in strict first order.	Music.kif 259-259	O argumento numero 2 de albumRelease e' uma instancia de Ponto no tempo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8123-8123	O argumento numero 1 de before e' uma instancia de Ponto no tempo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8124-8124	O argumento numero 2 de before e' uma instancia de Ponto no tempo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8161-8161	O argumento numero 1 de beforeOrEqual e' uma instancia de Ponto no tempo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8162-8162	O argumento numero 2 de beforeOrEqual e' uma instancia de Ponto no tempo
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 682-682	O argumento numero 2 de checkOutTime e' uma instancia de Ponto no tempo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30677-30677	O argumento numero 2 de firstInstanceCreated e' uma instancia de Ponto no tempo
No TPTP formula. May not be expressible in strict first order.	Music.kif 94-94	O argumento numero 2 de producedOn e' uma instancia de Ponto no tempo
No TPTP formula. May not be expressible in strict first order.	Music.kif 1480-1480	O argumento numero 3 de releaseForConsumption e' uma instancia de Ponto no tempo
No TPTP formula. May not be expressible in strict first order.	Dining.kif 708-708	O argumento numero 1 de reservationEnd e' uma instancia de Ponto no tempo
No TPTP formula. May not be expressible in strict first order.	Dining.kif 701-701	O argumento numero 1 de reservationStart e' uma instancia de Ponto no tempo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8183-8183	O argumento numero 1 de temporallyBetween e' uma instancia de Ponto no tempo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8184-8184	O argumento numero 2 de temporallyBetween e' uma instancia de Ponto no tempo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8185-8185	O argumento numero 3 de temporallyBetween e' uma instancia de Ponto no tempo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8207-8207	O argumento numero 1 de temporallyBetweenOrEqual e' uma instancia de Ponto no tempo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8208-8208	O argumento numero 2 de temporallyBetweenOrEqual e' uma instancia de Ponto no tempo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8209-8209	O argumento numero 3 de temporallyBetweenOrEqual e' uma instancia de Ponto no tempo
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 665-665	O argumento numero 2 de checkInTime e' uma sub-classe de Ponto no tempo

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.	Merge.kif 8303-8310	Intervalo Temporal acontence antes de Intervalo Temporal Ponto no tempo e' uma instancia de Ponto no tempo Ponto no tempo e' uma instancia de Ponto no tempo Ponto no tempo e' uma &parte de Intervalo Temporal Ponto no tempo e' uma &parte de Intervalo Temporal Ponto no tempo comeca antes de Ponto no tempo
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1033-1060	Colecao e' uma instancia de Colecao WebSite e' uma instancia de WebSite AutonomousAgent e' uma instancia de AutonomousAgent WebListing e' uma instancia de WebListing Ponto no tempo e' uma instancia de Ponto no tempo listingSeller WebListing and AutonomousAgent WebListing e' membro de Colecao Fisico Fisico Fisico e' uma instancia de WebListing Fisico e' membro de SellersItemsFn AutonomousAgent and WebSite Ponto no tempo e' uma &parte de tempo de existencia de Fisico Fisico e' igual a WebListing Fisico e' membro de Colecao Fisico e' membro de Colecao Ponto no tempo e' uma &parte de tempo de existencia de Fisico Fisico e' uma instancia de WebListing SellersOtherItemsFn AutonomousAgent, WebSite, WebListing and Ponto no tempo e' igual a Colecao
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1594-1604	Processo e' uma instancia de Flooding Objeto e' uma instancia de Area terrestre eventLocated Processo and Objeto Ponto no tempo e' uma instancia de Ponto no tempo Ponto no tempo comeca antes de tempo de existencia de Processo o argumento Objeto e' uma instancia de SubmergedLandArea vale durante Ponto no tempo tem a forca modal de Unlikely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7909-7913	Ponto no tempo e' uma instancia de Ponto no tempo Ponto no tempo e' igual a NegativeInfinity NegativeInfinity comeca antes de Ponto no tempo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7915-7920	Ponto no tempo e' uma instancia de Ponto no tempo Ponto no tempo e' igual a NegativeInfinity Ponto no tempo Ponto no tempo e' entre NegativeInfinity e Ponto no tempo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7891-7895	Ponto no tempo e' uma instancia de Ponto no tempo Ponto no tempo e' igual a PositiveInfinity Ponto no tempo comeca antes de PositiveInfinity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7897-7902	Ponto no tempo e' uma instancia de Ponto no tempo Ponto no tempo e' igual a PositiveInfinity Ponto no tempo Ponto no tempo e' entre Ponto no tempo e PositiveInfinity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8442-8450	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 8452-8461	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.	Mid-level-ontology.kif 14039-14045	Ponto no tempo e' uma instancia de Ponto no tempo Ponto no tempo e' uma instancia de Ponto no tempo Intervalo Temporal e' igual a o intervalo entre Ponto no tempo e Ponto no tempo a duracao de Intervalo Temporal e' Duracao Temporal Intervalo Temporal e' igual a TimePeriodFn Ponto no tempo and Duracao Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7524-7528	Ponto no tempo e' uma instancia de Ponto no tempo a idade de Fisico e' Duracao Temporal vale durante Ponto no tempo a duracao de o intervalo entre o comeco de tempo de existencia de Fisico e Ponto no tempo e' Duracao Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8228-8232	Fisico existe durante Ponto no tempo Ponto no tempo e' uma instancia de Ponto no tempo Ponto no tempo e' entre ou durante o comeco de tempo de existencia de Fisico e o fim de tempo de existencia de Fisico
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7962-7967	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

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30018-30048	Processo e' uma instancia de BreakingRecord Processo e' um agente de AutonomousAgent Conjunto Classe, Processo, Ponto no tempo, Role em Caso, Objeto and Entidade Conjunto e' uma instancia de Conjunto AutonomousAgent e' um elemento de Conjunto Classe e' uma sub-classe de Processo Objeto e' uma instancia de Regiao Ponto no tempo e' uma instancia de Ponto no tempo Entidade e' uma instancia de Quantidade Processo e' uma instancia de Classe Processo inclui uma referencia a Entidade Entidade inclui uma referencia a Processo playsRoleInEvent AutonomousAgent, Role em Caso and Processo eventLocated Processo and Objeto Entidade Entidade Entidade e' uma instancia de Conjunto Entidade e' igual a AutonomousAgent Entidade e' uma instancia de Classe playsRoleInEvent Entidade, Role em Caso and Entidade eventLocated Entidade and Objeto vale durante o intervalo entre Ponto no tempo e o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9469-9479	Decomposicao de Intervalo Temporal em Intervalo TemporalTYPEs e' igual a Intervalo Temporal Posicao Temporal Posicao Temporal e' uma instancia de Ponto no tempo Posicao Temporal e' uma &parte de Intervalo Temporal 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 7969-7974	Posicao Temporal e' uma instancia de Intervalo Temporal Posicao Temporal Posicao Temporal e' uma instancia de Ponto no tempo Posicao Temporal e' uma &parte de Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8132-8144	Fisico e' uma instancia de Objeto Ponto no tempo Ponto no tempo Ponto no tempo e' uma instancia de Ponto no tempo Ponto no tempo e' uma instancia de Ponto no tempo Ponto no tempo comeca antes de Ponto no tempo Ponto no tempo Ponto no tempo ocorre antes ou durante Ponto no tempo Ponto no tempo ocorre antes ou durante Ponto no tempo Fisico existe durante Ponto no tempo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8234-8243	Ponto no tempo e' entre ou durante o comeco de tempo de existencia de Fisico e o fim de tempo de existencia de Fisico Fisico existe durante Ponto no tempo Ponto no tempo e' uma instancia de Ponto no tempo

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: