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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - temporalPart
temporalPart

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


(documentation temporalPart ChineseLanguage "这是类似空间谓词 part 的时间部分。 (temporalPart ?POS1 ?POS2)的意思是 TimePosition ?POS1 是 TimePosition ?POS2 的一部分。 注:因为 temporalPartReflexiveRelation,所以每个 TimePostion 都是它本身的 一个 temporalPart。") chinese_format.kif 2693-2696
(documentation temporalPart EnglishLanguage "The temporal analogue of the spatial part predicate. (temporalPart ?POS1 ?POS2) means that TimePosition ?POS1 is part of TimePosition ?POS2. Note that since temporalPart is a ReflexiveRelation every TimePostion is a temporalPart of itself.") Merge.kif 7935-7938
(documentation temporalPart JapaneseLanguage "空間 part 述部の時間アナログ。(temporalPart ?POS1 ?POS2) とは、TimePosition ?POS1が TimePosition ?POS2 の一部であることを意味する。 注:temporalPart はすべての TimePostion の ReflexiveRelation であるため、それ自体の TimePostion である。") japanese_format.kif 1416-1419
(domain temporalPart 1 TimePosition) Merge.kif 7932-7932 The number 1 argument of temporal part is an instance of time position
(domain temporalPart 2 TimePosition) Merge.kif 7933-7933 The number 2 argument of temporal part is an instance of time position
(instance temporalPart BinaryPredicate) Merge.kif 7929-7929 temporal part is an instance of binary predicate
(instance temporalPart PartialOrderingRelation) Merge.kif 7931-7931 temporal part is an instance of partial ordering relation
(instance temporalPart TemporalRelation) Merge.kif 7930-7930 temporal part is an instance of temporal relation

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


(format ChineseLanguage temporalPart "%1 时段 %n 是 %2 时段 的一 part") chinese_format.kif 417-417
(format EnglishLanguage temporalPart "%1 is %n a part of %2") english_format.kif 423-423
(format FrenchLanguage temporalPart "%1 est %n une partie de %2") french_format.kif 243-243
(format ItalianLanguage temporalPart "%1 è %n una parte di%2") relations-it.txt 296-296
(format JapaneseLanguage temporalPart "%1 は %2 の part では %n") japanese_format.kif 2037-2037
(format PortugueseLanguage temporalPart "%1 e' %n uma &parte de %2") portuguese_format.kif 195-195
(format cz temporalPart "%1 %p{je} %n{nen�} a part of %2'") relations-cz.txt 248-248
(format de temporalPart "%1 ist ein teil von %2 %n{nicht}") relations-de.txt 541-541
(format hi temporalPart "%1 %2 kaa bhaaga %n hai") relations-hindi.txt 332-332
(format ro temporalPart "%1 %n{nu} este o part%t{parte} a lui %2") relations-ro.kif 264-264
(format sv temporalPart "%1 är %n{inte} en del av %2") relations-sv.txt 264-264
(format tg temporalPart "%1 %n ay ang bahagi ng %2") relations-tg.txt 488-488
(relatedInternalConcept typicalTemporalPart temporalPart) Cars.kif 1433-1433 typical temporal part is internally related to temporal part
(relatedInternalConcept typicallyContainsTemporalPart temporalPart) Cars.kif 1475-1475 typically contains temporal part is internally related to temporal part
(subrelation finishes temporalPart) Merge.kif 8064-8064 finishes is a subrelation of temporal part
(subrelation starts temporalPart) Merge.kif 8032-8032 starts is a subrelation of temporal part
(termFormat ChineseLanguage temporalPart "时间部分") chinese_format.kif 418-418
(termFormat ChineseTraditionalLanguage temporalPart "時間部分") domainEnglishFormat.kif 57451-57451
(termFormat EnglishLanguage temporalPart "temporal part") domainEnglishFormat.kif 57450-57450

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


(=>
    (and
        (earlier ?TI1 ?TI2)
        (instance ?P1 TimePoint)
        (instance ?P2 TimePoint)
        (temporalPart ?P1 ?TI1)
        (temporalPart ?P2 ?TI2))
    (before ?P1 ?P2))
Merge.kif 8281-8288
(=>
    (and
        (holdsDuring ?TIME1 ?SITUATION)
        (temporalPart ?TIME2 ?TIME1))
    (holdsDuring ?TIME2 ?SITUATION))
Merge.kif 7954-7958
(=>
    (and
        (instance ?COLL Collection)
        (instance ?SITE WebSite)
        (instance ?AGENT AutonomousAgent)
        (instance ?LISTING WebListing)
        (instance ?TIME TimePoint)
        (listingSeller ?LISTING ?AGENT)
        (not
            (member ?LISTING ?COLL))
        (forall (?ITEM ?MEMBER)
            (and
                (=>
                    (and
                        (instance ?ITEM WebListing)
                        (member ?ITEM
                            (SellersItemsFn ?AGENT ?SITE))
                        (temporalPart ?TIME
                            (WhenFn ?ITEM))
                        (not
                            (equal ?ITEM ?LISTING)))
                    (member ?ITEM ?COLL))
                (=>
                    (member ?MEMBER ?COLL)
                    (and
                        (temporalPart ?TIME
                            (WhenFn ?ITEM))
                        (instance ?MEMBER WebListing))))))
    (equal
        (SellersOtherItemsFn ?AGENT ?SITE ?LISTING ?TIME) ?COLL))
UXExperimentalTerms.kif 1033-1060
(=>
    (and
        (instance ?D EasterSunday)
        (temporalPart ?D ?M)
        (instance ?M Month))
    (or
        (instance ?M March)
        (instance ?M April)
        (instance ?M May)))
Media.kif 498-506
(=>
    (and
        (instance ?D2
            (DayFn ?N2
                (MonthFn ?M
                    (YearFn ?Y))))
        (temporalPart ?D1
            (WeekBeforeFn ?D2))
        (temporalPart ?D2
            (WeekAfterFn ?D1)))
    (exists (?N1)
        (and
            (instance ?D1
                (DayFn ?N1
                    (MonthFn ?M
                        (YearFn ?Y))))
            (equal ?N1
                (SubtractionFn ?N2 7)))))
Mid-level-ontology.kif 14837-14846
(=>
    (and
        (instance ?DAY1 Friday)
        (instance ?DAY2 Saturday)
        (instance ?WEEK Week)
        (temporalPart ?DAY1 ?WEEK)
        (temporalPart ?DAY2 ?WEEK))
    (meetsTemporally ?DAY1 ?DAY2))
Merge.kif 9299-9306
(=>
    (and
        (instance ?DAY1 Monday)
        (instance ?DAY2 Tuesday)
        (instance ?WEEK Week)
        (temporalPart ?DAY1 ?WEEK)
        (temporalPart ?DAY2 ?WEEK))
    (meetsTemporally ?DAY1 ?DAY2))
Merge.kif 9247-9254
(=>
    (and
        (instance ?DAY1 Saturday)
        (instance ?DAY2 Sunday)
        (instance ?WEEK Week)
        (temporalPart ?DAY1 ?WEEK)
        (temporalPart ?DAY2 ?WEEK))
    (meetsTemporally ?DAY1 ?DAY2))
Merge.kif 9312-9319
(=>
    (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 9321-9330
(=>
    (and
        (instance ?DAY1 Thursday)
        (instance ?DAY2 Friday)
        (instance ?WEEK Week)
        (temporalPart ?DAY1 ?WEEK)
        (temporalPart ?DAY2 ?WEEK))
    (meetsTemporally ?DAY1 ?DAY2))
Merge.kif 9286-9293
(=>
    (and
        (instance ?DAY1 Tuesday)
        (instance ?DAY2 Wednesday)
        (instance ?WEEK Week)
        (temporalPart ?DAY1 ?WEEK)
        (temporalPart ?DAY2 ?WEEK))
    (meetsTemporally ?DAY1 ?DAY2))
Merge.kif 9260-9267
(=>
    (and
        (instance ?DAY1 Wednesday)
        (instance ?DAY2 Thursday)
        (instance ?WEEK Week)
        (temporalPart ?DAY1 ?WEEK)
        (temporalPart ?DAY2 ?WEEK))
    (meetsTemporally ?DAY1 ?DAY2))
Merge.kif 9273-9280
(=>
    (and
        (instance ?INTERVAL3 TimeInterval)
        (temporalPart ?INTERVAL3 ?INTERVAL1)
        (temporalPart ?INTERVAL3 ?INTERVAL2))
    (overlapsTemporally ?INTERVAL1 ?INTERVAL2))
Merge.kif 8242-8247
(=>
    (and
        (instance ?INTERVAL3 TimePosition)
        (temporalPart ?INTERVAL3 ?INTERVAL1)
        (temporalPart ?INTERVAL3 ?INTERVAL2))
    (overlapsTemporally ?INTERVAL1 ?INTERVAL2))
Merge.kif 8298-8303
(=>
    (and
        (typicalTemporalPart ?PART ?WHOLE)
        (instance ?X ?PART)
        (equal ?PARTPROB
            (ProbabilityFn
                (exists (?Y)
                    (and
                        (instance ?Y ?WHOLE)
                        (temporalPart ?X ?Y)))))
        (equal ?NOTPARTPROB
            (ProbabilityFn
                (not
                    (exists (?Z)
                        (and
                            (instance ?Z ?WHOLE)
                            (temporalPart ?X ?Z)))))))
    (greaterThan ?PARTPROB ?NOTPARTPROB))
Cars.kif 1453-1470
(=>
    (and
        (typicallyContainsTemporalPart ?PART ?WHOLE)
        (instance ?Y ?WHOLE)
        (equal ?PARTPROB
            (ProbabilityFn
                (exists (?X1)
                    (and
                        (instance ?X1 ?PART)
                        (temporalPart ?X1 ?Y)))))
        (equal ?NOTPARTPROB
            (ProbabilityFn
                (not
                    (exists (?X2)
                        (and
                            (instance ?X2 ?PART)
                            (temporalPart ?X2 ?Y)))))))
    (greaterThan ?PARTPROB ?NOTPARTPROB))
Cars.kif 1493-1510
(=>
    (temporalPart ?POS
        (WhenFn ?THING))
    (time ?THING ?POS))
Merge.kif 7969-7972

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


(=>
    (and
        (birthdate JesusOfNazareth ?DAY)
        (instance ?Y1
            (YearFn -6))
        (instance ?Y2
            (YearFn 4)))
    (temporalPart ?DAY
        (TimeIntervalFn
            (BeginFn ?Y1)
            (EndFn ?Y2))))
Media.kif 1936-1941
(=>
    (and
        (deathdate JesusOfNazareth ?DAY)
        (instance ?Y1
            (YearFn 29))
        (instance ?Y2
            (YearFn 36)))
    (temporalPart ?DAY
        (TimeIntervalFn
            (BeginFn ?Y1)
            (EndFn ?Y2))))
Media.kif 1943-1948
(=>
    (and
        (equal ?FY
            (FiscalYearStartingFn ?PLACE ?YEAR))
        (fiscalYearPeriod ?PLACE ?PERIOD)
        (instance ?FY ?PERIOD))
    (exists (?DAY ?INST)
        (and
            (instance ?DAY Day)
            (starts ?DAY ?FY)
            (instance ?INST ?YEAR)
            (temporalPart ?DAY ?INST))))
Economy.kif 3754-3764
(=>
    (and
        (holdsDuring ?T1
            (and
                (attribute ?P Expellee)
                (citizen ?P ?HOME-NATION)))
        (instance ?T1 TimeInterval))
    (exists (?TRANS ?NATION)
        (and
            (instance ?NATION Nation)
            (not
                (equal ?NATION ?HOME-NATION))
            (instance ?TRANS Translocation)
            (origin ?TRANS ?NATION)
            (patient ?TRANS ?P)
            (destination ?TRANS ?HOME-NATION)
            (temporalPart ?T1
                (WhenFn ?TRANS)))))
MilitaryPersons.kif 151-167
(=>
    (and
        (instance ?DECODE Decoding)
        (patient ?DECODE ?DOC1))
    (exists (?ENCODE ?DOC2 ?TIME ?PROP)
        (and
            (containsInformation ?DOC2 ?PROP)
            (containsInformation ?DOC1 ?PROP)
            (temporalPart ?TIME
                (PastFn
                    (WhenFn ?DECODE)))
            (holdsDuring ?TIME
                (and
                    (instance ?ENCODE Encoding)
                    (patient ?ENCODE ?DOC2))))))
Merge.kif 12715-12728
(=>
    (and
        (instance ?GOAL GameGoal)
        (instrument ?GAME ?GOAL)
        (instance ?GAME Game)
        (subProcess ?SCORE ?GAME)
        (instance ?SCORE Score))
    (exists (?PIECE ?TIME)
        (and
            (instance ?PIECE GamePiece)
            (patient ?SCORE ?PIECE)
            (temporalPart ?TIME
                (WhenFn ?SCORE))
            (holdsDuring ?TIME
                (located ?PIECE ?GOAL)))))
Mid-level-ontology.kif 17051-17063
(=>
    (and
        (instance ?H Hanukkah)
        (equal ?B
            (BeginFn ?H)))
    (exists (?M)
        (and
            (temporalPart ?B ?M)
            (instance ?M Month)
            (or
                (instance ?M November)
                (instance ?M December)))))
Media.kif 587-597
(=>
    (and
        (instance ?KEEP Keeping)
        (patient ?KEEP ?OBJ))
    (exists (?PLACE)
        (forall (?TIME)
            (=>
                (temporalPart ?TIME
                    (WhenFn ?KEEP))
                (holdsDuring ?TIME
                    (located ?OBJ ?PLACE))))))
Merge.kif 12190-12198
(=>
    (and
        (instance ?O OccupationalRole)
        (typicalAction ?PCLASS
            (AttrFn CognitiveAgent ?O)))
    (exists (?X ?T ?P ?PT)
        (and
            (instance ?X CognitiveAgent)
            (holdsDuring ?T
                (attribute ?X ?O))
            (instance ?P ?PCLASS)
            (agent ?X ?P)
            (time ?P ?PT)
            (temporalPart ?PT ?T))))
Mid-level-ontology.kif 22260-22273
(=>
    (and
        (instance ?POINT1 TimePoint)
        (instance ?POINT2 TimePoint)
        (instance ?INTERVAL TimeInterval)
        (equal
            (TimeIntervalFn ?POINT1 ?POINT2) ?INTERVAL))
    (forall (?POINT)
        (<=>
            (temporallyBetweenOrEqual ?POINT1 ?POINT ?POINT2)
            (temporalPart ?POINT ?INTERVAL))))
Merge.kif 8430-8439
(=>
    (and
        (instance ?SAW Saw)
        (instance ?CUT Cutting)
        (instrument ?CUT ?SAW)
        (instance ?OBJ Object)
        (patient ?CUT ?OBJ))
    (exists (?MOTION ?DIR1 ?DIR2 ?TIME ?T1 ?T2 ?PART)
        (and
            (instance ?MOTION Motion)
            (subProcess ?MOTION ?CUT)
            (instance ?PART CuttingDevice)
            (part ?PART ?SAW)
            (meetsSpatially ?PART ?OBJ)
            (patient ?MOTION ?PART)
            (instance ?T2 TimeInterval)
            (instance ?T2 TimeInterval)
            (equal
                (WhenFn ?MOTION) ?TIME)
            (temporalPart ?TIME ?T1)
            (temporalPart ?TIME ?T2)
            (instance ?DIR1 DirectionalAttribute)
            (instance ?DIR2 DirectionalAttribute)
            (=>
                (holdsDuring ?T1
                    (direction ?MOTION ?DIR1))
                (holdsDuring ?T2
                    (and
                        (direction ?MOTION ?DIR2)
                        (or
                            (equal ?DIR1 ?DIR2)
                            (oppositeDirection ?DIR1 ?DIR2))
                        (not
                            (and
                                (equal ?DIR1 ?DIR2)
                                (oppositeDirection ?DIR1 ?DIR2)))))))))
Mid-level-ontology.kif 18150-18184
(=>
    (and
        (instance ?T1
            (YearFn 26))
        (instance ?T2
            (YearFn 100)))
    (temporalPart
        (WhenFn TwelveApostles)
        (TimeIntervalFn
            (BeginFn ?T1)
            (EndFn ?T2))))
Media.kif 1959-1963
(=>
    (and
        (property ?Option EuropeanStyleOption)
        (agreementExpirationDate ?Option ?Date))
    (exists (?Period ?Time ?Exercise)
        (and
            (instance ?Period TimeInterval)
            (equal
                (EndFn ?Period) ?Date)
            (=>
                (and
                    (instance ?Exercise ExerciseAnOption)
                    (equal
                        (WhenFn ?Exercise) ?Time))
                (temporalPart ?Time ?Period)))))
FinancialOntology.kif 2808-2820
(=>
    (and
        (subclass ?PAPER Newspaper)
        (instance ?WEEK Week))
    (exists (?PUBLICATION ?ISSUE)
        (and
            (instance ?PUBLICATION Publication)
            (temporalPart
                (WhenFn ?PUBLICATION) ?WEEK)
            (result ?PUBLICATION ?ISSUE)
            (instance ?ISSUE ?PAPER))))
Mid-level-ontology.kif 14789-14798
(=>
    (classmate ?A1 ?A2 ?COURSE)
    (exists (?CLASS ?EDU ?TIME)
        (and
            (instance ?CLASS GroupOfPeople)
            (instance ?EDU EducationalProcess)
            (realization ?EDU ?COURSE)
            (patient ?EDU ?CLASS)
            (temporalPart ?TIME
                (WhenFn ?EDU))
            (memberAtTime ?A1 ?CLASS ?TIME)
            (memberAtTime ?A1 ?CLASS ?TIME))))
Mid-level-ontology.kif 16816-16827
(=>
    (climateTypeInArea ?AREA ColdClimateZone)
    (exists (?MO ?AMOUNT)
        (and
            (instance ?MO Month)
            (temporalPart ?MO WinterSeason)
            (averageTemperatureForPeriod ?AREA ?MO
                (MeasureFn ?AMOUNT CelsiusDegree))
            (lessThan ?AMOUNT -3.0))))
Geography.kif 1533-1541
(=>
    (diseaseMedicine ?DISEASE ?SUBSTANCE ?PROCESS)
    (exists (?ORGANISM ?TIME ?SAMPLE ?PROC)
        (and
            (holdsDuring ?TIME
                (attribute ?ORGANISM ?DISEASE))
            (increasesLikelihood
                (and
                    (instance ?PROC ?PROCESS)
                    (temporalPart
                        (WhenFn ?PROC) ?TIME)
                    (experiencer ?PROC ?ORGANISM)
                    (patient ?PROC ?SAMPLE)
                    (instance ?SAMPLE ?SUBSTANCE))
                (holdsDuring
                    (ImmediateFutureFn ?TIME)
                    (not
                        (attribute ?ORGANISM ?DISEASE)))))))
WMD.kif 941-955
(=>
    (during ?SMALL ?BIG)
    (temporalPart ?SMALL ?BIG))
Merge.kif 8258-8260
(=>
    (equal
        (BeginFn ?INTERVAL) ?POINT)
    (forall (?OTHERPOINT)
        (=>
            (and
                (temporalPart ?OTHERPOINT ?INTERVAL)
                (not
                    (equal ?OTHERPOINT ?POINT)))
            (before ?POINT ?OTHERPOINT))))
Merge.kif 7998-8005
(=>
    (equal
        (EndFn ?INTERVAL) ?POINT)
    (forall (?OTHERPOINT)
        (=>
            (and
                (temporalPart ?OTHERPOINT ?INTERVAL)
                (not
                    (equal ?OTHERPOINT ?POINT)))
            (before ?OTHERPOINT ?POINT))))
Merge.kif 8016-8023
(=>
    (equal
        (TemporalCompositionFn ?INTERVAL ?INTERVALTYPE) ?CLASS)
    (forall (?TIME)
        (=>
            (and
                (instance ?TIME TimePoint)
                (temporalPart ?TIME ?INTERVAL))
            (exists (?INSTANCE)
                (and
                    (instance ?INSTANCE ?CLASS)
                    (temporalPart ?TIME ?INSTANCE))))))
Merge.kif 9447-9457
(=>
    (frequency ?PROC ?TIME1)
    (forall (?TIME2)
        (=>
            (duration ?TIME2 ?TIME1)
            (exists (?POSITION)
                (and
                    (temporalPart ?POSITION ?TIME2)
                    (holdsDuring ?POSITION
                        (exists (?INST)
                            (instance ?INST ?PROC))))))))
Merge.kif 7917-7927
(=>
    (holdsDuring ?T1
        (attribute ?H Veteran))
    (exists (?T2)
        (and
            (temporalPart ?T2
                (PastFn
                    (WhenFn ?T1)))
            (holdsDuring ?T2
                (attribute ?H Soldier))
            (not
                (holdsDuring ?T1
                    (attribute ?H Soldier))))))
Mid-level-ontology.kif 22203-22214
(=>
    (holdsDuring ?T1
        (inhabits ?ORGANISM ?OBJ))
    (exists (?TIME)
        (and
            (instance ?TIME TimeInterval)
            (temporalPart ?TIME ?T1)
            (holdsDuring ?TIME
                (located ?ORGANISM ?OBJ)))))
Merge.kif 14376-14382
(=>
    (holdsDuring ?T1
        (states ?AGENT ?SENTENCE))
    (exists (?COMM)
        (and
            (instance ?COMM LinguisticCommunication)
            (agent ?COMM ?AGENT)
            (patient ?COMM ?SENTENCE)
            (temporalPart ?T1
                (WhenFn ?COMM)))))
Media.kif 1844-1851

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