| appearance as argument number 1 |
|
| (documentation overlapsTemporally ChineseLanguage "(overlapsTemporally ?INTERVAL1 ?INTERVAL2)的意思是 TimeInterval ?INTERVAL1 和 ?INTERVAL2 有 TimeInterval 作为它们的 一个共同部分。") | chinese_format.kif 2717-2719 | |
| (documentation overlapsTemporally EnglishLanguage "(overlapsTemporally ?INTERVAL1 ?INTERVAL2) means that the TimeIntervals ?INTERVAL1 and ?INTERVAL2 have a TimeInterval as a common part.") | Merge.kif 7734-7736 | |
| (domain overlapsTemporally 1 TimeInterval) | Merge.kif 7731-7731 | 在时间上重叠 的 1 数量 是 时距 的 instance |
| (domain overlapsTemporally 2 TimeInterval) | Merge.kif 7732-7732 | 在时间上重叠 的 2 数量 是 时距 的 instance |
| (instance overlapsTemporally BinaryPredicate) | Merge.kif 7727-7727 | 在时间上重叠 是 二元谓语 的 instance |
| (instance overlapsTemporally ReflexiveRelation) | Merge.kif 7729-7729 | 在时间上重叠 是 自反关系 的 instance |
| (instance overlapsTemporally SymmetricRelation) | Merge.kif 7730-7730 | 在时间上重叠 是 对称关系 的 instance |
| (instance overlapsTemporally TemporalRelation) | Merge.kif 7728-7728 | 在时间上重叠 是 时间关系 的 instance |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage overlapsTemporally "%2 时段 %n{doesn't} 和 %1 重叠") | chinese_format.kif 431-431 | |
| (format EnglishLanguage overlapsTemporally "%2 %n{doesn't} overlap%p{s} %1") | english_format.kif 440-440 | |
| (termFormat ChineseLanguage overlapsTemporally "在时间上重叠") | chinese_format.kif 432-432 | |
| (termFormat ChineseLanguage overlapsTemporally "暂时重叠") | domainEnglishFormat.kif 43681-43681 | |
| (termFormat ChineseTraditionalLanguage overlapsTemporally "暫時重疊") | domainEnglishFormat.kif 43680-43680 | |
| (termFormat EnglishLanguage overlapsTemporally "overlaps temporally") | domainEnglishFormat.kif 43679-43679 |
| antecedent |
|
|
| (<=> (overlapsTemporally ?INTERVAL1 ?INTERVAL2) (exists (?INTERVAL3) (and (instance ?INTERVAL3 TimeInterval) (temporalPart ?INTERVAL3 ?INTERVAL1) (temporalPart ?INTERVAL3 ?INTERVAL2)))) |
Merge.kif 7738-7744 | 时距 时段 和 另一个 时距 重叠 若且唯若 有存在 时间位置 这样 那个 时间位置 是 时距 的 instance 和 那个 时间位置 时段 是 那个 另外 时距 时段 的一 part 和 那个 时间位置 时段 是 那个 时距 时段 的一 part |
| (=> (and (instance ?LOW LowTide) (instance ?HIGH HighTide) (eventLocated ?LOW ?PLACE) (eventLocated ?HIGH ?PLACE) (instance ?DAY Day) (overlapsTemporally ?LOW ?DAY) (overlapsTemporally ?HIGH ?DAY)) (exists (?AMOUNT1 ?AMOUNT2) (and (holdsDuring ?LOW (waterDepth ?PLACE ?AMOUNT1)) (holdsDuring ?HIGH (waterDepth ?PLACE ?AMOUNT2)) (greaterThan ?AMOUNT2 ?AMOUNT1)))) |
Geography.kif 4644-4657 |
|
| (=> (and (lowTide ?PLACE ?TIME1 ?AMOUNT1) (highTide ?PLACE ?TIME2 ?AMOUNT2) (instance ?DAY Day) (overlapsTemporally ?TIME1 ?DAY) (overlapsTemporally ?TIME2 ?DAY)) (greaterThan ?AMOUNT1 ?AMOUNT2)) |
Geography.kif 4708-4715 |
| consequent |
|
|
| (<=> (yearOfFounding ?O ?Y) (exists (?F) (and (overlapsTemporally ?F (YearFn ?Y)) (instance ?F Founding) (result ?F ?O)))) |
Mid-level-ontology.kif 1350-1356 | 整数 是 机构 的 year 资金 若且唯若 有存在 时距 这样 那个 整数 year 时段 和 那个 时距 重叠 和 那个 时距 是 创建 的 instance 和 那个 机构 是 那个 时距 的 result |
| (=> (and (attribute ?Order GTCOrder) (agreementPeriod ?Order ?Period)) (or (exists (?Execute) (and (instance ?Execute FillingAnOrder) (patient ?Execute ?Order) (equal (WhenFn ?Execute) ?Time) (overlapsTemporally ?Time ?Period))) (exists (?Cancel) (and (instance ?Cancel CancellingAnOrder) (patient ?Cancel ?Order) (equal (WhenFn ?Cancel) ?End) (finishes ?End ?Period))))) |
FinancialOntology.kif 2838-2854 |
|
| (=> (and (attribute ?Order LimitOrder) (partyToAgreement ?Order ?Broker) (attribute ?Broker Broker) (orderFor ?Order Buying ?Object) (measure ?Object ?Quantity) (limitPrice ?Order ?LimitPrice) (askPrice ?Object ?Price ?Time) (lessThanOrEqualTo ?Price ?LimitPrice)) (holdsObligation (KappaFn ?Buy (and (instance ?Buy Buying) (patient ?Buy ?Object) (measure ?Object ?Quantity) (equal (WhenFn ?Buy) ?BuyingTime) (overlapsTemporally ?Time ?BuyingTime))) ?Broker)) |
FinancialOntology.kif 1945-1963 | |
| (=> (and (attribute ?Order LimitOrder) (partyToAgreement ?Order ?Broker) (attribute ?Broker Broker) (orderFor ?Order Selling ?Object) (measure ?Object ?Quantity) (limitPrice ?Order ?LimitPrice) (bidPrice ?Object ?Price ?Time) (greaterThanOrEqualTo ?Price ?LimitPrice)) (holdsObligation (KappaFn ?Sell (and (instance ?Sell Selling) (patient ?Sell ?Object) (measure ?Object ?Quantity) (equal (WhenFn ?Sell) ?SellingTime) (overlapsTemporally ?SellingTime ?Time))) ?Broker)) |
FinancialOntology.kif 1965-1983 | |
| (=> (and (boilingPoint ?TYPE (MeasureFn ?TEMP1 ?MEASURE)) (instance ?SUBSTANCE ?TYPE) (holdsDuring ?TIME (measure ?SUBSTANCE (MeasureFn ?TEMP2 ?MEASURE))) (instance ?MEASURE UnitOfTemperature) (greaterThanOrEqualTo ?TEMP2 ?TEMP1)) (or (holdsDuring ?TIME (attribute ?SUBSTANCE Gas)) (exists (?BOIL) (and (overlapsTemporally (WhenFn ?BOIL) ?TIME) (instance ?BOIL Boiling) (patient ?BOIL ?SUBSTANCE))))) |
Merge.kif 12800-12813 |
|
| (=> (and (holdsDuring ?TIME (attribute ?ORG Embryonic)) (instance ?BIRTH Birth) (equal ?BW (WhenFn ?BIRTH)) (experiencer ?BIRTH ?ORG)) (not (overlapsTemporally ?TIME ?BW))) |
Merge.kif 16864-16870 | |
| (=> (and (instance ?C Convoy) (member ?VEH ?C)) (exists (?DRIVE) (and (instance ?DRIVE Driving) (overlapsTemporally (WhenFn ?DRIVE) (WhenFn ?C)) (patient ?DRIVE ?VEH)))) |
Mid-level-ontology.kif 20204-20212 | |
| (=> (and (instance ?D Dodging) (agent ?D ?A) (equal ?DT (WhenFn ?D))) (hasPurpose ?D (not (exists (?I) (and (or (meetsTemporally ?DT (WhenFn ?I)) (overlapsTemporally ?DT (WhenFn ?I))) (instance ?I Impacting) (patient ?I ?A)))))) |
Mid-level-ontology.kif 609-622 | |
| (=> (and (instance ?DIGEST Digesting) (agent ?DIGEST ?ORGANISM)) (exists (?INGEST) (and (instance ?INGEST Ingesting) (agent ?INGEST ?ORGANISM) (overlapsTemporally (WhenFn ?INGEST) (WhenFn ?DIGEST))))) |
Merge.kif 9666-9674 | |
| (=> (and (instance ?DRYSPELL Drought) (eventLocated ?DRYSPELL ?AREA)) (not (exists (?RAIN ?PLACE) (and (instance ?RAIN Raining) (instance ?PLACE Region) (eventLocated ?RAIN ?PLACE) (overlapsSpatially ?PLACE ?AREA) (overlapsTemporally ?RAIN ?DRYSPELL))))) |
Weather.kif 985-996 | |
| (=> (and (instance ?MR MusclesRelaxing) (experiencer ?MR ?A)) (not (exists (?MT) (and (overlapsTemporally ?MT ?MR) (instance ?MT MusclesBecomingTense) (experiencer ?MT ?A))))) |
emotion.kif 1440-1449 | |
| (=> (and (instance ?MT MusclesBecomingTense) (experiencer ?MT ?A)) (not (exists (?MR) (and (overlapsTemporally ?MR ?MT) (instance ?MR MusclesRelaxing) (experiencer ?MR ?A))))) |
emotion.kif 1426-1435 | |
| (=> (and (instance ?REL BinaryPredicate) (instance ?REL SpatialRelation) (?REL ?OBJ1 ?OBJ2)) (overlapsTemporally (WhenFn ?OBJ1) (WhenFn ?OBJ2))) |
Merge.kif 7746-7751 | |
| (=> (and (instance ?SUBSTANCE ?TYPE) (boilingPoint ?TYPE (MeasureFn ?TEMP1 ?MEASURE)) (meltingPoint ?TYPE (MeasureFn ?TEMP2 ?MEASURE)) (instance ?MEASURE UnitOfTemperature) (holdsDuring ?TIME (measure ?SUBSTANCE (MeasureFn ?TEMP3 ?MEASURE))) (greaterThan ?TEMP3 ?TEMP2) (lessThan ?TEMP3 ?TEMP1)) (or (holdsDuring ?TIME (attribute ?SUBSTANCE Liquid)) (exists (?MELT) (and (overlapsTemporally (WhenFn ?MELT) ?TIME) (instance ?MELT Melting) (patient ?MELT ?SUBSTANCE))))) |
Merge.kif 12822-12837 |
|
| (=> (and (instance ?SUBSTANCE ?TYPE) (meltingPoint ?TYPE (MeasureFn ?TEMP1 ?MEASURE)) (holdsDuring ?TIME (measure ?SUBSTANCE (MeasureFn ?TEMP2 ?MEASURE))) (instance ?MEASURE UnitOfTemperature) (lessThan ?TEMP2 ?TEMP1)) (or (holdsDuring ?TIME (attribute ?SUBSTANCE Solid)) (exists (?FREEZE) (and (overlapsTemporally (WhenFn ?FREEZE) ?TIME) (instance ?FREEZE Freezing) (patient ?FREEZE ?SUBSTANCE))))) |
Merge.kif 12839-12852 |
|
| (=> (and (instance ?VACATION Vacationing) (instance ?WORK Working) (agent ?VACATION ?PERSON) (agent ?WORK ?PERSON) (instance ?PERSON Human)) (not (overlapsTemporally (WhenFn ?VACATION) (WhenFn ?WORK)))) |
Mid-level-ontology.kif 18190-18197 | |
| (=> (and (naturalHazardTypeInArea ?AREA ?TYPE) (subclass ?TYPE Process)) (exists (?ITEM) (and (instance ?ITEM ?TYPE) (located ?ITEM ?AREA) (overlapsTemporally (WhenFn ?ITEM) (WhenFn ?AREA))))) |
Geography.kif 2227-2235 | |
| (=> (attribute ?H NewsReporter) (exists (?T ?EV) (and (instance ?EV Process) (overlapsTemporally (WhenFn ?EV) (WhenFn ?H)) (authors ?H ?T) (refers ?T ?EV)))) |
Mid-level-ontology.kif 18743-18752 | |
| (=> (dateDissolved ?THING ?DATE) (exists (?DAY) (and (instance ?DAY ?DATE) (overlapsTemporally ?DAY (EndFn (WhenFn ?THING)))))) |
Government.kif 2499-2504 | |
| (=> (dateEstablished ?THING ?DATE) (exists (?DAY) (and (instance ?DAY ?DATE) (overlapsTemporally ?DAY (BeginFn (WhenFn ?THING)))))) |
Mid-level-ontology.kif 1366-1371 | |
| (=> (dateUsed ?OBJECT ?DATE ?AGENT) (exists (?PROCESS) (and (instance ?PROCESS Process) (patient ?PROCESS ?OBJECT) (agent ?PROCESS ?AGENT) (uses ?OBJECT ?AGENT) (overlapsTemporally ?DATE (WhenFn ?PROCESS))))) |
Mid-level-ontology.kif 1379-1387 | |
| (=> (exportPartnerInPeriod ?AGENT1 ?AGENT2 ?PERIOD) (exists (?TIME ?EXPORT) (and (instance ?TIME ?PERIOD) (instance ?EXPORT Exporting) (overlapsTemporally ?TIME (WhenFn ?EXPORT)) (origin ?EXPORT ?AGENT1) (destination ?EXPORT ?AGENT2)))) |
Economy.kif 2363-2371 | |
| (=> (holdsDuring ?T (attribute ?H Fasting)) (not (exists (?P) (and (instance ?P Eating) (agent ?P ?H) (overlapsTemporally ?T (WhenFn ?P)))))) |
Mid-level-ontology.kif 28794-28801 | |
| (=> (importPartnerInPeriod ?AGENT1 ?AGENT2 ?PERIOD) (exists (?TIME ?EXPORT) (and (instance ?TIME ?PERIOD) (instance ?EXPORT Exporting) (overlapsTemporally ?TIME ?EXPORT) (origin ?EXPORT ?AGENT2) (destination ?EXPORT ?AGENT1)))) |
Economy.kif 2650-2658 | |
| (=> (instance ?SHOWER RainShowering) (holdsDuring (WhenFn ?SHOWER) (exists (?RAIN1 ?RAIN2 ?AREA) (and (instance ?RAIN1 Raining) (instance ?RAIN2 Raining) (instance ?AREA Region) (subProcess ?RAIN1 ?SHOWER) (subProcess ?RAIN2 ?SHOWER) (eventLocated ?RAIN1 ?AREA) (eventLocated ?RAIN2 ?AREA) (not (overlapsTemporally (WhenFn ?RAIN1) (WhenFn ?RAIN2))))))) |
Weather.kif 1386-1400 |
|
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| statement |
|
|
| (not (overlapsTemporally CommonEra BeforeCommonEra)) |
Mid-level-ontology.kif 7593-7593 | 共同的时代之前 时段 doesn't 和 共同时代 重叠 |
|
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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners