Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - meetsTemporally
meetsTemporally

appearance as argument number 1
-------------------------


(documentation meetsTemporally ChineseLanguage "(meetsTemporally ?INTERVAL1 ?INTERVAL2) 的意思是 TimeInterval ?INTERVAL1 的终点是 TimeInterval ?INTERVAL2 起点。") chinese_format.kif 2722-2723
(documentation meetsTemporally EnglishLanguage "(meetsTemporally ?INTERVAL1 ?INTERVAL2) means that the terminal point of the TimeInterval ?INTERVAL1 is the initial point of the TimeInterval ?INTERVAL2.") Merge.kif 8315-8317
(documentation meetsTemporally JapaneseLanguage "(meetsTemporally ?INTERVAL1 ?INTERVAL2) とは、TimeInterval ?INTERVAL1 の端子点が TimeInterval ?INTERVAL2 の初期点であることを意味 する。") japanese_format.kif 1446-1448
(domain meetsTemporally 1 TimeInterval) Merge.kif 8312-8312
(domain meetsTemporally 2 TimeInterval) Merge.kif 8313-8313
(instance meetsTemporally AsymmetricRelation) Merge.kif 8309-8309
(instance meetsTemporally BinaryPredicate) Merge.kif 8307-8307
(instance meetsTemporally IntransitiveRelation) Merge.kif 8310-8310
(instance meetsTemporally TemporalRelation) Merge.kif 8308-8308
(instance meetsTemporally TotalValuedRelation) Merge.kif 8311-8311

appearance as argument number 2
-------------------------


(format ChineseLanguage meetsTemporally "%1 %n{doesn't} 接着 %2") chinese_format.kif 435-435
(format EnglishLanguage meetsTemporally "%1 %n{doesn't} meet%p{s} %2") english_format.kif 441-441
(format FrenchLanguage meetsTemporally "%1 %n{ne} rencontre %n{pas} %2") french_format.kif 252-252
(format ItalianLanguage meetsTemporally "%1 %n{non} incontra%p{s} %2") relations-it.txt 180-180
(format JapaneseLanguage meetsTemporally "%1 は %2 に meet%p{s} %n{ない}") japanese_format.kif 2046-2046
(format PortugueseLanguage meetsTemporally "%1 %n{nao} encontra %n %2") portuguese_format.kif 204-204
(format cz meetsTemporally "%1 %n{doesn't} meet%p{s} %2") relations-cz.txt 258-258
(format de meetsTemporally "%1 schliesst %2 zeitlich %n{nicht} an") relations-de.txt 568-568
(format hi meetsTemporally "%1 %2 se %n{nahiin} milataa hai") relations-hindi.txt 218-218
(format ro meetsTemporally "%1 %n{nu} meet%t{se continuã} cu %2") relations-ro.kif 273-273
(format sv meetsTemporally "%1 möter %n{inte} %2") relations-sv.txt 276-276
(format tg meetsTemporally "%1 %n ay sumali sa %2") relations-tg.txt 356-356
(termFormat ChineseLanguage meetsTemporally "在时间上接着") chinese_format.kif 436-436
(termFormat ChineseLanguage meetsTemporally "短暂相遇") domainEnglishFormat.kif 36935-36935
(termFormat ChineseTraditionalLanguage meetsTemporally "短暫相遇") domainEnglishFormat.kif 36934-36934
(termFormat EnglishLanguage meetsTemporally "meets temporally") domainEnglishFormat.kif 36933-36933

antecedent
-------------------------


(=>
    (and
        (instance ?DAY1 Sunday)
        (instance ?DAY2 Monday)
        (instance ?WEEK1 Week)
        (instance ?WEEK2 Week)
        (temporalPart ?DAY1 ?WEEK1)
        (temporalPart ?DAY2 ?WEEK2)
        (meetsTemporally ?WEEK1 ?WEEK2))
    (meetsTemporally ?DAY1 ?DAY2))
Merge.kif 9307-9316
(=>
    (and
        (instance ?Drawing DrawingACheck)
        (patient ?Drawing ?Check)
        (instance ?Processing ProcessingACheck)
        (patient ?Processing ?Check)
        (equal
            (WhenFn ?Drawing) ?DrawingTime)
        (equal
            (WhenFn ?Processing) ?ProcessingTime)
        (meetsTemporally ?DrawingTime ?Time)
        (meetsTemporally ?Time ?ProcessingTime)
        (duration ?Time
            (MeasureFn ?Duration MonthDuration)))
    (lessThan ?Duration 6))
FinancialOntology.kif 155-166
(=>
    (and
        (instance ?ES EasterSunday)
        (instance ?L Lent)
        (meetsTemporally ?L ?ES)
        (during ?ES ?Y)
        (instance ?Y Year))
    (during ?L ?Y))
Media.kif 437-444
(=>
    (and
        (instance ?ES EasterSunday)
        (instance ?L Lent)
        (meetsTemporally ?L ?ES)
        (during ?L ?Y)
        (instance ?Y Year))
    (during ?ES ?Y))
Media.kif 446-453
(=>
    (and
        (instance ?MONTH1
            (MonthFn December ?YEAR1))
        (instance ?MONTH2
            (MonthFn January ?YEAR2))
        (instance ?Y1 ?YEAR1)
        (instance ?Y2 ?YEAR2)
        (meetsTemporally ?Y1 ?Y2))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9207-9214
(=>
    (and
        (instance ?T1 Advent)
        (instance ?T2 ChristmasDay)
        (during ?T1 ?YEAR)
        (instance ?YEAR Year)
        (meetsTemporally ?T1 ?T2))
    (during ?T2 ?YEAR))
Media.kif 387-394
(=>
    (and
        (instance ?T1 Advent)
        (instance ?T2 ChristmasDay)
        (during ?T2 ?YEAR)
        (instance ?YEAR Year)
        (meetsTemporally ?T1 ?T2))
    (during ?T1 ?YEAR))
Media.kif 396-403
(=>
    (and
        (instance ?T1 Advent)
        (instance ?T2 ChristmasDay)
        (meetsTemporally ?T1 ?T2))
    (exists (?YEAR)
        (and
            (instance ?YEAR Year)
            (during ?T1 ?YEAR)
            (during ?T2 ?YEAR))))
Media.kif 376-385
(=>
    (and
        (startupTimeDelay ?Application ?Delay)
        (instance ?Process1 ComputerProcess)
        (programRunning ?Process1 ?Application)
        (equal
            (WhenFn ?Process1) ?Time1)
        (instance ?Process2 ComputerProcess)
        (equal
            (WhenFn ?Process2) ?Time2)
        (meetsTemporally ?Time1 ?Time)
        (meetsTemporally ?Time ?Time2))
    (measure ?Time ?Delay))
QoSontology.kif 660-670
(=>
    (meetsTemporally ?INTERVAL1 ?INTERVAL2)
    (equal
        (EndFn ?INTERVAL1)
        (BeginFn ?INTERVAL2)))
Merge.kif 8319-8323
(=>
    (meetsTemporally ?T1 ?T2)
    (not
        (exists (?T3)
            (and
                (instance ?T3 TimeInterval)
                (temporalPart ?T3 ?T1)
                (temporalPart ?T3 ?T2)))))
Merge.kif 8331-8338

consequent
-------------------------


(=>
    (and
        (attribute ?X CommunalAttribute)
        (instance ?X Table)
        (instance ?E1 Eating)
        (agent ?E1 ?GRP1)
        (instance ?GRP1 GroupOfPeople)
        (eventLocated ?E1 ?X))
    (modalAttribute
        (exists (?GRP2 ?E2 ?X2)
            (and
                (instance ?E2 Eating)
                (agent ?E2 ?GRP2)
                (not
                    (equal ?GRP1 ?GRP2))
                (instance ?GRP2 GroupOfPeople)
                (eventLocated ?E2 ?X2)
                (meetsTemporally
                    (WhenFn ?E1)
                    (WhenFn ?E2))
                (equal ?X ?X2))) Possibility))
Dining.kif 1207-1224
(=>
    (and
        (holdsDuring ?TIME
            (attribute ?ORG Larval))
        (instance ?BIRTH Birth)
        (equal ?BW
            (WhenFn ?BIRTH))
        (experiencer ?BIRTH ?ORG))
    (meetsTemporally ?BW ?TIME))
Merge.kif 18071-18077
(=>
    (and
        (instance ?D Dodging)
        (agent ?D ?A)
        (equal ?DT
            (WhenFn ?D)))
    (hasPurpose ?D
        (not
            (exists (?I)
                (and
                    (or
                        (meetsTemporally ?DT
                            (WhenFn ?I))
                        (overlapsTemporally ?DT
                            (WhenFn ?I)))
                    (instance ?I Impacting)
                    (patient ?I ?A))))))
Mid-level-ontology.kif 450-463
(=>
    (and
        (instance ?DAY1
            (DayFn ?NUMBER1 ?MONTH))
        (instance ?DAY2
            (DayFn ?NUMBER2 ?MONTH))
        (equal
            (SubtractionFn ?NUMBER2 ?NUMBER1) 1))
    (meetsTemporally ?DAY1 ?DAY2))
Merge.kif 8589-8594
(=>
    (and
        (instance ?DAY1 Friday)
        (instance ?DAY2 Saturday)
        (instance ?WEEK Week)
        (temporalPart ?DAY1 ?WEEK)
        (temporalPart ?DAY2 ?WEEK))
    (meetsTemporally ?DAY1 ?DAY2))
Merge.kif 9285-9292
(=>
    (and
        (instance ?DAY1 Monday)
        (instance ?DAY2 Tuesday)
        (instance ?WEEK Week)
        (temporalPart ?DAY1 ?WEEK)
        (temporalPart ?DAY2 ?WEEK))
    (meetsTemporally ?DAY1 ?DAY2))
Merge.kif 9233-9240
(=>
    (and
        (instance ?DAY1 Saturday)
        (instance ?DAY2 Sunday)
        (instance ?WEEK Week)
        (temporalPart ?DAY1 ?WEEK)
        (temporalPart ?DAY2 ?WEEK))
    (meetsTemporally ?DAY1 ?DAY2))
Merge.kif 9298-9305
(=>
    (and
        (instance ?DAY1 Sunday)
        (instance ?DAY2 Monday)
        (instance ?WEEK1 Week)
        (instance ?WEEK2 Week)
        (temporalPart ?DAY1 ?WEEK1)
        (temporalPart ?DAY2 ?WEEK2)
        (meetsTemporally ?WEEK1 ?WEEK2))
    (meetsTemporally ?DAY1 ?DAY2))
Merge.kif 9307-9316
(=>
    (and
        (instance ?DAY1 Thursday)
        (instance ?DAY2 Friday)
        (instance ?WEEK Week)
        (temporalPart ?DAY1 ?WEEK)
        (temporalPart ?DAY2 ?WEEK))
    (meetsTemporally ?DAY1 ?DAY2))
Merge.kif 9272-9279
(=>
    (and
        (instance ?DAY1 Tuesday)
        (instance ?DAY2 Wednesday)
        (instance ?WEEK Week)
        (temporalPart ?DAY1 ?WEEK)
        (temporalPart ?DAY2 ?WEEK))
    (meetsTemporally ?DAY1 ?DAY2))
Merge.kif 9246-9253
(=>
    (and
        (instance ?DAY1 Wednesday)
        (instance ?DAY2 Thursday)
        (instance ?WEEK Week)
        (temporalPart ?DAY1 ?WEEK)
        (temporalPart ?DAY2 ?WEEK))
    (meetsTemporally ?DAY1 ?DAY2))
Merge.kif 9259-9266
(=>
    (and
        (instance ?DISCOVER Discovering)
        (patient ?DISCOVER ?OBJ))
    (exists (?PURSUE)
        (and
            (instance ?PURSUE Pursuing)
            (meetsTemporally
                (WhenFn ?PURSUE)
                (WhenFn ?DISCOVER)))))
Merge.kif 11918-11925
(=>
    (and
        (instance ?Downtick Downtick)
        (patient ?Downtick ?Stock)
        (equal
            (WhenFn ?Downtick) ?Time1)
        (instance ?U UnitOfCurrency)
        (price ?Stock
            (MeasureFn ?Price1 ?U) ?Time1))
    (exists (?Transaction ?Time2 ?Price2)
        (and
            (instance ?Transaction StockMarketTransaction)
            (patient ?Transaction ?Stock)
            (equal
                (WhenFn ?Transaction) ?Time2)
            (meetsTemporally ?Time2 ?Time1)
            (price ?Stock
                (MeasureFn ?Price2 ?U) ?Time2)
            (greaterThan ?Price2 ?Price1))))
FinancialOntology.kif 3247-3263
(=>
    (and
        (instance ?ESCAPE Escaping)
        (agent ?ESCAPE ?AGENT))
    (exists (?CONFINE)
        (and
            (instance ?CONFINE Confining)
            (patient ?CONFINE ?AGENT)
            (meetsTemporally
                (WhenFn ?CONFINE)
                (WhenFn ?ESCAPE)))))
Mid-level-ontology.kif 17216-17224
(=>
    (and
        (instance ?EVE Evening)
        (instance ?AFT Afternoon)
        (instance ?D Day)
        (during ?EVE ?D)
        (during ?AFT ?D))
    (meetsTemporally ?AFT ?EVE))
Merge.kif 8908-8915
(=>
    (and
        (instance ?HOUR1
            (HourFn ?NUMBER1 ?DAY))
        (instance ?HOUR2
            (HourFn ?NUMBER2 ?DAY))
        (equal
            (SubtractionFn ?NUMBER2 ?NUMBER1) 1))
    (meetsTemporally ?HOUR1 ?HOUR2))
Merge.kif 8615-8620
(=>
    (and
        (instance ?MINUTE1
            (MinuteFn ?NUMBER1 ?HOUR))
        (instance ?MINUTE2
            (MinuteFn ?NUMBER2 ?HOUR))
        (equal
            (SubtractionFn ?NUMBER2 ?NUMBER1) 1))
    (meetsTemporally ?MINUTE1 ?MINUTE2))
Merge.kif 8642-8647
(=>
    (and
        (instance ?MONTH1
            (MonthFn April ?YEAR))
        (instance ?MONTH2
            (MonthFn May ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9094-9098
(=>
    (and
        (instance ?MONTH1
            (MonthFn August ?YEAR))
        (instance ?MONTH2
            (MonthFn September ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9150-9154
(=>
    (and
        (instance ?MONTH1
            (MonthFn December ?YEAR1))
        (instance ?MONTH2
            (MonthFn January ?YEAR2))
        (instance ?Y1 ?YEAR1)
        (instance ?Y2 ?YEAR2)
        (meetsTemporally ?Y1 ?Y2))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9207-9214
(=>
    (and
        (instance ?MONTH1
            (MonthFn February ?YEAR))
        (instance ?MONTH2
            (MonthFn March ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9066-9070
(=>
    (and
        (instance ?MONTH1
            (MonthFn January ?YEAR))
        (instance ?MONTH2
            (MonthFn February ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9042-9046
(=>
    (and
        (instance ?MONTH1
            (MonthFn July ?YEAR))
        (instance ?MONTH2
            (MonthFn August ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9136-9140
(=>
    (and
        (instance ?MONTH1
            (MonthFn June ?YEAR))
        (instance ?MONTH2
            (MonthFn July ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9122-9126
(=>
    (and
        (instance ?MONTH1
            (MonthFn March ?YEAR))
        (instance ?MONTH2
            (MonthFn April ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9080-9084

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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