TreeView Knowledge Base Browser

appearance as argument number 1

(documentation finishes ChineseLanguage "(finishes ?INTERVAL1 ?INTERVAL2) 的意思是 ?INTERVAL1 和 ?INTERVAL 2两个是 TimeInterval 有共同的结束 TimePoint，而 ?INTERVAL2 比 ?INTERVAL1 先开始。")	chinese_format.kif 2704-2706
(documentation finishes EnglishLanguage "(finishes ?INTERVAL1 ?INTERVAL2) means that ?INTERVAL1 and ?INTERVAL2 are both TimeIntervals that have the same ending TimePoint and that ?INTERVAL2 begins before ?INTERVAL1.")	Merge.kif 8179-8181
(documentation finishes JapaneseLanguage "(finishes ?INTERVAL1 ?INTERVAL2) とは、?INTERVAL1 と ?INTERVAL2が両方とも同じ末な TimePoint を持つ TimeInterval であり、?INTERVAL2 が ?INTERVAL1より前に開始することを意味する。")	japanese_format.kif 1427-1429
(domain finishes 1 TimeInterval)	Merge.kif 8176-8176	The number 1 argument of finishes is an instance of time interval
(domain finishes 2 TimeInterval)	Merge.kif 8177-8177	The number 2 argument of finishes is an instance of time interval
(instance finishes IrreflexiveRelation)	Merge.kif 8174-8174	finishes is an instance of irreflexive relation
(instance finishes TemporalRelation)	Merge.kif 8172-8172	finishes is an instance of temporal relation
(instance finishes TotalValuedRelation)	Merge.kif 8175-8175	finishes is an instance of total valued relation
(instance finishes TransitiveRelation)	Merge.kif 8173-8173	finishes is an instance of transitive relation
(subrelation finishes temporalPart)	Merge.kif 8171-8171	finishes is a subrelation of temporal part

appearance as argument number 2

(format ChineseLanguage finishes "%1 %n finishes了才到 %2")	chinese_format.kif 421-421
(format EnglishLanguage finishes "%1 %n{doesn't} finish%p{es} %2")	english_format.kif 427-427
(format FrenchLanguage finishes "%1 %n{ne} finit %n{pas} %2")	french_format.kif 245-245
(format ItalianLanguage finishes "%1 %n{non} finisce%p{es} %2")	relations-it.txt 111-111
(format JapaneseLanguage finishes "%1 は %2 を finish%p{es} %n{ない}")	japanese_format.kif 2039-2039
(format PortugueseLanguage finishes "%1 %n{nao} termina em %n %2")	portuguese_format.kif 197-197
(format cz finishes "%1 %n{doesn't} finish%p{es} %2")	relations-cz.txt 250-250
(format de finishes "%1 beendet %2 %n{nicht}")	relations-de.txt 547-547
(format hi finishes "%1 %2 ko samaapta %n{nahiin} karataa hai")	relations-hindi.txt 151-151
(format ro finishes "%1 %n{nu} finish%t{terminã} %2")	relations-ro.kif 266-266
(format sv finishes "%1 avslutar %n{inte} %2")	relations-sv.txt 266-266
(format tg finishes "%1 %n simutin %2")	relations-tg.txt 232-232
(termFormat ChineseLanguage finishes "完成")	chinese_format.kif 422-422
(termFormat ChineseLanguage finishes "饰面")	domainEnglishFormat.kif 23880-23880
(termFormat ChineseTraditionalLanguage finishes "飾面")	domainEnglishFormat.kif 23879-23879
(termFormat EnglishLanguage finishes "finishes")	domainEnglishFormat.kif 23878-23878
(termFormat de finishes "beendet")	terms-de.txt 168-168
(termFormat tg finishes "simutin")	relations-tg.txt 233-233

antecedent

(<=> (and (agreementPeriod ?Account ?Period) (finishes ?End ?Period)) (maturityDate ?Account ?End))	FinancialOntology.kif 644-648	A time interval is an agreement period of a financial account and a day finishes the time interval if and only if the day is a maturity date of the financial account
(=> (and (instance ?Y Year) (instance ?E EasterSunday) (instance ?A AscensionThursday) (during ?E ?Y) (during ?A ?Y) (starts ?E ?I) (finishes ?A ?I)) (duration ?I (MeasureFn 40 DayDuration)))	Media.kif 538-547	If a time interval is an instance of year and another time interval is an instance of Easter sunday and a third time interval is an instance of ascension thursday and the other time interval takes place during the time interval and the third time interval takes place during the time interval and the other time interval starts a fourth time interval and the third time interval finishes the fourth time interval, then duration of the fourth time interval is 40 day duration(s)
(=> (and (instance ?Y Year) (instance ?E EasterSunday) (instance ?P PalmSunday) (during ?E ?Y) (during ?P ?Y) (starts ?P ?I) (finishes ?E ?I)) (duration ?I (MeasureFn 8 DayDuration)))	Media.kif 473-482	If a time interval is an instance of year and another time interval is an instance of Easter sunday and a third time interval is an instance of palm sunday and the other time interval takes place during the time interval and the third time interval takes place during the time interval and the third time interval starts a fourth time interval and the other time interval finishes the fourth time interval, then duration of the fourth time interval is 8 day duration(s)
(=> (and (instance ?Y Year) (instance ?E EasterSunday) (instance ?P Pentecost) (during ?E ?Y) (during ?P ?Y) (starts ?E ?I) (finishes ?P ?I)) (duration ?I (MeasureFn 50 DayDuration)))	Media.kif 559-568	If a time interval is an instance of year and another time interval is an instance of Easter sunday and a third time interval is an instance of Pentecost and the other time interval takes place during the time interval and the third time interval takes place during the time interval and the other time interval starts a fourth time interval and the third time interval finishes the fourth time interval, then duration of the fourth time interval is 50 day duration(s)
(=> (exists (?Time1 ?Time2) (and (dependencyDelay ?Program1 ?Delay) (dependencyType ?Program1 ShutdownBlock) (hasDependency ?Program1 ?Program2) (instance ?Process1 ComputerProcess) (programRunning ?Process1 ?Program1) (instance ?Process2 ComputerProcess) (programRunning ?Process2 ?Program2) (equal (WhenFn ?Process2) ?Time2) (finishes ?Time ?Time1) (equal (WhenFn ?Process2) ?Time2) (equal (BeginFn ?Time) (EndFn ?Time2)))) (duration ?Time ?Delay))	QoSontology.kif 1379-1393	If there exist a time interval and another time interval such that a time duration is a dependency delay of a computer program and shutdown block is a dependency type of the computer program and another computer program has a dependency on the computer program and a computer process is an instance of computer process and the computer program is a program running of the computer process and another computer process is an instance of computer process and the other computer program is a program running of the other computer process and equal the time of existence of the other computer process and the other time interval and a third time interval finishes the time interval and equal the time of existence of the other computer process and the other time interval and equal the beginning of the third time interval and the end of the other time interval, then duration of the third time interval is the time duration
(=> (finishes ?INTERVAL1 ?INTERVAL2) (and (before (BeginFn ?INTERVAL2) (BeginFn ?INTERVAL1)) (equal (EndFn ?INTERVAL2) (EndFn ?INTERVAL1))))	Merge.kif 8183-8191	If a time interval finishes another time interval, then the beginning of the other time interval happens before the beginning of the time interval and equal the end of the other time interval and the end of the time interval

consequent

(=> (and (attribute ?Order GTCOrder) (agreementPeriod ?Order ?Period)) (or (exists (?Execute ?Time) (and (instance ?Execute FillingAnOrder) (patient ?Execute ?Order) (equal (WhenFn ?Execute) ?Time) (overlapsTemporally ?Time ?Period))) (exists (?Cancel ?End) (and (instance ?Cancel CancellingAnOrder) (patient ?Cancel ?Order) (equal (WhenFn ?Cancel) ?End) (finishes ?End ?Period)))))	FinancialOntology.kif 2934-2950	If GTC order is an attribute of an agreement and a time interval is an agreement period of the agreement, then there exist a process and another time interval such that the process is an instance of filling an order and the agreement is a patient of the process and equal the time of existence of the process and the other time interval and the time interval overlaps the other time interval or there exist another process and a third time interval such that the other process is an instance of cancelling an order and the agreement is a patient of the other process and equal the time of existence of the other process and the third time interval and the third time interval finishes the time interval
(=> (and (before (BeginFn ?INTERVAL2) (BeginFn ?INTERVAL1)) (equal (EndFn ?INTERVAL2) (EndFn ?INTERVAL1))) (finishes ?INTERVAL1 ?INTERVAL2))	Merge.kif 8193-8201	If the beginning of a time interval happens before the beginning of another time interval and equal the end of the time interval and the end of the other time interval, then the other time interval finishes the time interval
(=> (and (instance ?AMBULATE Ambulating) (equal ?DURATION (WhenFn ?AMBULATE))) (exists (?STEP1 ?STEPN) (and (instance ?STEP1 Stepping) (instance ?STEPN Stepping) (subProcess ?STEP1 ?AMBULATE) (subProcess ?STEPN ?AMBULATE) (starts (WhenFn ?STEP1) ?DURATION) (finishes (WhenFn ?STEPN) ?DURATION) (not (equal ?STEP1 ?STEPN)))))	Mid-level-ontology.kif 480-492	If a process is an instance of ambulating and equal a time interval and the time of existence of the process, then there exist another process and a third process such that the other process is an instance of stepping and the third process is an instance of stepping and the other process is a subprocess of the process and the third process is a subprocess of the process and the time of existence of the other process starts the time interval and the time of existence of the third process finishes the time interval and equal the other process and the third process
(=> (and (instance ?B Blushing) (experiencer ?B ?A)) (exists (?T1 ?T2 ?S1 ?S2) (and (instance ?S1 EmotionalState) (instance ?S2 EmotionalState) (not (equal ?S1 ?S2)) (holdsDuring ?T1 (attribute ?A ?S1)) (holdsDuring ?T2 (attribute ?A ?S2)) (starts (WhenFn ?B) ?T2) (finishes (WhenFn ?B) ?T1))))	Mid-level-ontology.kif 23082-23097	If a process is an instance of blushing and an agent experiences the process, then there exist a time interval, another time interval,, , an entity and another entity such that the entity is an instance of emotional state and the other entity is an instance of emotional state and equal the entity and the other entity and the entity is an attribute of the agent holds during the time interval and the other entity is an attribute of the agent holds during the other time interval and the time of existence of the process starts the other time interval and the time of existence of the process finishes the time interval
(=> (and (instance ?CHECKIN CheckInService) (causes ?CHECKIN ?SERVICE) (instance ?CHECKOUT CheckOutService)) (finishes (WhenFn ?CHECKOUT) (WhenFn ?SERVICE)))	Hotel.kif 2207-2214	If a process is an instance of check-in service and the process causes another process and a physical is an instance of check-out service, then the time of existence of the physical finishes the time of existence of the other process
(=> (and (instance ?FALL FallingAsleep) (experiencer ?FALL ?AGENT)) (exists (?START ?FINISH) (and (starts ?START (WhenFn ?FALL)) (finishes ?FINISH (WhenFn ?FALL)) (holdsDuring ?START (attribute ?AGENT Awake)) (holdsDuring ?FINISH (attribute ?AGENT Asleep)))))	Mid-level-ontology.kif 17753-17762	If a process is an instance of falling asleep and an agent experiences the process, then there exist a time interval and another time interval such that the time interval starts the time of existence of the process and the other time interval finishes the time of existence of the process and awake is an attribute of the agent holds during the time interval and asleep is an attribute of the agent holds during the other time interval
(=> (and (instance ?OP CeasingOperations) (instance ?ORG Organization) (agent ?OP ?ORG)) (finishes ?OP (WhenFn ?ORG)))	Mid-level-ontology.kif 17704-17709	If a time interval is an instance of ceasing operations and an agent is an instance of organization and the agent is an agent of the time interval, then the time interval finishes the time of existence of the agent
(=> (and (instance ?REM OrganismRemains) (holdsDuring (WhenFn ?REM) (part ?OBJ ?REM))) (exists (?ORG) (and (instance ?ORG Organism) (earlier (WhenFn ?ORG) (WhenFn ?REM)) (finishes (WhenFn ?REM) (WhenFn ?ORG)) (holdsDuring (WhenFn ?ORG) (part ?OBJ ?ORG)))))	Mid-level-ontology.kif 45-56	If a physical is an instance of organism remains and an entity is a part of the physical holds during the time of existence of the physical, then there exists another physical such that the other physical is an instance of organism and the time of existence of the other physical happens earlier than the time of existence of the physical and the time of existence of the physical finishes the time of existence of the other physical and the entity is a part of the other physical holds during the time of existence of the other physical
(=> (and (instance ?S Saturday) (instance ?W Week) (during ?S ?W)) (finishes ?S ?W))	Merge.kif 9491-9496	If a time interval is an instance of Saturday and another time interval is an instance of week and the time interval takes place during the other time interval, then the time interval finishes the other time interval
(=> (and (instance ?T1 Translocation) (instance ?T2 Translocation) (origin ?T1 ?O1) (origin ?T2 ?D1) (destination ?T1 ?D1) (destination ?T2 ?D2) (experiencer ?T1 ?P) (experiencer ?T2 ?P)) (exists (?T) (and (instance ?T Translocation) (origin ?T ?O1) (destination ?T ?D2) (subProcess ?T1 ?T) (subProcess ?T2 ?T) (experiencer ?T ?P) (starts (WhenFn ?T1) (WhenFn ?T)) (finishes (WhenFn ?T2) (WhenFn ?T)))))	Merge.kif 11477-11500	If a process is an instance of translocation and another process is an instance of translocation and the process originates at an object and the other process originates at another object and the process ends up at the other object and the other process ends up at an entity and an agent experiences the process and the agent experiences the other process, then there exists a third process such that the third process is an instance of translocation and the third process originates at the object and the third process ends up at the entity and the process is a subprocess of the third process and the other process is a subprocess of the third process and the agent experiences the third process and the time of existence of the process starts the time of existence of the third process and the time of existence of the other process finishes the time of existence of the third process
(=> (and (instance ?WAKE WakingUp) (experiencer ?WAKE ?AGENT)) (exists (?START ?FINISH) (and (starts ?START (WhenFn ?WAKE)) (finishes ?FINISH (WhenFn ?WAKE)) (holdsDuring ?START (attribute ?AGENT Asleep)) (holdsDuring ?FINISH (attribute ?AGENT Awake)))))	Mid-level-ontology.kif 17768-17777	If a process is an instance of waking up and an agent experiences the process, then there exist a time interval and another time interval such that the time interval starts the time of existence of the process and the other time interval finishes the time of existence of the process and asleep is an attribute of the agent holds during the time interval and awake is an attribute of the agent holds during the other time interval
(=> (and (instance ?X CarAlarm) (instance ?CAR SelfPoweredRoadVehicle) (part ?X ?CAR)) (exists (?HARM ?THIEF ?T ?L) (hasPurpose ?X (=> (and (or (instance ?HARM Stealing) (instance ?HARM Damaging)) (instance ?THIEF Human) (agent ?HARM ?THIEF) (patient ?HARM ?CAR) (equal (WhenFn ?HARM) ?T) (eventPartlyLocated ?HARM ?L)) (exists (?ALARM) (and (instance ?ALARM RadiatingSound) (agent ?ALARM ?X) (causes ?HARM ?ALARM) (hasPurpose ?ALARM (increasesLikelihood (exists (?WITNESS) (and (instance ?WITNESS Human) (holdsDuring ?T (orientation ?WITNESS ?L Near)))) (or (knows ?WITNESS (exists (?H) (and (or (instance ?H Stealing) (instance ?H Damaging)) (eventPartlyLocated ?H ?L) (holdsDuring ?T (patient ?H ?CAR))))) (finishes (WhenFn ?ALARM) (WhenFn ?HARM)))))))))))	Cars.kif 3771-3812	If an object is an instance of car alarm and another object is an instance of self powered road vehicle and the object is a part of the other object, then there exist an entity, another entity,, , a third entity and a fourth entity such that the object has the purpose if the entity is an instance of stealing or the entity is an instance of damaging and the other entity is an instance of human and the other entity is an agent of the entity and the other object is a patient of the entity and equal the time of existence of the entity and the third entity and the entity is partly located at the fourth entity, then there exists a fifth entity such that the fifth entity is an instance of radiating sound and the object is an agent of the fifth entity and the entity causes the fifth entity and the fifth entity has the purpose there exists a sixth entity such that the sixth entity is an instance of human and the sixth entity is near to the fourth entity holds during the third entity increases likelihood of the sixth entity knows there exists a seventh entity such that the seventh entity is an instance of stealing or the seventh entity is an instance of damaging and the seventh entity is partly located at the fourth entity and the other object is a patient of the seventh entity holds during the third entity or the time of existence of the fifth entity finishes the time of existence of the entity
(=> (and (meatOfAnimal ?MEAT ?ANIMAL) (instance ?M ?MEAT)) (exists (?TIME ?A) (and (instance ?A ?ANIMAL) (finishes ?TIME (WhenFn ?A)) (holdsDuring ?TIME (part ?M ?A)))))	Mid-level-ontology.kif 21964-21973	If a kind of meat is the meat of a kind of animal and an entity is an instance of a kind of meat, then there exist a time interval and a physical such that the physical is an instance of a kind of animal and the time interval finishes the time of existence of the physical and the entity is a part of the physical holds during the time interval
(=> (and (statementPeriod ?Statement ?Period) (dateOfStatement ?Statement ?Date)) (finishes ?Date ?Period))	FinancialOntology.kif 4088-4092	If a time interval is a statement period of a bank statement and a day is a date of statement of the bank statement, then the day finishes the time interval
(=> (equal (TemporalCompositionFn ?INTERVAL ?INTERVALTYPE) ?CLASS) (exists (?TIME) (and (instance ?TIME ?CLASS) (finishes ?TIME ?INTERVAL))))	Merge.kif 9574-9579	If equal decomposition of a time interval into the time intervalTYPEs and another time interval, then there exists a third time interval such that the third time interval is an instance of the other time interval and the third time interval finishes the time interval
(=> (equal (TemporalCompositionFn ?INTERVAL ?INTERVALTYPE) ?CLASS) (forall (?TIME1) (=> (and (instance ?TIME1 ?CLASS) (not (finishes ?TIME1 ?INTERVAL))) (exists (?TIME2) (and (instance ?TIME2 ?CLASS) (meetsTemporally ?TIME1 ?TIME2))))))	Merge.kif 9581-9591	If equal decomposition of a time interval into the time intervalTYPEs and another time interval, then for all a third time interval if the third time interval is an instance of the other time interval and the third time interval doesn't finish the time interval, then there exists a fourth time interval such that the fourth time interval is an instance of the other time interval and the third time interval meets the fourth time interval
(=> (holdsDuring ?T (and (instance ?ICU IntensiveCareUnit) (stays ?H ?ICU))) (modalAttribute (exists (?D) (and (instance ?D Death) (finishes (WhenFn ?D) ?T))) Possibility))	Mid-level-ontology.kif 22176-22186	If an entity is an instance of ICU and another entity stays at the entity holds during a time position, then the statement there exists a third entity such that the third entity is an instance of death and the time of existence of the third entity finishes the time position has the modal force of possibility
(=> (instance ?AM AnteMeridiem) (exists (?D ?HOUR1 ?HOUR2) (and (instance ?HOUR1 (HourFn 0 ?D)) (starts ?HOUR1 ?AM) (instance ?HOUR2 (HourFn 12 ?D)) (finishes ?HOUR2 ?AM))))	Mid-level-ontology.kif 20655-20662	If a time interval is an instance of ante meridiem, then there exist a kind of day, another time interval and a third time interval such that the other time interval is an instance of the hour 0 and the other time interval starts the time interval and the third time interval is an instance of the hour 12 and the third time interval finishes the time interval
(=> (instance ?ARRIVE Arriving) (exists (?GO) (and (instance ?GO Translocation) (subProcess ?ARRIVE ?GO) (finishes (WhenFn ?ARRIVE) (WhenFn ?GO)))))	Mid-level-ontology.kif 18848-18854	If a process is an instance of arriving, then there exists another process such that the other process is an instance of translocation and the process is a subprocess of the other process and the time of existence of the process finishes the time of existence of the other process
(=> (instance ?D Divorcing) (exists (?P1 ?P2 ?T1 ?T2) (and (holdsDuring ?T1 (spouse ?P1 ?P2)) (holdsDuring ?T2 (not (spouse ?P1 ?P2))) (finishes ?T1 ?D) (starts ?T2 ?D))))	Mid-level-ontology.kif 1018-1027	If a time interval is an instance of divorcing, then there exist an entity, another entity,, , another time interval and a third time interval such that the entity is the spouse of the other entity holds during the other time interval and not the entity is the spouse of the other entity holds during the third time interval and the other time interval finishes the time interval and the third time interval starts the time interval
(=> (instance ?DAY DayTime) (exists (?RISE ?SET) (and (instance ?RISE Sunrise) (instance ?SET Sunset) (starts ?RISE ?DAY) (finishes ?SET ?DAY))))	Merge.kif 9014-9021	If a time interval is an instance of day time, then there exist another time interval and a third time interval such that the other time interval is an instance of sunrise and the third time interval is an instance of sunset and the other time interval starts the time interval and the third time interval finishes the time interval
(=> (instance ?INTERVAL (RecurrentTimeIntervalFn ?TIMECLASS1 ?TIMECLASS2)) (exists (?TIME1 ?TIME2) (and (instance ?TIME1 ?TIMECLASS1) (instance ?TIME2 ?TIMECLASS2) (starts ?TIME1 ?INTERVAL) (finishes ?TIME2 ?INTERVAL))))	Merge.kif 8591-8598	If a time interval is an instance of the recurring period from another kind of time interval to a third kind of time interval, then there exist a fourth time interval and a fifth time interval such that the fourth time interval is an instance of another kind of time interval and the fifth time interval is an instance of a third kind of time interval and the fourth time interval starts the time interval and the fifth time interval finishes the time interval
(=> (instance ?INTERVAL TimeInterval) (finishes (ImmediatePastFn ?INTERVAL) (PastFn ?INTERVAL)))	Merge.kif 8639-8641	If a time position is an instance of time interval, then immediately before the time position finishes before the time position
(=> (instance ?MORNING Morning) (exists (?HOUR ?DAY) (and (instance ?HOUR (HourFn 12 ?DAY)) (finishes ?HOUR ?MORNING))))	Merge.kif 8942-8948	If a time interval is an instance of morning, then there exist another time interval and a kind of day such that the other time interval is an instance of the hour 12 and the other time interval finishes the time interval
(=> (instance ?MS MuakharSadaq) (exists (?H ?W ?T1 ?T2) (and (agent ?MS ?H) (origin ?MS ?H) (destination ?MS ?W) (holdsDuring ?T1 (wife ?W ?H)) (not (holdsDuring ?T2 (wife ?W ?H))) (finishes ?T1 ?MS) (before ?T1 ?T2) (starts ?T2 ?MS))))	ArabicCulture.kif 285-299	If a time interval is an instance of muakhar sadaq, then there exist an agent, an entity,, , another time interval and a third time interval such that the agent is an agent of the time interval and the time interval originates at the agent and the time interval ends up at the entity and the entity is the wife of the agent holds during the other time interval and the entity is the wife of the agent doesn't hold during the third time interval and the other time interval finishes the time interval and the other time interval happens before the third time interval and the third time interval starts the time interval

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

(exists (?TIME)
    (and
        (instance ?TIME TimeInterval)
        (finishes ?TIME
            (WhenFn JesusOfNazareth))
        (starts ?TIME
            (WhenFn TwelveApostles))
        (forall (?MEM)
            (=>
                (holdsDuring ?TIME
                    (member ?MEM TwelveApostles))
                (holdsDuring ?TIME
                    (friend ?MEM JesusOfNazareth))))))

Media.kif 1972-1980

There exists a time interval such that the time interval is an instance of time interval and the time interval finishes the time of existence of Jesus of Nazareth and the time interval starts the time of existence of Twelve apostles and for all an entity

if the entity is a member of Twelve apostles holds during the time interval,
then Jesus of Nazareth is a friend of the entity holds during the time interval

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

KB Term:			Term intersection

English Word: