| 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 8157-8159 | |
| (documentation finishes JapaneseLanguage "(finishes ?INTERVAL1 ?INTERVAL2) とは、?INTERVAL1 と ?INTERVAL2が両方とも同じ末な TimePoint を持つ TimeInterval であり、?INTERVAL2 が ?INTERVAL1より前に開始することを意味する。") | japanese_format.kif 1427-1429 | |
| (domain finishes 1 TimeInterval) | Merge.kif 8154-8154 | finishes の数値 1 引数は 時間間隔 の instance では |
| (domain finishes 2 TimeInterval) | Merge.kif 8155-8155 | finishes の数値 2 引数は 時間間隔 の instance では |
| (instance finishes IrreflexiveRelation) | Merge.kif 8152-8152 | finishes は 非反射関係 の instance では |
| (instance finishes TemporalRelation) | Merge.kif 8150-8150 | finishes は 時間関係 の instance では |
| (instance finishes TotalValuedRelation) | Merge.kif 8153-8153 | finishes は 合計値関係 の instance では |
| (instance finishes TransitiveRelation) | Merge.kif 8151-8151 | finishes は 推移関係 の instance では |
| (subrelation finishes temporalPart) | Merge.kif 8149-8149 | finishes は temporalPart の subrelation では |
| 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 23881-23881 | |
| (termFormat ChineseTraditionalLanguage finishes "飾面") | domainEnglishFormat.kif 23880-23880 | |
| (termFormat EnglishLanguage finishes "finishes") | domainEnglishFormat.kif 23879-23879 | |
| (termFormat de finishes "beendet") | terms-de.txt 168-168 | |
| (termFormat tg finishes "simutin") | relations-tg.txt 233-233 |
| antecedent |
|
|
| 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 |
|
| (=> (and (before (BeginFn ?INTERVAL2) (BeginFn ?INTERVAL1)) (equal (EndFn ?INTERVAL2) (EndFn ?INTERVAL1))) (finishes ?INTERVAL1 ?INTERVAL2)) |
Merge.kif 8171-8179 | |
| (=> (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 | |
| (=> (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 23091-23106 |
|
| (=> (and (instance ?CHECKIN CheckInService) (causes ?CHECKIN ?SERVICE) (instance ?CHECKOUT CheckOutService)) (finishes (WhenFn ?CHECKOUT) (WhenFn ?SERVICE))) |
Hotel.kif 2207-2214 | |
| (=> (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 17767-17776 | |
| (=> (and (instance ?OP CeasingOperations) (instance ?ORG Organization) (agent ?OP ?ORG)) (finishes ?OP (WhenFn ?ORG))) |
Mid-level-ontology.kif 17718-17723 |
|
| (=> (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 |
|
| (=> (and (instance ?S Saturday) (instance ?W Week) (during ?S ?W)) (finishes ?S ?W)) |
Merge.kif 9469-9474 | |
| (=> (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 11455-11478 |
|
| (=> (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 17782-17791 | |
| (=> (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 |
|
| (=> (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 21973-21982 | |
| (=> (and (statementPeriod ?Statement ?Period) (dateOfStatement ?Statement ?Date)) (finishes ?Date ?Period)) |
FinancialOntology.kif 4088-4092 |
|
| (=> (equal (TemporalCompositionFn ?INTERVAL ?INTERVALTYPE) ?CLASS) (exists (?TIME) (and (instance ?TIME ?CLASS) (finishes ?TIME ?INTERVAL)))) |
Merge.kif 9552-9557 | |
| (=> (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 9559-9569 | |
| (=> (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 22185-22195 | |
| (=> (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 20666-20673 | |
| (=> (instance ?ARRIVE Arriving) (exists (?GO) (and (instance ?GO Translocation) (subProcess ?ARRIVE ?GO) (finishes (WhenFn ?ARRIVE) (WhenFn ?GO))))) |
Mid-level-ontology.kif 18862-18868 | |
| (=> (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 | |
| (=> (instance ?DAY DayTime) (exists (?RISE ?SET) (and (instance ?RISE Sunrise) (instance ?SET Sunset) (starts ?RISE ?DAY) (finishes ?SET ?DAY)))) |
Merge.kif 8992-8999 | |
| (=> (instance ?INTERVAL (RecurrentTimeIntervalFn ?TIMECLASS1 ?TIMECLASS2)) (exists (?TIME1 ?TIME2) (and (instance ?TIME1 ?TIMECLASS1) (instance ?TIME2 ?TIMECLASS2) (starts ?TIME1 ?INTERVAL) (finishes ?TIME2 ?INTERVAL)))) |
Merge.kif 8569-8576 | |
| (=> (instance ?INTERVAL TimeInterval) (finishes (ImmediatePastFn ?INTERVAL) (PastFn ?INTERVAL))) |
Merge.kif 8617-8619 | |
| (=> (instance ?MORNING Morning) (exists (?HOUR ?DAY) (and (instance ?HOUR (HourFn 12 ?DAY)) (finishes ?HOUR ?MORNING)))) |
Merge.kif 8920-8926 | |
| (=> (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 |
|
| 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 | 時間間隔 時間間隔 は 時間間隔 の instance では 時間間隔 は JesusOfNazareth の time の existence を finishes 時間間隔 は TwelveApostles の time の existence を starts エンティティー
|
|
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