Source: http://sigma2.cim3.net:8080/sigma/Browse.jsp?term=time&kb=SUMO

 
Browsing Interface
[ Home |  Ask/Tell |  Graph |  Prefs ]

KB:  Language: 

KB Term: 
English Word: 

time

 appearance as argument number 1


(documentation time "This relation holds between an instance of Physical and an instance of TimePosition just in case the temporal lifespan of the former includes the latter. In other words, (time ?THING ?TIME) means that ?THING existed or occurred at ?TIME. Note that time does for instances of Physical what holdsDuring does for instances of Formula. The constants located and time are the basic spatial and temporal predicates, respectively.") Merge.kif 2996-3002
(domain time 1 Physical) Merge.kif 2992-2992 the number 1 argument of time is an instance of physical
(domain time 2 TimePosition) Merge.kif 2993-2993 the number 2 argument of time is an instance of time position
(instance time AsymmetricRelation) Merge.kif 2991-2991 time is an instance of asymmetric relation
(instance time BinaryPredicate) Merge.kif 2989-2989 time is an instance of binary predicate
(instance time TemporalRelation) Merge.kif 2990-2990 time is an instance of temporal relation
(relatedInternalConcept time holdsDuring) Merge.kif 2995-2995 time is internally related to holdsDuring
(relatedInternalConcept time located) Merge.kif 2994-2994 time is internally related to located

 appearance as argument number 2


(format en time "%1 %n{doesn't} exist%p{s} &%during %2") english_format.kif 113-113
(subrelation date time) Merge.kif 6382-6382 date is a subrelation of time

 antecedent


(<=>
    (and
        (time ?PHYS ?TIME)
        (instance ?TIME TimePoint))
    (temporallyBetweenOrEqual
        (BeginFn
            (WhenFn ?PHYS)) ?TIME
        (EndFn
            (WhenFn ?PHYS))))		 Merge.kif 6150-6154 ?PHYS exists during ?TIME and ?TIME is an instance of time point if and only if ?TIME is between or at the beginning of the time of existence of ?PHYS and the end of the time of existence of ?PHYS

 consequent


(<=>
    (instance ?ABS Abstract)
    (not
        (exists (?POINT)
            (or
                (located ?ABS ?POINT)
                (time ?ABS ?POINT)))))		 Merge.kif 1358-1364 ?ABS is an instance of abstract if and only if there don't exist ?POINT so that ?ABS is located at ?POINT or ?ABS exists during ?POINT
(<=>
    (instance ?PHYS Physical)
    (exists (?LOC ?TIME)
        (and
            (located ?PHYS ?LOC)
            (time ?PHYS ?TIME))))		 Merge.kif 762-767 ?PHYS is an instance of physical if and only if there exist ?LOC and ?TIME so that ?PHYS is located at ?LOC and ?PHYS exists during ?TIME
(<=>
    (instance ?PROCESS Creation)
    (exists (?PATIENT)
        (and
            (patient ?PROCESS ?PATIENT)
            (time ?PATIENT
                (EndFn
                    (WhenFn ?PROCESS)))
            (not
                (time ?PATIENT
                    (BeginFn
                        (WhenFn ?PROCESS)))))))		 Merge.kif 9526-9533 ?PROCESS is an instance of creation if and only if there exists ?PATIENT so that ?PATIENT is a patient of ?PROCESS and ?PATIENT exists during the end of the time of existence of ?PROCESS and ?PATIENT doesn't exists during the beginning of the time of existence of ?PROCESS
(<=>
    (instance ?PROCESS Destruction)
    (exists (?PATIENT)
        (and
            (patient ?PROCESS ?PATIENT)
            (time ?PATIENT
                (BeginFn
                    (WhenFn ?PROCESS)))
            (not
                (time ?PATIENT
                    (EndFn
                        (WhenFn ?PROCESS)))))))		 Merge.kif 9098-9105 ?PROCESS is an instance of destruction if and only if there exists ?PATIENT so that ?PATIENT is a patient of ?PROCESS and ?PATIENT exists during the beginning of the time of existence of ?PROCESS and ?PATIENT doesn't exists during the end of the time of existence of ?PROCESS
(<=>
    (temporalPart ?POS
        (WhenFn ?THING))
    (time ?THING ?POS))		 Merge.kif 5975-5977 ?POS is a part of the time of existence of ?THING if and only if ?THING exists during ?POS
(=>
    (and
        (holdsDuring ?INTERVAL
            (holds ?REL ?INST1 ?INST2))
        (instance ?INST1 Physical)
        (instance ?INST2 Physical))
    (and
        (time ?INST1 ?INTERVAL)
        (time ?INST2 ?INTERVAL)))		 Merge.kif 5966-5973
(=>
    (and
        (instance ?PROC Process)
        (subProcess ?SUBPROC ?PROC))
    (exists (?TIME)
        (time ?SUBPROC ?TIME)))		 Merge.kif 7520-7525
  • if ?PROC is an instance of process and ?SUBPROC is a subprocess of ?PROC,
  • then there exists ?TIME so that ?SUBPROC exists during ?TIME
(=>
    (instance ?OBJ Object)
    (exists (?TIME1 ?TIME2)
        (and
            (instance ?TIME1 TimePoint)
            (instance ?TIME2 TimePoint)
            (before ?TIME1 ?TIME2)
            (forall (?TIME)
                (=>
                    (and
                        (beforeOrEqual ?TIME1 ?TIME)
                        (beforeOrEqual ?TIME ?TIME2))
                    (time ?OBJ ?TIME))))))		 Merge.kif 6077-6089
  • if ?OBJ is an instance of object,
  • then there exist ?TIME1 and ?TIME2 so that ?TIME1 is an instance of time point and ?TIME2 is an instance of time point and ?TIME1 happen%%{s} before ?TIME2 and for all ?TIME holds:
    • if ?TIME1 happen%%{s} before or at ?TIME and ?TIME happen%%{s} before or at ?TIME2,
    • then ?OBJ exists during ?TIME
(=>
    (result ?PROC ?OBJ)
    (forall (?TIME)
        (=>
            (before ?TIME
                (BeginFn
                    (WhenFn ?PROC)))
            (not
                (time ?OBJ ?TIME)))))		 Merge.kif 6091-6097
  • if ?OBJ is a result of ?PROC,
  • then for all ?TIME holds: