Term Intersection : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(=>
    (and
        (offersAtTime ?AGENT ?CATALOG ?TIMEINT)
        (catalogItem ?CLASS ?CATALOG)
        (subclass ?CLASS Process)
        (instance ?TIMEINT ?TIME)
        (subclass ?TIME TimeInterval))
    (capabilityDuring ?CLASS agent ?AGENT ?TIME))		 Catalog.kif 130-137
(=>
    (and
        (instance ?PROCESS ?PROCESS_CLASS)
        (subclass ?PROCESS_CLASS Process)
        (instance ?ACCESSING AccessingWebPage)
        (instance ?AGENT AutonomousAgent)
        (agent ?PROCESS ?AGENT)
        (agent ?ACCESSING ?AGENT)
        (during ?PROCESS ?ACCESSING)
        (instance ?TIMETOFIRST TimeInterval)
        (not
            (exists (?PROCESS2)
                (and
                    (instance ?PROCESS2 ?PROCESS_CLASS)
                    (agent ?PROCESS2 ?AGENT)
                    (during ?PROCESS2 ?ACCESSING)
                    (before
                        (BeginFn
                            (WhenFn ?PROCESS2))
                        (BeginFn
                            (WhenFn ?PROCESS))))))
        (equal
            (BeginFn
                (WhenFn ?ACCESSING))
            (BeginFn
                (WhenFn ?TIMETOFIRST)))
        (equal
            (BeginFn
                (WhenFn ?PROCESS))
            (EndFn
                (WhenFn ?TIMETOFIRST))))
    (equal
        (TTFxFn ?PROCESS_CLASS ?ACCESSING) ?TIMETOFIRST))		 UXExperimentalTerms.kif 1496-1518
(=>
    (and
        (offersAtTime ?AGENT ?CATALOG ?TIMEINT)
        (catalogItem ?CLASS ?CATALOG)
        (subclass ?CLASS Object)
        (instance ?PROCESSINSTANCE ?PROCESS)
        (subclass ?PROCESS Process)
        (instance ?OBJ ?CLASS)
        (patient ?PROCESSINSTANCE ?OBJ)
        (instance ?TIMEINT ?TIME)
        (subclass ?TIME TimeInterval))
    (capabilityDuring ?PROCESS agent ?AGENT ?TIME))		 Catalog.kif 139-150
(subclass TimeInterval TimePosition) Merge.kif 2084-2084 Interval temporel est une sous-classe de position temporel
(subclass Holiday TimeInterval) Mid-level-ontology.kif 14848-14848 Holiday est une sous-classe de interval temporel
(subclass AnteMeridiem TimeInterval) Mid-level-ontology.kif 19091-19091 AnteMeridiem est une sous-classe de interval temporel
(subclass PostMeridiem TimeInterval) Mid-level-ontology.kif 19104-19104 PostMeridiem est une sous-classe de interval temporel
(subclass Weekend TimeInterval) Mid-level-ontology.kif 19118-19118 Weekend est une sous-classe de interval temporel
(subclass SeasonOfYear TimeInterval) Mid-level-ontology.kif 19131-19131 SeasonOfYear est une sous-classe de interval temporel
(subclass Year TimeInterval) Merge.kif 8738-8738 Ann�e est une sous-classe de interval temporel
(subclass Decade TimeInterval) Merge.kif 8765-8765 Decade est une sous-classe de interval temporel
(subclass DayTime TimeInterval) Merge.kif 8857-8857 DayTime est une sous-classe de interval temporel
(subclass Sunrise TimeInterval) Merge.kif 8862-8862 Sunrise est une sous-classe de interval temporel
(subclass Sunset TimeInterval) Merge.kif 8866-8866 Sunset est une sous-classe de interval temporel
(subclass NightTime TimeInterval) Merge.kif 8888-8888 NightTime est une sous-classe de interval temporel
(subclass QuarterYear TimeInterval) Merge.kif 8987-8987 QuarterYear est une sous-classe de interval temporel
(subclass Month TimeInterval) Merge.kif 9043-9043 Mois est une sous-classe de interval temporel
(subclass Day TimeInterval) Merge.kif 9230-9230 Jour est une sous-classe de interval temporel
(subclass Week TimeInterval) Merge.kif 9332-9332 Semaine est une sous-classe de interval temporel
(subclass Hour TimeInterval) Merge.kif 9340-9340 Heure est une sous-classe de interval temporel
(subclass Minute TimeInterval) Merge.kif 9350-9350 Minute est une sous-classe de interval temporel
(subclass Second TimeInterval) Merge.kif 9360-9360 Seconde est une sous-classe de interval temporel
(subclass BreakfastTime TimeInterval) Food.kif 1849-1849 BreakfastTime est une sous-classe de interval temporel
(subclass LunchTime TimeInterval) Food.kif 1861-1861 LunchTime est une sous-classe de interval temporel
(subclass DinnerTime TimeInterval) Food.kif 1878-1878 DinnerTime est une sous-classe de interval temporel
(subclass Ramadan TimeInterval) ArabicCulture.kif 26-26 Ramadan est une sous-classe de interval temporel
(subclass DhuAlHijjah TimeInterval) ArabicCulture.kif 112-112 DhuAlHijjah est une sous-classe de interval temporel


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