Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

Martedí (Tuesday)

The Class of all calendar Tuesdays.

Ontology

SUMO / TEMPORAL-CONCEPTS

Superclass(es)

[tree]
Entitá
is subclass of
  Astratto  
is subclass of
  Quantitá  
is subclass of
  QuantitáFisica  
is subclass of
  QuantitáCostante  
is subclass of
  MisuraTemporale  
is subclass of
  PosizioneTemporale  
is subclass of
  IntervalloTemporale  
is subclass of
  Giorno  
is subclass of
  Martedí  

Coordinate term(s)

Venerdí  Lunedí  Sabato  Domenica  Giovedí  Mercoledí 

Related WordNet synsets

Tuesday, Tues
the third day of the week; the second working day
Tuesday is kind of (all)...   Tuesday is kind of...   kinds of Tuesday...   kinds of Tuesday (all)...  
See more related synsets on a separate page.

Axioms (2)

Se day1 é un' istanza di Lunedí e day2 é un' istanza di Martedí e week é un' istanza di Settimana e day1 é una parte diweek e day2 é una parte diweek, allora day1 incontras day2. 
(=>
      (and
            (instance ?DAY1 Monday)
            (instance ?DAY2 Tuesday)
            (instance ?WEEK Week)
            (temporalPart ?DAY1 ?WEEK)
            (temporalPart ?DAY2 ?WEEK))
      (meetsTemporally ?DAY1 ?DAY2))
Se day1 é un' istanza di Martedí e day2 é un' istanza di Mercoledí e week é un' istanza di Settimana e day1 é una parte diweek e day2 é una parte diweek, allora day1 incontras day2. 
(=>
      (and
            (instance ?DAY1 Tuesday)
            (instance ?DAY2 Wednesday)
            (instance ?WEEK Week)
            (temporalPart ?DAY1 ?WEEK)
            (temporalPart ?DAY2 ?WEEK))
      (meetsTemporally ?DAY1 ?DAY2))