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
(subclass Holiday TimeInterval) Mid-level-ontology.kif 14848-14848 假日时距subclass
(subclass AnteMeridiem TimeInterval) Mid-level-ontology.kif 19091-19091 上午时距subclass
(subclass PostMeridiem TimeInterval) Mid-level-ontology.kif 19104-19104 发布meridiem时距subclass
(subclass Weekend TimeInterval) Mid-level-ontology.kif 19118-19118 周末时距subclass
(subclass SeasonOfYear TimeInterval) Mid-level-ontology.kif 19131-19131 一年的季节时距subclass
(subclass Year TimeInterval) Merge.kif 8738-8738 时距subclass
(subclass Decade TimeInterval) Merge.kif 8765-8765 Decade时距subclass
(subclass DayTime TimeInterval) Merge.kif 8857-8857 一天的时间时距subclass
(subclass Sunrise TimeInterval) Merge.kif 8862-8862 日出时距subclass
(subclass Sunset TimeInterval) Merge.kif 8866-8866 日落时距subclass
(subclass NightTime TimeInterval) Merge.kif 8888-8888 晚上的时间时距subclass
(subclass QuarterYear TimeInterval) Merge.kif 8987-8987 QuarterYear时距subclass
(subclass Month TimeInterval) Merge.kif 9043-9043 时距subclass
(subclass Day TimeInterval) Merge.kif 9230-9230 时距subclass
(subclass Week TimeInterval) Merge.kif 9332-9332 星期时距subclass
(subclass Hour TimeInterval) Merge.kif 9340-9340 小时时距subclass
(subclass Minute TimeInterval) Merge.kif 9350-9350 分钟时距subclass
(subclass Second TimeInterval) Merge.kif 9360-9360 秒钟时距subclass
(subclass BreakfastTime TimeInterval) Food.kif 1849-1849 BreakfastTime时距subclass
(subclass LunchTime TimeInterval) Food.kif 1861-1861 LunchTime时距subclass
(subclass DinnerTime TimeInterval) Food.kif 1878-1878 DinnerTime时距subclass
(subclass Ramadan TimeInterval) ArabicCulture.kif 26-26 斋月时距subclass
(subclass DhuAlHijjah TimeInterval) ArabicCulture.kif 112-112 Dhu al hijjah时距subclass


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