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

Venerdí (Friday)

The Class of all calendar Fridays.

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
  Venerdí  

Coordinate term(s)

Lunedí  Sabato  Domenica  Giovedí  Martedí  Mercoledí 

Related WordNet synsets

Friday, Fri
the sixth day of the week; the fifth working day
Friday is kind of (all)...   Friday is kind of...  
See more related synsets on a separate page.

Axioms (2)

Se day1 é un' istanza di Giovedí e day2 é un' istanza di Venerdí e week é un' istanza di Settimana e day1 é una parte diweek e day2 é una parte diweek, allora day1 incontras day2.
(=>
      (and
            (instance ?DAY1 Thursday)
            (instance ?DAY2 Friday)
            (instance ?WEEK Week)
            (temporalPart ?DAY1 ?WEEK)
            (temporalPart ?DAY2 ?WEEK))
      (meetsTemporally ?DAY1 ?DAY2))

Se day1 é un' istanza di Venerdí e day2 é un' istanza di Sabato e week é un' istanza di Settimana e day1 é una parte diweek e day2 é una parte diweek, allora day1 incontras day2.
(=>
      (and
            (instance ?DAY1 Friday)
            (instance ?DAY2 Saturday)
            (instance ?WEEK Week)
            (temporalPart ?DAY1 ?WEEK)
            (temporalPart ?DAY2 ?WEEK))
      (meetsTemporally ?DAY1 ?DAY2))