meetsSpatially |
appearance as argument number 1 |
![]() |
(disjointRelation meetsSpatially overlapsSpatially) | Merge.kif 9534-9534 | 接触 和 重叠 是 disjoint 关系 |
(documentation meetsSpatially ChineseLanguage "(meetsSpatially ?OBJ1 ?OBJ2)得意思是 ?OBJ1 和 ?OBJ2 是 connected 的但是 ?OBJ1 或 ?OBJ2 都没有跟对方 overlapsSpatially。") | chinese_format.kif 2828-2829 | |
(documentation meetsSpatially EnglishLanguage "(meetsSpatially ?OBJ1 ?OBJ2) means that ?OBJ1 and ?OBJ2 are connected but that neither ?OBJ1 nor ?OBJ2 overlapsSpatially the other.") | Merge.kif 9536-9538 | |
(domain meetsSpatially 1 Object) | Merge.kif 9528-9528 | 接触 的 1 数量 是 客体 的 instance |
(domain meetsSpatially 2 Object) | Merge.kif 9529-9529 | 接触 的 2 数量 是 客体 的 instance |
(instance meetsSpatially BinaryPredicate) | Merge.kif 9533-9533 | 接触 是 二元谓语 的 instance |
(instance meetsSpatially IrreflexiveRelation) | Merge.kif 9531-9531 | 接触 是 非自反关系 的 instance |
(instance meetsSpatially SymmetricRelation) | Merge.kif 9532-9532 | 接触 是 对称关系 的 instance |
(relatedInternalConcept meetsSpatially connected) | Merge.kif 9530-9530 | 接触 和 相连 是 内部相关 |
appearance as argument number 2 |
![]() |
(format ChineseLanguage meetsSpatially "%1 %n 接上 %2") | chinese_format.kif 365-365 | |
(format EnglishLanguage meetsSpatially "%1 %n{doesn't} meet%p{s} %2") | english_format.kif 368-368 | |
(subrelation grasps meetsSpatially) | Merge.kif 11414-11414 | 抓住 是 接触 的 subrelation |
(termFormat ChineseLanguage meetsSpatially "接触") | chinese_format.kif 366-366 | |
(termFormat ChineseLanguage meetsSpatially "空间的符合") | domainEnglishFormat.kif 36901-36901 | |
(termFormat ChineseTraditionalLanguage meetsSpatially "空間的符合") | domainEnglishFormat.kif 36900-36900 | |
(termFormat EnglishLanguage meetsSpatially "meets spatially") | domainEnglishFormat.kif 36899-36899 |
antecedent |
![]() |
(=> (and (allergic ?H ?S) (instance ?SUB ?S) (holdsDuring ?T (meetsSpatially ?SUB ?H))) (modalAttribute (exists (?AR) (and (instance ?AR AllergicReaction) (experiencer ?AR ?H) (overlapsTemporally ?T (WhenFn ?AR)) (before (BeginFn ?T) (BeginFn (WhenFn ?AR))))) Likely)) |
Mid-level-ontology.kif 6191-6204 | |
(=> (and (instance ?A Armor) (or (part ?A ?OBJ) (meetsSpatially ?A ?OBJ))) (hasPurpose ?A (exists (?MAINTAINING) (and (instance ?MAINTAINING Maintaining) (instrument ?MAINTAINING ?A) (experiencer ?MAINTAINING ?OBJ))))) |
MilitaryDevices.kif 1619-1630 | |
(=> (and (instance ?A Armor) (or (part ?A ?OBJ) (meetsSpatially ?A ?OBJ))) (hasPurpose ?A (not (exists (?DAMAGING) (and (instance ?DAMAGING Damaging) (instrument ?DAMAGING ?A) (experiencer ?DAMAGING ?OBJ)))))) |
MilitaryDevices.kif 1632-1644 | |
(=> (and (instance ?B Bubble) (not (exists (?X ?S) (and (attribute ?X ?S) (not (equal ?X Gas)) (meetsSpatially ?X ?B))))) (attribute ?B ConvexRoundShape)) |
Mid-level-ontology.kif 4976-4985 | |
(=> (and (instance ?H Hurricane) (eventLocated ?H ?P) (instance ?P GeographicArea) (or (located ?P ?SEA) (meetsSpatially ?P ?SEA))) (or (equal ?SEA NortheasternPacificOcean) (equal ?SEA NorthAtlanticOcean))) |
Weather.kif 753-763 | |
(=> (and (instance ?INLET Inlet) (meetsSpatially ?INLET ?WATER) (instance ?WATER FreshWaterArea)) (instance ?INLET FreshWaterArea)) |
Geography.kif 5155-5160 | |
(=> (and (instance ?INLET Inlet) (meetsSpatially ?INLET ?WATER) (instance ?WATER SaltWaterArea)) (instance ?INLET SaltWaterArea)) |
Geography.kif 5148-5153 | |
(=> (and (instance ?ISLE Island) (instance ?AREA GeographicArea) (meetsSpatially ?ISLE ?AREA)) (not (instance ?AREA LandArea))) |
Merge.kif 14067-14073 | |
(=> (and (instance ?zone MaritimeShelfArea) (instance ?shelf ContinentalShelf) (instance ?country Nation) (meetsSpatially ?shelf ?country) (claimedTerritory ?zone ?country)) (overlapsSpatially ?zone ?shelf)) |
Geography.kif 1082-1089 | |
(=> (and (relativeAngle ?O1 ?O2 ?N) (physicalEnd ?E1 ?O1) (physicalEnd ?E2 ?O1) (not (equal ?E1 ?E2)) (length ?O1 (MeasureFn ?N1 ?U)) (length ?O2 (MeasureFn ?N2 ?U)) (distance ?E1 ?E3 (MeasureFn ?N3 ?U)) (physicalEnd ?E3 ?O2) (physicalEnd ?E4 ?O2) (not (equal ?E3 ?E4)) (not (meetsSpatially ?E1 ?E3))) (equal ?N (ArcCosineFn (DivisionFn (SubtractionFn (SubtractionFn (MultiplicationFn ?N3 ?N3) (MultiplicationFn ?N1 ?N1)) (MultiplicationFn ?N2 ?N2)) (MultiplicationFn 2.0 (MultiplicationFn ?N1 ?N2)))))) |
Merge.kif 17748-17773 |
|
(=> (meetsSpatially ?AREA1 ?AREA2) (not (overlapsSpatially ?AREA1 ?AREA2))) |
Geography.kif 731-733 | |
(=> (meetsSpatially ?OBJECT1 ?OBJECT2) (orientation ?OBJECT1 ?OBJECT2 Adjacent)) |
Transportation.kif 864-866 | |
(=> (meetsSpatially ?X ?Y) (orientation ?X ?Y Adjacent)) |
Geography.kif 6071-6073 |
consequent |
![]() |
appearance as argument number 0 |
![]() |
(meetsSpatially Alabama Mississippi) | CountriesAndRegions.kif 866-866 | 阿拉巴马 接上 密西西比州 |
(meetsSpatially Alaska ArcticOcean) | CountriesAndRegions.kif 882-882 | 阿拉斯加州 接上 北冰洋 |
(meetsSpatially Alaska Canada) | CountriesAndRegions.kif 880-880 | 阿拉斯加州 接上 加拿大 |
(meetsSpatially Alaska PacificOcean) | CountriesAndRegions.kif 881-881 | 阿拉斯加州 接上 太平洋 |
(meetsSpatially Arizona California) | CountriesAndRegions.kif 885-885 | Arizona 接上 加州 |
(meetsSpatially Arizona Mexico) | CountriesAndRegions.kif 886-886 | Arizona 接上 墨西哥 |
(meetsSpatially Arizona Nevada) | CountriesAndRegions.kif 884-884 | Arizona 接上 Nevada |
(meetsSpatially Arkansas Louisiana) | CountriesAndRegions.kif 892-892 | 阿肯色州 接上 路易斯安那州 |
(meetsSpatially Arkansas Oklahoma) | CountriesAndRegions.kif 890-890 | 阿肯色州 接上 Oklahoma |
(meetsSpatially Arkansas Texas) | CountriesAndRegions.kif 891-891 | 阿肯色州 接上 德州 |
(meetsSpatially BassasDaIndia IndianOcean) | CountriesAndRegions.kif 136-136 | Bassas da 印度 接上 印度洋 |
(meetsSpatially BouvetIsland SouthAtlanticOcean) | CountriesAndRegions.kif 138-138 | 布维岛 接上 南大西洋 |
(meetsSpatially California Mexico) | CountriesAndRegions.kif 904-904 | 加州 接上 墨西哥 |
(meetsSpatially California NewMexico) | CountriesAndRegions.kif 905-905 | 加州 接上 新墨西哥 |
(meetsSpatially California Oregon) | CountriesAndRegions.kif 906-906 | 加州 接上 Oregon |
(meetsSpatially California PacificOcean) | CountriesAndRegions.kif 903-903 | 加州 接上 太平洋 |
(meetsSpatially California Washington) | CountriesAndRegions.kif 907-907 | 加州 接上 华盛顿 |
(meetsSpatially Canada UnitedStates) | CountriesAndRegions.kif 410-410 | 加拿大 接上 美国 |
(meetsSpatially Colorado Arizona) | CountriesAndRegions.kif 910-910 | 科罗拉多州 接上 Arizona |
(meetsSpatially Colorado NewMexico) | CountriesAndRegions.kif 911-911 | 科罗拉多州 接上 新墨西哥 |
(meetsSpatially Colorado Texas) | CountriesAndRegions.kif 912-912 | 科罗拉多州 接上 德州 |
(meetsSpatially Colorado Utah) | CountriesAndRegions.kif 909-909 | 科罗拉多州 接上 犹他州 |
(meetsSpatially Delaware Maryland) | CountriesAndRegions.kif 920-920 | Delaware 接上 马里兰 |
(meetsSpatially Delaware NorthAtlanticOcean) | CountriesAndRegions.kif 919-919 | Delaware 接上 北大西洋 |
(meetsSpatially Delaware Pennsylvania) | CountriesAndRegions.kif 921-921 | Delaware 接上 宾夕法尼亚 |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
![]() |
![]() |