| appearance as argument number 1 |
|
| (documentation overlapsSpatially ChineseLanguage "(overlapsSpatially ?OBJ1 ?OBJ2)的意思是 Objects ?OBJ1 和 ?OBJ2 有些共同的部分。这是一个自反和对称(而不是传递) 的关系。") | chinese_format.kif 2830-2831 | |
| (documentation overlapsSpatially EnglishLanguage "(overlapsSpatially ?OBJ1 ?OBJ2) means that the Objects ?OBJ1 and ?OBJ2 have some parts in common. This is a reflexive and symmetric (but not transitive) relation.") | Merge.kif 4057-4059 | |
| (documentation overlapsSpatially JapaneseLanguage "(overlapsSpatially ?OBJ1 ?OBJ2) とは、 Objects ?OBJ1 と ?OBJ2 に共通の部分があることを意味する。これは、反射的で対称的な (ただし推移的 ではない) 関係である。") | japanese_format.kif 1573-1575 | |
| (domain overlapsSpatially 1 Object) | Merge.kif 4050-4050 | 重叠 的 1 数量 是 客体 的 instance |
| (domain overlapsSpatially 2 Object) | Merge.kif 4051-4051 | 重叠 的 2 数量 是 客体 的 instance |
| (instance overlapsSpatially ReflexiveRelation) | Merge.kif 4053-4053 | 重叠 是 自反关系 的 instance |
| (instance overlapsSpatially SymmetricRelation) | Merge.kif 4054-4054 | 重叠 是 对称关系 的 instance |
| (subrelation overlapsSpatially connected) | Merge.kif 4049-4049 | 重叠 是 相连 的 subrelation |
| appearance as argument number 2 |
|
|
| (disjointRelation meetsSpatially overlapsSpatially) | Merge.kif 9710-9710 | 接触 和 重叠 是 disjoint 关系 |
| (format ChineseLanguage overlapsSpatially "%1 和 %2 %n 重叠") | chinese_format.kif 367-367 | 接触 和 重叠 是 disjoint 关系 |
| (format EnglishLanguage overlapsSpatially "%1 and %2 %n{doesn't} overlapsSpatially") | Merge.kif 4055-4055 | 接触 和 重叠 是 disjoint 关系 |
| (format FrenchLanguage overlapsSpatially "%1 %n{ne} recouvre %n{pas} %2") | french_format.kif 212-212 | 接触 和 重叠 是 disjoint 关系 |
| (format ItalianLanguage overlapsSpatially "%1 %n{non} si sovrappone%p{s} a %2") | relations-it.txt 207-207 | 接触 和 重叠 是 disjoint 关系 |
| (format PortugueseLanguage overlapsSpatially "%1 %n{nao} engloba %n %2") | portuguese_format.kif 164-164 | 接触 和 重叠 是 disjoint 关系 |
| (format cz overlapsSpatially "%1 se %n{ne}p�ekr�v� s %2") | relations-cz.txt 219-219 | 接触 和 重叠 是 disjoint 关系 |
| (format de overlapsSpatially "%1 deckt sich mit %2 raeumlich %n{nicht}") | relations-de.txt 489-489 | 接触 和 重叠 是 disjoint 关系 |
| (format hi overlapsSpatially "%1 %2 se ativyaapta %n{nahiin} hai") | relations-hindi.txt 245-245 | 接触 和 重叠 是 disjoint 关系 |
| (format ro overlapsSpatially "%1 %n{nu} overlap%t{se suprapune} cu %2") | relations-ro.kif 232-232 | 接触 和 重叠 是 disjoint 关系 |
| (format sv overlapsSpatially "%1 överlappar %n{inte} med %2") | relations-sv.txt 229-229 | 接触 和 重叠 是 disjoint 关系 |
| (format tg overlapsSpatially "%1 %n ay natataklob sa %2") | relations-tg.txt 396-396 | 接触 和 重叠 是 disjoint 关系 |
| (termFormat ChineseLanguage overlapsSpatially "在空间上重叠") | domainEnglishFormat.kif 43784-43784 | 接触 和 重叠 是 disjoint 关系 |
| (termFormat ChineseLanguage overlapsSpatially "重叠") | chinese_format.kif 368-368 | 接触 和 重叠 是 disjoint 关系 |
| (termFormat ChineseTraditionalLanguage overlapsSpatially "在空間上重疊") | domainEnglishFormat.kif 43783-43783 | 接触 和 重叠 是 disjoint 关系 |
| (termFormat EnglishLanguage overlapsSpatially "overlap spatially") | domainEnglishFormat.kif 43782-43782 | 接触 和 重叠 是 disjoint 关系 |
| (termFormat de overlapsSpatially "decktSichRaeumlich") | terms-de.txt 152-152 | 接触 和 重叠 是 disjoint 关系 |
| (termFormat tg overlapsSpatially "natataklob") | relations-tg.txt 397-397 | 接触 和 重叠 是 disjoint 关系 |
| antecedent |
|
|
| (=> (and (hole ?HOLE1 ?OBJ1) (hole ?HOLE2 ?OBJ2) (overlapsSpatially ?HOLE1 ?HOLE2)) (overlapsSpatially ?OBJ1 ?OBJ2)) |
Merge.kif 10049-10054 |
|
| (=> (and (overlapsSpatially ?ONE ?TWO) (instance ?TWO Region) (not (equal ?ONE ?TWO))) (partlyLocated ?ONE ?TWO)) |
Geography.kif 3654-3659 | |
| (=> (overlapsSpatially ?OBJ1 ?OBJ2) (exists (?OBJ3) (and (part ?OBJ3 ?OBJ1) (part ?OBJ3 ?OBJ2)))) |
Merge.kif 9716-9721 |
| consequent |
|
|
| (=> (and (fills ?OBJ1 ?HOLE) (attribute ?OBJ2 Fillable)) (not (overlapsSpatially ?OBJ1 ?OBJ2))) |
Merge.kif 10172-10177 | |
| (=> (and (hole ?HOLE ?OBJ1) (part ?OBJ1 ?OBJ2)) (or (overlapsSpatially ?HOLE ?OBJ2) (hole ?HOLE ?OBJ2))) |
Merge.kif 10041-10047 |
|
| (=> (and (hole ?HOLE1 ?OBJ1) (hole ?HOLE2 ?OBJ2) (overlapsSpatially ?HOLE1 ?HOLE2)) (overlapsSpatially ?OBJ1 ?OBJ2)) |
Merge.kif 10049-10054 |
|
| (=> (and (instance ?DESERTIFICATION Desertification) (eventLocated ?DESERTIFICATION ?AREA)) (exists (?A1 ?A2) (and (instance ?A1 ArableLand) (instance ?A2 Desert) (holdsDuring (BeginFn (WhenFn ?DESERTIFICATION)) (overlapsSpatially ?AREA ?A1)) (holdsDuring (EndFn (WhenFn ?DESERTIFICATION)) (overlapsSpatially ?AREA ?A2))))) |
Weather.kif 3216-3229 | |
| (=> (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 3195-3206 | |
| (=> (and (instance ?DUSTSTORM DustStorm) (instance ?WIND Wind) (subProcess ?DUSTSTORM ?WIND)) (exists (?TRANSLOCATE ?PM ?SAND ?A1 ?A2 ?STRONG) (and (instance ?A1 LandArea) (eventLocated ?WIND ?A1) (surfaceWindSpeed ?A1 (MeasureFn ?STRONG KnotUnitOfSpeed)) (greaterThan ?STRONG 30.0) (instance ?TRANSLOCATE Translocation) (subProcess ?TRANSLOCATE ?DUSTSTORM) (objectTransferred ?TRANSLOCATE ?PM) (objectTransferred ?TRANSLOCATE ?SAND) (instance ?PM ParticulateMatter) (instance ?SAND Sand) (instance ?A2 LandArea) (destination ?TRANSLOCATE ?A2) (not (overlapsSpatially ?A1 ?A2))))) |
Weather.kif 1991-2012 |
|
| (=> (and (instance ?OBJ1 Object) (partlyLocated ?OBJ1 ?OBJ2)) (overlapsSpatially ?OBJ1 ?OBJ2)) |
Merge.kif 4074-4078 | |
| (=> (and (instance ?P ThreeDPrinting) (instance ?O Artifact) (result ?P ?O)) (exists (?A ?X ?B ?Y) (and (instance ?A Making) (subProcess ?A ?P) (instance ?X SelfConnectedObject) (part ?X ?O) (result ?A ?X) (instance ?B Making) (subProcess ?B ?P) (instance ?Y SelfConnectedObject) (part ?Y ?O) (overlapsSpatially ?X ?Y) (orientation ?X ?Y Below) (during (WhenFn ?A) (WhenFn ?P)) (during (WhenFn ?B) (WhenFn ?P)) (earlier (WhenFn ?A) (WhenFn ?B))))) |
QoSontology.kif 537-563 |
|
| (=> (and (instance ?REL CaseRole) (instance ?OBJ Object) (?REL ?PROCESS ?OBJ)) (exists (?TIME) (overlapsSpatially (WhereFn ?PROCESS ?TIME) ?OBJ))) |
Merge.kif 9737-9743 | |
| (=> (and (instance ?TORSO Torso) (instance ?LIMB Limb)) (not (overlapsSpatially ?TORSO ?LIMB))) |
Mid-level-ontology.kif 14141-14146 | |
| (=> (and (instance ?zone MaritimeShelfArea) (instance ?shelf ContinentalShelf) (instance ?country Nation) (meetsSpatially ?shelf ?country) (claimedTerritory ?zone ?country)) (overlapsSpatially ?zone ?shelf)) |
Geography.kif 1239-1246 | |
| (=> (and (member ?OBJ1 ?COLL) (member ?OBJ2 ?COLL) (not (equal ?OBJ1 ?OBJ2))) (not (overlapsSpatially ?OBJ1 ?OBJ2))) |
Merge.kif 9729-9735 | |
| (=> (and (part ?OBJ3 ?OBJ1) (part ?OBJ3 ?OBJ2)) (overlapsSpatially ?OBJ1 ?OBJ2)) |
Merge.kif 9723-9727 | |
| (=> (and (physicalEnd ?E1 ?O) (physicalEnd ?E2 ?O) (not (equal ?E1 ?E2))) (not (overlapsSpatially ?E1 ?E2))) |
Mid-level-ontology.kif 1488-1495 | |
| (=> (coilCount ?WC ?N) (exists (?C ?C2F) (and (instance ?C Collection) (memberCount ?C ?N) (forall (?M) (=> (member ?M ?C) (and (attribute ?M ?C2F) (instance ?C2F ClosedTwoDimensionalFigure) (part ?M ?WC) (not (exists (?M2) (and (overlapsSpatially ?M2 ?M) (member ?M2 ?C)))))))))) |
Cars.kif 3177-3194 | |
| (=> (connected ?OBJ1 ?OBJ2) (or (meetsSpatially ?OBJ1 ?OBJ2) (overlapsSpatially ?OBJ1 ?OBJ2))) |
Merge.kif 9645-9649 | |
| (=> (equal ?B (BackFn ?O)) (not (overlapsSpatially ?B (FrontFn ?O)))) |
Merge.kif 915-920 |
|
| (=> (equal ?F (FrontFn ?O)) (not (overlapsSpatially ?F (BackFn ?O)))) |
Merge.kif 908-913 |
|
| (=> (equal ?OBJ1 (HoleSkinFn ?HOLE)) (=> (and (superficialPart ?OBJ3 (HoleHostFn ?HOLE)) (meetsSpatially ?HOLE ?OBJ3) (overlapsSpatially ?OBJ2 ?OBJ3)) (overlapsSpatially ?OBJ2 ?OBJ1))) |
Merge.kif 10226-10233 | |
| (=> (equal ?OBJ1 (HoleSkinFn ?HOLE)) (=> (overlapsSpatially ?OBJ2 ?OBJ1) (exists (?OBJ3) (and (superficialPart ?OBJ3 (HoleHostFn ?HOLE)) (meetsSpatially ?HOLE ?OBJ3) (overlapsSpatially ?OBJ2 ?OBJ3))))) |
Merge.kif 10216-10224 | |
| (=> (hole ?HOLE ?OBJ) (not (overlapsSpatially ?HOLE ?OBJ))) |
Merge.kif 10018-10021 | |
| (=> (instance ?AREOLE PlantAreole) (exists (?CAC ?SPINE) (and (instance ?CAC Cactus) (instance ?SPINE PlantSpinoseStructure) (part ?SPINE Cactus) (overlapsSpatially ?SPINE ?AREOLE)))) |
Mid-level-ontology.kif 10945-10952 | |
| (=> (instance ?SHELF ContinentalShelf) (exists (?MARGIN) (and (instance ?MARGIN ContinentalMargin) (properPart ?SHELF ?MARGIN) (overlapsSpatially ?SHELF ?MARGIN)))) |
Geography.kif 6399-6405 | |
| (=> (instance ?SKIN Skin) (exists (?SURFACE ?ANIMAL) (and (surface ?SURFACE ?ANIMAL) (part ?SKIN ?ANIMAL) (instance ?ANIMAL Animal) (overlapsSpatially ?SKIN ?SURFACE)))) |
Mid-level-ontology.kif 12322-12329 |
|
| (=> (instance ?WATER Estuary) (exists (?MOUTH) (and (instance ?MOUTH RiverMouth) (overlapsSpatially ?MOUTH ?WATER)))) |
Geography.kif 5493-5498 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 0 |
|
|
|
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