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


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