| appearance as argument number 1 |
|
| (documentation starts ChineseLanguage "(starts ?INTERVAL1 ?INTERVAL2) 的意思是 ?INTERVAL1 和 ?INTERVAL2 两个是 TimeInterval 有共同的开始 TimePoint，而 ?INTERVAL1 比 ?INTERVAL2 先 结束。") | chinese_format.kif 2701-2703 | |
| (documentation starts EnglishLanguage "(starts ?INTERVAL1 ?INTERVAL2) means that ?INTERVAL1 and ?INTERVAL2 are both TimeIntervals that have the same initial TimePoint and that ?INTERVAL1 ends before ?INTERVAL2.") | Merge.kif 7626-7628 | |
| (domain starts 1 TimeInterval) | Merge.kif 7623-7623 | 开始 的 1 数量 是 时距 的 instance |
| (domain starts 2 TimeInterval) | Merge.kif 7624-7624 | 开始 的 2 数量 是 时距 的 instance |
| (instance starts IrreflexiveRelation) | Merge.kif 7621-7621 | 开始 是 非自反关系 的 instance |
| (instance starts TemporalRelation) | Merge.kif 7619-7619 | 开始 是 时间关系 的 instance |
| (instance starts TotalValuedRelation) | Merge.kif 7622-7622 | 开始 是 总值关系 的 instance |
| (instance starts TransitiveRelation) | Merge.kif 7620-7620 | 开始 是 传递关系 的 instance |
| (subrelation starts temporalPart) | Merge.kif 7618-7618 | 开始 是 时间部分 的 subrelation |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage starts "%1 %n starts了才到 %2 ") | chinese_format.kif 419-419 | |
| (format EnglishLanguage starts "%1 %n{doesn't} start%p{s} %2") | english_format.kif 428-428 | |
| (termFormat ChineseLanguage starts "启动") | domainEnglishFormat.kif 54988-54988 | |
| (termFormat ChineseLanguage starts "开始") | chinese_format.kif 420-420 | |
| (termFormat ChineseTraditionalLanguage starts "啟動") | domainEnglishFormat.kif 54987-54987 | |
| (termFormat EnglishLanguage starts "starts") | domainEnglishFormat.kif 54986-54986 |
| antecedent |
|
|
| (<=> (starts ?INTERVAL1 ?INTERVAL2) (and (equal (BeginFn ?INTERVAL1) (BeginFn ?INTERVAL2)) (before (EndFn ?INTERVAL1) (EndFn ?INTERVAL2)))) |
Merge.kif 7630-7638 | 时距 starts了才到 另一个 时距 若且唯若 那个 时距 的开始 equal 那个 另外 时距 的开始 和 那个 时距 的结束%n在那个 另外 时距 的结束before发生 |
| (=> (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 | |
| (=> (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 | |
| (=> (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 | |
| (=> (exists (?Time1 ?Time2) (and (dependencyDelay ?Program1 ?Delay) (dependencyType ?Program1 StartupBlock) (hasDependency ?Program1 ?Program2) (instance ?Process1 ComputerProcess) (programRunning ?Process1 ?Program1) (instance ?Process2 ComputerProcess) (programRunning ?Process2 ?Program2) (equal (WhenFn ?Process2) ?Time2) (starts ?Time2 ?Time) (equal (WhenFn ?Process1) ?Time1) (equal (EndFn ?Time) (BeginFn ?Time1)))) (duration ?Time ?Delay)) |
QoSontology.kif 1259-1273 |
|
| consequent |
|
|
| (=> (and (attribute ?Order FOKOrder) (agreementPeriod ?Order ?Period)) (or (exists (?Fill ?Time1) (and (instance ?Fill FillingAnOrder) (patient ?Fill ?Order) (equal (WhenFn ?Fill) ?Time1) (starts ?Time1 ?Period))) (exists (?Kill ?Time2) (and (instance ?Kill CancellingAnOrder) (patient ?Kill ?Order) (equal (WhenFn ?Kill) ?Time2) (starts ?Time2 ?Period))))) |
FinancialOntology.kif 2802-2818 |
|
| (=> (and (attribute ?Order IOCOrder) (agreementPeriod ?Order ?Period)) (or (exists (?Fill ?Time1) (and (instance ?Fill FillingAnOrder) (patient ?Fill ?Order) (equal (WhenFn ?Fill) ?Time1) (starts ?Time1 ?Period))) (exists (?Kill ?Time2) (and (instance ?Kill CancellingAnOrder) (patient ?Kill ?Order) (equal (WhenFn ?Kill) ?Time2) (starts ?Time2 ?Period))))) |
FinancialOntology.kif 2775-2791 |
|
| (=> (and (equal ?FY (FiscalYearStartingFn ?PLACE ?YEAR)) (fiscalYearPeriod ?PLACE ?PERIOD) (instance ?FY ?PERIOD)) (exists (?DAY) (and (instance ?DAY Day) (starts ?DAY ?FY) (temporalPart ?DAY ?YEAR)))) |
Economy.kif 3755-3764 | |
| (=> (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 660-672 | |
| (=> (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 19137-19152 |
|
| (=> (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 14051-14060 | |
| (=> (and (instance ?OP BeginningOperations) (instance ?ORG Organization) (agent ?OP ?ORG)) (starts ?OP (WhenFn ?ORG))) |
Mid-level-ontology.kif 13966-13971 | |
| (=> (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 10561-10584 |
|
| (=> (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 14066-14075 | |
| (=> (equal (TemporalCompositionFn ?INTERVAL ?INTERVAL-TYPE) ?CLASS) (exists (?TIME) (and (instance ?TIME ?CLASS) (starts ?TIME ?INTERVAL)))) |
Merge.kif 8851-8856 | |
| (=> (equal (TemporalCompositionFn ?INTERVAL ?INTERVAL-TYPE) ?CLASS) (forall (?TIME1) (=> (and (instance ?TIME1 ?CLASS) (not (starts ?TIME1 ?INTERVAL))) (exists (?TIME2) (and (instance ?TIME2 ?CLASS) (meetsTemporally ?TIME2 ?TIME1)))))) |
Merge.kif 8877-8887 | |
| (=> (instance ?AFTERNOON Afternoon) (exists (?HOUR) (and (instance ?HOUR (HourFn 12 ?DAY)) (starts ?HOUR ?AFTERNOON)))) |
Merge.kif 8254-8259 | |
| (=> (instance ?AM AnteMeridiem) (exists (?D ?HOUR1 ?HOUR2) (and (instance ?HOUR1 (HourFn 24 ?D)) (starts ?HOUR1 ?AM) (instance ?HOUR2 (HourFn 12 ?D)) (finishes ?HOUR2 ?AM)))) |
Mid-level-ontology.kif 16905-16912 | |
| (=> (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 1411-1420 | |
| (=> (instance ?DAY DayTime) (exists (?RISE ?SET) (and (instance ?RISE Sunrise) (instance ?SET Sunset) (starts ?RISE ?DAY) (finishes ?SET ?DAY)))) |
Merge.kif 8330-8337 | |
| (=> (instance ?INTERVAL (RecurrentTimeIntervalFn ?TIMECLASS1 ?TIMECLASS2)) (exists (?TIME1 ?TIME2) (and (instance ?TIME1 ?TIMECLASS1) (instance ?TIME2 ?TIMECLASS2) (starts ?TIME1 ?INTERVAL) (finishes ?TIME2 ?INTERVAL)))) |
Merge.kif 7915-7922 | |
| (=> (instance ?INTERVAL TimeInterval) (starts (ImmediateFutureFn ?INTERVAL) (FutureFn ?INTERVAL))) |
Merge.kif 7994-7996 | |
| (=> (instance ?LEAVE Leaving) (exists (?GO) (and (instance ?GO Translocation) (subProcess ?LEAVE ?GO) (starts (WhenFn ?LEAVE) (WhenFn ?GO))))) |
Mid-level-ontology.kif 14887-14893 | |
| (=> (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 272-286 |
|
| (=> (instance ?MS MuqaddamSadaq) (exists (?H ?W ?T1 ?T2) (and (agent ?MS ?H) (origin ?MS ?H) (destination ?MS ?W) (not (holdsDuring ?T1 (wife ?W ?H))) (holdsDuring ?T2 (wife ?W ?H)) (finishes ?T1 ?MS) (before ?T1 ?T2) (starts ?T2 ?MS)))) |
ArabicCulture.kif 292-306 |
|
| (=> (instance ?NIGHT NightTime) (exists (?RISE ?SET) (and (instance ?RISE Sunrise) (instance ?SET Sunset) (starts ?SET ?NIGHT) (finishes ?RISE ?NIGHT)))) |
Merge.kif 8352-8359 | |
| (=> (instance ?PM PostMeridiem) (exists (?D ?HOUR1 ?HOUR2) (and (instance ?HOUR1 (HourFn 12 ?D)) (starts ?HOUR1 ?PM) (instance ?HOUR2 (HourFn 24 ?D)) (finishes ?HOUR2 ?PM)))) |
Mid-level-ontology.kif 16918-16925 | |
| (=> (instance ?S (StartFn ?P)) (exists (?I) (and (instance ?I ?P) (starts (WhenFn ?S) (WhenFn ?I))))) |
Mid-level-ontology.kif 582-587 | |
| (=> (instance ?SS SportServe) (exists (?S) (and (instance ?S Sport) (subProcess ?SS ?S) (starts (WhenFn ?SS) (WhenFn ?S))))) |
Mid-level-ontology.kif 14649-14655 | |
| (=> (instance ?T1 Advent) (exists (?T2) (and (instance ?T2 AdventSunday) (starts ?T2 ?T1)))) |
Media.kif 317-322 | |
| 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 和 那个 时距 finishes了才到 JesusOfNazareth 出现 的 time 和 那个 时距 starts了才到 TwelveApostles 出现 的 time 和 对所有 实体
|
|
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