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	Point temporel est une sous-classe de position temporel

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 7882-7882	NegativeInfinity est une instance de point temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7864-7864	PositiveInfinity est une instance de point temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7983-7983	Le domaine de BeginFn est une instance de point temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8011-8011	Le domaine de EndFn est une instance de point temporel
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2135-2135	Epoch est une sous-classe de point temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8780-8780	Midnight est une sous-classe de point temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8854-8854	Noon est une sous-classe de point temporel
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	Le nombre 4 argument de SellersOtherItemsFn est une instance de point temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8411-8411	Le nombre 1 argument de TimeIntervalFn est une instance de point temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8412-8412	Le nombre 2 argument de TimeIntervalFn est une instance de point temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14036-14036	Le nombre 1 argument de TimePeriodFn est une instance de point temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4223-4223	Le nombre 2 argument de WhereFn est une instance de point temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14025-14025	Le nombre 2 argument de agreementEffectiveDate est une instance de point temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14050-14050	Le nombre 2 argument de agreementExpirationDate est une instance de point temporel
No TPTP formula. May not be expressible in strict first order.	Music.kif 259-259	Le nombre 2 argument de albumRelease est une instance de point temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8101-8101	Le nombre 1 argument de before est une instance de point temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8102-8102	Le nombre 2 argument de before est une instance de point temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8139-8139	Le nombre 1 argument de beforeOrEqual est une instance de point temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8140-8140	Le nombre 2 argument de beforeOrEqual est une instance de point temporel
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 682-682	Le nombre 2 argument de checkOutTime est une instance de point temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30689-30689	Le nombre 2 argument de firstInstanceCreated est une instance de point temporel
No TPTP formula. May not be expressible in strict first order.	Music.kif 94-94	Le nombre 2 argument de producedOn est une instance de point temporel
No TPTP formula. May not be expressible in strict first order.	Music.kif 1480-1480	Le nombre 3 argument de releaseForConsumption est une instance de point temporel
No TPTP formula. May not be expressible in strict first order.	Dining.kif 708-708	Le nombre 1 argument de reservationEnd est une instance de point temporel
No TPTP formula. May not be expressible in strict first order.	Dining.kif 701-701	Le nombre 1 argument de reservationStart est une instance de point temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8161-8161	Le nombre 1 argument de temporallyBetween est une instance de point temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8162-8162	Le nombre 2 argument de temporallyBetween est une instance de point temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8163-8163	Le nombre 3 argument de temporallyBetween est une instance de point temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8185-8185	Le nombre 1 argument de temporallyBetweenOrEqual est une instance de point temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8186-8186	Le nombre 2 argument de temporallyBetweenOrEqual est une instance de point temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8187-8187	Le nombre 3 argument de temporallyBetweenOrEqual est une instance de point temporel
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 665-665	Le nombre 2 argument de checkInTime est une sous-classe de point temporel

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	Interval temporel arrive plus t�t que interval temporel point temporel est une instance de point temporel point temporel est une instance de point temporel point temporel est une partie de interval temporel point temporel est une partie de interval temporel point temporel se produit avant point temporel
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1033-1060	Collection est une instance de collection WebSite est une instance de WebSite AutonomousAgent est une instance de AutonomousAgent WebListing est une instance de WebListing point temporel est une instance de point temporel listingSeller WebListing and AutonomousAgent WebListing est un membre de collection physique physique physique est une instance de WebListing physique est un membre de SellersItemsFn AutonomousAgent and WebSite point temporel est une partie de temps d'existence de physique physique est WebListing physique est un membre de collection physique est un membre de collection point temporel est une partie de temps d'existence de physique physique est une instance de WebListing SellersOtherItemsFn AutonomousAgent, WebSite, WebListing and point temporel est collection
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1598-1608	Processus est une instance de Flooding objet est une instance de zone de terre eventLocated processus and objet point temporel est une instance de point temporel point temporel se produit avant temps d'existence de processus l'argument objet est une instance de SubmergedLandArea pendant point temporel a la force modale de Unlikely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7887-7891	Point temporel est une instance de point temporel point temporel est NegativeInfinity NegativeInfinity se produit avant point temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7893-7898	Point temporel est une instance de point temporel point temporel est NegativeInfinity point temporel point temporel est entre NegativeInfinity et point temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7869-7873	Point temporel est une instance de point temporel point temporel est PositiveInfinity point temporel se produit avant PositiveInfinity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7875-7880	Point temporel est une instance de point temporel point temporel est PositiveInfinity point temporel point temporel est entre point temporel et PositiveInfinity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8420-8428	Point temporel est une instance de point temporel point temporel est une instance de point temporel interval temporel est une instance de interval temporel l'intervale entre point temporel et point temporel est interval temporel le d�but de interval temporel est point temporel la fin de interval temporel est point temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8430-8439	Point temporel est une instance de point temporel point temporel est une instance de point temporel interval temporel est une instance de interval temporel l'intervale entre point temporel et point temporel est interval temporel point temporel point temporel est entre ou pendant point temporel et point temporel point temporel est une partie de interval temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14040-14046	Point temporel est une instance de point temporel point temporel est une instance de point temporel interval temporel est intervale entre point temporel et point temporel la dur�� de interval temporel est dur�e temporel interval temporel est TimePeriodFn point temporel and dur�e temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7524-7528	Point temporel est une instance de point temporel l' physique est dur�e temporel pendant point temporel la dur�� de l'intervale entre le d�but de temps d'existence de physique et point temporel est dur�e temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8206-8210	Physique existe pendant point temporel point temporel est une instance de point temporel point temporel est entre ou pendant le d�but de temps d'existence de physique et la fin de temps d'existence de physique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7940-7945	Position temporel est une instance de point temporel position temporel position temporel est une instance de interval temporel position temporel est une partie de position temporel

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30030-30060	Processus est une instance de BreakingRecord processus est un agent de AutonomousAgent ensemble classe, processus, point temporel, r�le d�pendant du cas, objet and entit� ensemble est une instance de ensemble AutonomousAgent est un ensemble classe est une sous-classe de processus objet est une instance de r�gion point temporel est une instance de point temporel entit� est une instance de quantit� processus est une instance de classe processus inclut une r�f�rence � entit� entit� inclut une r�f�rence � processus playsRoleInEvent AutonomousAgent, r�le d�pendant du cas and processus eventLocated processus and objet entit� entit� entit� est une instance de ensemble entit� est AutonomousAgent entit� est une instance de classe playsRoleInEvent entit�, r�le d�pendant du cas and entit� eventLocated entit� and objet pendant l'intervale entre point temporel et la fin de temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9447-9457	Decomposition de interval temporel en interval temporelTYPEs est interval temporel position temporel position temporel est une instance de point temporel position temporel est une partie de interval temporel position temporel position temporel est une instance de interval temporel position temporel est une partie de position temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7947-7952	Position temporel est une instance de interval temporel position temporel position temporel est une instance de point temporel position temporel est une partie de position temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8110-8122	Physique est une instance de objet point temporel point temporel point temporel est une instance de point temporel point temporel est une instance de point temporel point temporel se produit avant point temporel point temporel point temporel se produit avant ou pendant point temporel point temporel se produit avant ou pendant point temporel physique existe pendant point temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8212-8221	Point temporel est entre ou pendant le d�but de temps d'existence de physique et la fin de temps d'existence de physique physique existe pendant point temporel point temporel est une instance de point temporel

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: