| appearance as argument number 1 |
|
| (documentation temporalPart ChineseLanguage "这是类似空间谓词 part 的时间部分。 (temporalPart ?POS1 ?POS2)的意思是 TimePosition ?POS1 是 TimePosition ?POS2 的一部分。 注：因为 temporalPart 是 ReflexiveRelation，所以每个 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 7921-7924 | |
| (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 7918-7918 | 时间部分 的 1 数量 是 时间位置 的 instance |
| (domain temporalPart 2 TimePosition) | Merge.kif 7919-7919 | 时间部分 的 2 数量 是 时间位置 的 instance |
| (instance temporalPart BinaryPredicate) | Merge.kif 7915-7915 | 时间部分 是 二元谓语 的 instance |
| (instance temporalPart PartialOrderingRelation) | Merge.kif 7917-7917 | 时间部分 是 偏序关系 的 instance |
| (instance temporalPart TemporalRelation) | Merge.kif 7916-7916 | 时间部分 是 时间关系 的 instance |
| 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 | typicalTemporalPart 和 时间部分 是 内部相关 |
| (relatedInternalConcept typicallyContainsTemporalPart temporalPart) | Cars.kif 1475-1475 | typicallyContainsTemporalPart 和 时间部分 是 内部相关 |
| (subrelation finishes temporalPart) | Merge.kif 8050-8050 | 完成 是 时间部分 的 subrelation |
| (subrelation starts temporalPart) | Merge.kif 8018-8018 | 开始 是 时间部分 的 subrelation |
| (termFormat ChineseLanguage temporalPart "时间部分") | chinese_format.kif 418-418 | |
| (termFormat ChineseTraditionalLanguage temporalPart "時間部分") | domainEnglishFormat.kif 57460-57460 | |
| (termFormat EnglishLanguage temporalPart "temporal part") | domainEnglishFormat.kif 57459-57459 |
| antecedent |
|
|
| (=> (and (earlier ?TI1 ?TI2) (instance ?P1 TimePoint) (instance ?P2 TimePoint) (temporalPart ?P1 ?TI1) (temporalPart ?P2 ?TI2)) (before ?P1 ?P2)) |
Merge.kif 8265-8272 | |
| (=> (and (holdsDuring ?TIME1 ?SITUATION) (temporalPart ?TIME2 ?TIME1)) (holdsDuring ?TIME2 ?SITUATION)) |
Merge.kif 7940-7944 |
|
| (=> (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 1230-1257 |
|
| (=> (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 14707-14716 |
|
| (=> (and (instance ?DAY1 Friday) (instance ?DAY2 Saturday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 9283-9290 | |
| (=> (and (instance ?DAY1 Monday) (instance ?DAY2 Tuesday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 9231-9238 | |
| (=> (and (instance ?DAY1 Saturday) (instance ?DAY2 Sunday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 9296-9303 | |
| (=> (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 9305-9314 | |
| (=> (and (instance ?DAY1 Thursday) (instance ?DAY2 Friday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 9270-9277 | |
| (=> (and (instance ?DAY1 Tuesday) (instance ?DAY2 Wednesday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 9244-9251 | |
| (=> (and (instance ?DAY1 Wednesday) (instance ?DAY2 Thursday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 9257-9264 | |
| (=> (and (instance ?INTERVAL3 TimeInterval) (temporalPart ?INTERVAL3 ?INTERVAL1) (temporalPart ?INTERVAL3 ?INTERVAL2)) (overlapsTemporally ?INTERVAL1 ?INTERVAL2)) |
Merge.kif 8228-8233 | |
| (=> (and (instance ?INTERVAL3 TimePosition) (temporalPart ?INTERVAL3 ?INTERVAL1) (temporalPart ?INTERVAL3 ?INTERVAL2)) (overlapsTemporally ?INTERVAL1 ?INTERVAL2)) |
Merge.kif 8282-8287 | |
| (=> (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 7955-7958 |
| 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 3770-3780 | |
| (=> (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 12606-12619 | |
| (=> (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 16921-16933 |
|
| (=> (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 12081-12089 | |
| (=> (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 22340-22353 |
|
| (=> (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 8414-8423 | |
| (=> (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 17990-18024 |
|
| (=> (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) (finishes ?Period ?Date) (=> (and (instance ?Exercise ExerciseAnOption) (equal (WhenFn ?Exercise) ?Time)) (temporalPart ?Time ?Period))))) |
FinancialOntology.kif 2821-2833 | |
| (=> (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 14659-14668 | |
| (=> (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 16686-16697 | |
| (=> (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 1532-1540 | |
| (=> (diseaseTreatment ?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 8242-8244 | |
| (=> (equal (BeginFn ?INTERVAL) ?POINT) (forall (?OTHERPOINT) (=> (and (temporalPart ?OTHERPOINT ?INTERVAL) (not (equal ?OTHERPOINT ?POINT))) (before ?POINT ?OTHERPOINT)))) |
Merge.kif 7984-7991 | |
| (=> (equal (EndFn ?INTERVAL) ?POINT) (forall (?OTHERPOINT) (=> (and (temporalPart ?OTHERPOINT ?INTERVAL) (not (equal ?OTHERPOINT ?POINT))) (before ?OTHERPOINT ?POINT)))) |
Merge.kif 8002-8009 | |
| (=> (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 9431-9441 | |
| (=> (frequency ?PROC ?TIME1) (forall (?TIME2) (=> (duration ?TIME2 ?TIME1) (exists (?POSITION) (and (temporalPart ?POSITION ?TIME2) (holdsDuring ?POSITION (exists (?INST) (instance ?INST ?PROC)))))))) |
Merge.kif 7903-7913 | |
| (=> (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 22283-22294 | |
| (=> (holdsDuring ?T1 (inhabits ?ORGANISM ?OBJ)) (exists (?TIME) (and (instance ?TIME TimeInterval) (temporalPart ?TIME ?T1) (holdsDuring ?TIME (located ?ORGANISM ?OBJ))))) |
Merge.kif 14267-14273 |
|
| (=> (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