TreeView 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 7882-7882	NegativeInfinity e' uma instancia de Ponto no tempo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7864-7864	PositiveInfinity e' uma instancia de Ponto no tempo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7983-7983	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 8011-8011	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 8780-8780	Midnight e' uma sub-classe de Ponto no tempo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8854-8854	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 8411-8411	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 8412-8412	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 14036-14036	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 14025-14025	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 14050-14050	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 8101-8101	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 8102-8102	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 8139-8139	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 8140-8140	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 30689-30689	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 8161-8161	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 8162-8162	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 8163-8163	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 8185-8185	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 8186-8186	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 8187-8187	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 8281-8288	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 1598-1608	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 7887-7891	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 7893-7898	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 7869-7873	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 7875-7880	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 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.	Mid-level-ontology.kif 14040-14046	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 8206-8210	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 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

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30030-30060	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 9447-9457	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 7947-7952	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 8110-8122	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 8212-8221	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 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: