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
(subclass Holiday TimeInterval) Mid-level-ontology.kif 14848-14848
(subclass AnteMeridiem TimeInterval) Mid-level-ontology.kif 19091-19091
(subclass PostMeridiem TimeInterval) Mid-level-ontology.kif 19104-19104
(subclass Weekend TimeInterval) Mid-level-ontology.kif 19118-19118
(subclass SeasonOfYear TimeInterval) Mid-level-ontology.kif 19131-19131
(subclass Year TimeInterval) Merge.kif 8738-8738
(subclass Decade TimeInterval) Merge.kif 8765-8765
(subclass DayTime TimeInterval) Merge.kif 8857-8857
(subclass Sunrise TimeInterval) Merge.kif 8862-8862
(subclass Sunset TimeInterval) Merge.kif 8866-8866
(subclass NightTime TimeInterval) Merge.kif 8888-8888
(subclass QuarterYear TimeInterval) Merge.kif 8987-8987
(subclass Month TimeInterval) Merge.kif 9043-9043
(subclass Day TimeInterval) Merge.kif 9230-9230
(subclass Week TimeInterval) Merge.kif 9332-9332
(subclass Hour TimeInterval) Merge.kif 9340-9340
(subclass Minute TimeInterval) Merge.kif 9350-9350
(subclass Second TimeInterval) Merge.kif 9360-9360
(subclass BreakfastTime TimeInterval) Food.kif 1849-1849
(subclass LunchTime TimeInterval) Food.kif 1861-1861
(subclass DinnerTime TimeInterval) Food.kif 1878-1878
(subclass Ramadan TimeInterval) ArabicCulture.kif 26-26
(subclass DhuAlHijjah TimeInterval) ArabicCulture.kif 112-112


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