| 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 8017-8020 | |
| (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 8014-8014 | |
| (domain temporalPart 2 TimePosition) | Merge.kif 8015-8015 | |
| (instance temporalPart BinaryPredicate) | Merge.kif 8011-8011 | |
| (instance temporalPart PartialOrderingRelation) | Merge.kif 8013-8013 | |
| (instance temporalPart TemporalRelation) | Merge.kif 8012-8012 |
| 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 | |
| (relatedInternalConcept typicallyContainsTemporalPart temporalPart) | Cars.kif 1475-1475 | |
| (subrelation finishes temporalPart) | Merge.kif 8146-8146 | |
| (subrelation starts temporalPart) | Merge.kif 8114-8114 | |
| (termFormat ChineseLanguage temporalPart "时间部分") | chinese_format.kif 418-418 | |
| (termFormat ChineseTraditionalLanguage temporalPart "時間部分") | domainEnglishFormat.kif 57456-57456 | |
| (termFormat EnglishLanguage temporalPart "temporal part") | domainEnglishFormat.kif 57455-57455 | |
| (termFormat de temporalPart "zeitlichesTeil") | terms-de.txt 166-166 |
| antecedent |
|
|
| (=> (and (earlier ?TI1 ?TI2) (instance ?P1 TimePoint) (instance ?P2 TimePoint) (temporalPart ?P1 ?TI1) (temporalPart ?P2 ?TI2)) (before ?P1 ?P2)) |
Merge.kif 8391-8398 | |
| (=> (and (holdsDuring ?TIME1 ?SITUATION) (temporalPart ?TIME2 ?TIME1)) (holdsDuring ?TIME2 ?SITUATION)) |
Merge.kif 8036-8040 | |
| (=> (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 16199-16208 | |
| (=> (and (instance ?DAY1 Friday) (instance ?DAY2 Saturday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 9418-9425 | |
| (=> (and (instance ?DAY1 Monday) (instance ?DAY2 Tuesday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 9366-9373 | |
| (=> (and (instance ?DAY1 Saturday) (instance ?DAY2 Sunday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (not (meetsTemporally ?DAY1 ?DAY2))) |
Merge.kif 9431-9438 | |
| (=> (and (instance ?DAY1 Saturday) (instance ?DAY2 Sunday) (instance ?WEEK1 Week) (instance ?WEEK2 Week) (temporalPart ?DAY1 ?WEEK1) (temporalPart ?DAY2 ?WEEK2) (meetsTemporally ?WEEK1 ?WEEK2)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 9440-9449 | |
| (=> (and (instance ?DAY1 Sunday) (instance ?DAY2 Monday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 9353-9360 | |
| (=> (and (instance ?DAY1 Thursday) (instance ?DAY2 Friday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 9405-9412 | |
| (=> (and (instance ?DAY1 Tuesday) (instance ?DAY2 Wednesday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 9379-9386 | |
| (=> (and (instance ?DAY1 Wednesday) (instance ?DAY2 Thursday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 9392-9399 | |
| (=> (and (instance ?INTERVAL3 TimeInterval) (temporalPart ?INTERVAL3 ?INTERVAL1) (temporalPart ?INTERVAL3 ?INTERVAL2)) (overlapsTemporally ?INTERVAL1 ?INTERVAL2)) |
Merge.kif 8352-8357 | |
| (=> (and (instance ?INTERVAL3 TimePosition) (temporalPart ?INTERVAL3 ?INTERVAL1) (temporalPart ?INTERVAL3 ?INTERVAL2)) (overlapsTemporally ?INTERVAL1 ?INTERVAL2)) |
Merge.kif 8408-8413 | |
| (=> (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 8051-8054 |
| consequent |
|
|
| (=> (and (birthdate JesusOfNazareth ?DAY) (instance ?Y1 (YearFn -6)) (instance ?Y2 (YearFn 4))) (temporalPart ?DAY (TimeIntervalFn (BeginFn ?Y1) (EndFn ?Y2)))) |
Media.kif 1938-1943 | |
| (=> (and (deathdate JesusOfNazareth ?DAY) (instance ?Y1 (YearFn 29)) (instance ?Y2 (YearFn 36))) (temporalPart ?DAY (TimeIntervalFn (BeginFn ?Y1) (EndFn ?Y2)))) |
Media.kif 1945-1950 | |
| (=> (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 4091-4101 | |
| (=> (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 12866-12879 | |
| (=> (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 18424-18436 | |
| (=> (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 12337-12345 | |
| (=> (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 23889-23902 | |
| (=> (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 8540-8549 | |
| (=> (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 19707-19741 | |
| (=> (and (instance ?T1 (YearFn 26)) (instance ?T2 (YearFn 100))) (temporalPart (WhenFn TwelveApostles) (TimeIntervalFn (BeginFn ?T1) (EndFn ?T2)))) |
Media.kif 1961-1965 | |
| (=> (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 2825-2837 | |
| (=> (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 16151-16160 | |
| (=> (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 18189-18200 | |
| (=> (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 2931-2939 | |
| (=> (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 8368-8370 | |
| (=> (equal (BeginFn ?INTERVAL) ?POINT) (forall (?OTHERPOINT) (=> (and (temporalPart ?OTHERPOINT ?INTERVAL) (not (equal ?OTHERPOINT ?POINT))) (before ?POINT ?OTHERPOINT)))) |
Merge.kif 8080-8087 | |
| (=> (equal (EndFn ?INTERVAL) ?POINT) (forall (?OTHERPOINT) (=> (and (temporalPart ?OTHERPOINT ?INTERVAL) (not (equal ?OTHERPOINT ?POINT))) (before ?OTHERPOINT ?POINT)))) |
Merge.kif 8098-8105 | |
| (=> (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 9580-9590 | |
| (=> (frequency ?PROC ?TIME1) (forall (?TIME2) (=> (duration ?TIME2 ?TIME1) (exists (?POSITION) (and (temporalPart ?POSITION ?TIME2) (holdsDuring ?POSITION (exists (?INST) (instance ?INST ?PROC)))))))) |
Merge.kif 7999-8009 | |
| (=> (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 23832-23843 | |
| (=> (holdsDuring ?T1 (inhabits ?ORGANISM ?OBJ)) (exists (?TIME) (and (instance ?TIME TimeInterval) (temporalPart ?TIME ?T1) (holdsDuring ?TIME (located ?ORGANISM ?OBJ))))) |
Merge.kif 14526-14532 | |
| (=> (holdsDuring ?T1 (states ?AGENT ?SENTENCE)) (exists (?COMM) (and (instance ?COMM LinguisticCommunication) (agent ?COMM ?AGENT) (patient ?COMM ?SENTENCE) (temporalPart ?T1 (WhenFn ?COMM))))) |
Media.kif 1846-1853 | |
| 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