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	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 7904-7904	NegativeInfinity est une instance de point temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7886-7886	PositiveInfinity est une instance de point temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8005-8005	Le domaine de BeginFn est une instance de point temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8033-8033	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 8802-8802	Midnight est une sous-classe de point temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8876-8876	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 8433-8433	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 8434-8434	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 14035-14035	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 14024-14024	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 14049-14049	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 8123-8123	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 8124-8124	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 8161-8161	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 8162-8162	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 30677-30677	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 8183-8183	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 8184-8184	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 8185-8185	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 8207-8207	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 8208-8208	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 8209-8209	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 8303-8310	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 1594-1604	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 7909-7913	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 7915-7920	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 7891-7895	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 7897-7902	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 8442-8450	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 8452-8461	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 14039-14045	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 8228-8232	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 7962-7967	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 30018-30048	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 9469-9479	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 7969-7974	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 8132-8144	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 8234-8243	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 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: