surface |
appearance as argument number 1 |
(documentation surface ChineseLanguage "(surface ?OBJ1 ?OBJ2)的意思是 ?OBJ1 和 ?OBJ2 的 superficialPart 是以最大的程度联系着。注:有些 SelfConnectedObject 有超过一块表面,例如: 一个像网球中空物体,就有内在和外在的表面。") | chinese_format.kif 2838-2840 | |
(documentation surface EnglishLanguage "(surface ?OBJ1 ?OBJ2) means that ?OBJ1 is a maximally connected superficialPart of ?OBJ2. Note that some SelfConnectedObjects have more than one surface, e.g. a hollow object like a tennis ball has both an inner and an outer surface.") | Merge.kif 9680-9683 | |
(documentation surface JapaneseLanguage "(surface ?OBJ1 ?OBJ2) とは、?OBJ1 が ?OBJ2 の 最大接続 superficialPart であることを意味する。 注:一部の SelfConnectedObjects には複数 の表面がある。例:テニスボールのような中空の物体は、内側と外側の両方の面を持っている。") | japanese_format.kif 1582-1584 | |
(domain surface 1 SelfConnectedObject) | Merge.kif 9677-9677 | Die Zahl 1 Argument von surface ist ein fall von SelfConnectedObject %n{nicht} |
(domain surface 2 SelfConnectedObject) | Merge.kif 9678-9678 | Die Zahl 2 Argument von surface ist ein fall von SelfConnectedObject %n{nicht} |
(instance surface AsymmetricRelation) | Merge.kif 9674-9674 | surface ist ein fall von AsymmetricRelation %n{nicht} |
(instance surface BinaryPredicate) | Merge.kif 9675-9675 | surface ist ein fall von BinaryPredicate %n{nicht} |
(subrelation surface superficialPart) | Merge.kif 9676-9676 | surface ist eine teilrelation von superficialPart |
appearance as argument number 2 |
(format ChineseLanguage surface "%1 %n 是 %2 的 surface") | chinese_format.kif 373-373 | |
(format EnglishLanguage surface "%1 is %n a surface of %2") | english_format.kif 374-374 | |
(format FrenchLanguage surface "%1 est %n une surface de %2") | french_format.kif 215-215 | |
(format ItalianLanguage surface "%1 è %n una superficie di %2") | relations-it.txt 290-290 | |
(format JapaneseLanguage surface "%1 は %2 の surface では %n") | japanese_format.kif 2021-2021 | |
(format PortugueseLanguage surface "%1 e' %n uma superficie de %2") | portuguese_format.kif 167-167 | |
(format cz surface "%1 %p{je} %n{nen�} povrchem %2") | relations-cz.txt 222-222 | |
(format de surface "%1 ist eine flaeche von %2 %n{nicht}") | relations-de.txt 498-498 | |
(format hi surface "%1 %2 kii sataha %n hai") | relations-hindi.txt 61-61 | |
(format ro surface "%1 %n{nu} este o surface%t{suprafaþã} a lui %2") | relations-ro.kif 235-235 | |
(format sv surface "%1 är %n{inte} en yta av %2") | relations-sv.txt 232-232 | |
(format tg surface "%1 %n ay ang ibabaw ng %2") | relations-tg.txt 482-482 | |
(termFormat ChineseLanguage surface "表面") | chinese_format.kif 374-374 | |
(termFormat ChineseTraditionalLanguage surface "表面") | domainEnglishFormat.kif 56286-56286 | |
(termFormat EnglishLanguage surface "surface") | domainEnglishFormat.kif 56285-56285 |
antecedent |
consequent |
(<=> (earthAltitude ?OBJ ?ALT) (exists (?SEA) (and (altitude ?OBJ ?SEA ?ALT) (surface ?SEA PlanetEarth)))) |
Geography.kif 2781-2786 | earthAltitude Object and LengthMeasure genau dann wenn es gibt SelfConnectedObject um das altitude von ** Object ist ** SelfConnectedObject %n{nicht} und ** SelfConnectedObject ist eine flaeche von PlanetEarth %n{nicht} |
(=> (and (instance ?LD LiquidDrop) (surface ?S ?LD)) (modalAttribute (exists (?SS ?LL) (and (instance ?LL Substance) (attribute ?LL Liquid) (not (equal ?LD ?LL)) (surface ?SS ?LL) (meetsSpatially ?S ?SS))) Unlikely)) |
Geography.kif 7497-7509 |
|
(=> (and (instance ?MEASURE Measuring) (patient ?MEASURE ?OBJ) (result ?MEASURE ?QUANTITY) (instrument ?MEASURE ?ABSOLUTEMETER) (instance ?ABSOLUTEMETER AbsoluteAltimeter)) (exists (?OBJ2) (and (altitude ?OBJ ?OBJ2 ?QUANTITY) (surface ?OBJ2 PlanetEarth)))) |
MilitaryDevices.kif 1441-1451 |
|
(=> (and (instance ?PAINT Painting) (patient ?PAINT ?SURFACE) (resource ?PAINT ?STUFF)) (exists (?OBJ) (and (surface ?SURFACE ?OBJ) (instance ?STUFF Paint)))) |
Mid-level-ontology.kif 3188-3196 |
|
(=> (and (instance ?X Argument) (instance ?R Reasoning) (instance ?A Archeology) (subProposition ?X ?A) (realization ?R ?X)) (exists (?D ?S ?O ?T ?W ?L) (and (instance ?D Discovering) (instance ?O Object) (patient ?D ?O) (refers ?R ?D) (earlier (WhenFn ?D) (WhenFn ?R)) (age ?O (MeasureFn ?T YearDuration)) (greaterThan ?T 50) (holdsDuring (ImmediatePastFn (WhenFn ?D)) (or (and (surface ?S ?W) (instance ?W BodyOfWater) (orientation ?O ?S Below)) (and (surface ?S ?L) (instance ?L LandArea) (orientation ?O ?S Below))))))) |
Mid-level-ontology.kif 21147-21177 |
|
(=> (instance ?B Bubble) (exists (?S) (and (surface ?S ?B) (attribute ?S Liquid)))) |
Mid-level-ontology.kif 5003-5008 |
|
(=> (instance ?DETERGENT Detergent) (hasPurpose ?DETERGENT (exists (?REMOVE ?SUBSTANCE ?SURFACE ?OBJECT) (and (instance ?REMOVE Removing) (instance ?SUBSTANCE Substance) (patient ?REMOVE ?SUBSTANCE) (origin ?REMOVE ?SURFACE) (surface ?SURFACE ?OBJECT))))) |
Mid-level-ontology.kif 8848-8857 |
|
(=> (instance ?L Lesion) (exists (?S ?O) (and (surface ?S ?O) (instance ?O Organ) (located ?L ?S)))) |
Mid-level-ontology.kif 9396-9402 |
|
(=> (instance ?OBJ1 VirusCoreEnvelope) (exists (?OBJ2) (and (surface ?OBJ1 ?OBJ2) (instance ?OBJ2 ViralCore)))) |
VirusProteinAndCellPart.kif 1205-1210 |
|
(=> (instance ?P PeelOrRind) (exists (?X) (and (part ?P ?X) (instance ?X FruitOrVegetable) (surface ?P ?X)))) |
Food.kif 2302-2308 |
|
(=> (instance ?PD PaintingDevice) (hasPurpose ?PD (exists (?STUFF ?COVER ?SURF ?OBJ) (and (instance ?STUFF Substance) (instance ?COVER Covering) (instance ?OBJ Object) (surface ?SURF ?OBJ) (agent ?COVER ?PD) (instrument ?COVER ?STUFF) (patient ?COVER ?SURF))))) |
Mid-level-ontology.kif 3262-3273 |
|
(=> (instance ?SKIN Skin) (exists (?SURFACE ?ANIMAL) (and (surface ?SURFACE ?ANIMAL) (part ?SKIN ?ANIMAL) (instance ?ANIMAL Animal) (overlapsSpatially ?SKIN ?SURFACE)))) |
Mid-level-ontology.kif 10991-10998 |
|
(=> (instance ?W CellWall) (exists (?CELL ?SURF) (and (instance ?CELL Cell) (part ?W ?CELL) (surface ?SURF ?CELL) (part ?SURF ?W)))) |
VirusProteinAndCellPart.kif 473-480 |
|
(=> (instance ?X LandVehicle) (hasPurpose ?X (exists (?EV ?SURF) (and (surface ?SURF GeographicArea) (instance ?EV Transportation) (holdsDuring (WhenFn ?EV) (meetsSpatially ?X ?SURF)))))) |
Mid-level-ontology.kif 3472-3481 |
|
(=> (instance ?X SubwaySystem) (exists (?SURF) (and (surface ?SURF GeographicArea) (orientation ?X ?SURF Below)))) |
Transportation.kif 328-333 |
|
(=> (instance ?place UndergroundArea) (exists (?area ?ground) (and (surface ?ground PlanetEarth) (part ?area ?ground) (orientation ?place ?area Below)))) |
Geography.kif 3991-3997 |
|