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


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