| 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 9127-9130 | |
| (domain surface 1 SelfConnectedObject) | Merge.kif 9124-9124 | |
| (domain surface 2 SelfConnectedObject) | Merge.kif 9125-9125 | |
| (instance surface AsymmetricRelation) | Merge.kif 9121-9121 | |
| (instance surface BinaryPredicate) | Merge.kif 9122-9122 | |
| (subrelation surface superficialPart) | Merge.kif 9123-9123 |
| 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 377-377 | |
| (termFormat ChineseLanguage surface "表面") | chinese_format.kif 374-374 | |
| (termFormat ChineseTraditionalLanguage surface "表面") | domainEnglishFormat.kif 56276-56276 | |
| (termFormat EnglishLanguage surface "surface") | domainEnglishFormat.kif 56275-56275 |
| antecedent |
|
|
| (<=> (and (altitude ?AIRCRAFT ?OBJ2 ?QUANTITY) (surface ?OBJ2 PlanetEarth) (instance ?AIRCRAFT Aircraft)) (absoluteHeight ?AIRCRAFT ?QUANTITY)) |
MilitaryDevices.kif 1462-1467 | |
| (=> (and (attribute ?O Concave) (surface ?O ?S) (part ?P1 ?S) (part ?P2 ?S) (equal ?L (LineFn ?P1 ?P2)) (not (equal ?P1 ?P2)) (part ?PL ?L)) (orientation ?PL ?O Outside)) |
ComputingBrands.kif 2664-2675 | |
| (=> (and (attribute ?O Convex) (surface ?O ?S) (part ?P1 ?S) (part ?P2 ?S) (equal ?L (LineFn ?P1 ?P2)) (not (equal ?P1 ?P2)) (part ?PL ?L)) (orientation ?PL ?O Inside)) |
ComputingBrands.kif 2632-2643 | |
| (=> (and (instance ?ATTRIBUTE ShapeAttribute) (attribute ?OBJ ?ATTRIBUTE) (surface ?SURFACE ?OBJ)) (attribute ?SURFACE ?ATTRIBUTE)) |
Merge.kif 16561-16566 | |
| (=> (and (instance ?ATTRIBUTE TextureAttribute) (attribute ?OBJ ?ATTRIBUTE) (surface ?SURFACE ?OBJ)) (attribute ?SURFACE ?ATTRIBUTE)) |
Merge.kif 16589-16594 | |
| (=> (and (instance ?C Crystal) (attribute ?C MonoCrystalline) (instance ?Sub Substance) (attribute ?Sub Solid) (attribute ?Sub PolyCrystalline) (instance ?S Substance) (surface ?S ?Sub) (not (part ?C ?S))) (exists (?CLNT) (and (instance ?CLNT Collection) (memberCount ?CLNT ?X) (greaterThanOrEqualTo ?X 4) (=> (member ?MBR ?CLNT) (and (part ?MBR ?Sub) (meetsSpatially ?C ?MBR)))))) |
Geography.kif 6573-6593 | |
| (=> (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 6956-6968 | |
| (=> (and (instance ?MEASURE Measuring) (patient ?MEASURE ?OBJ) (surface ?OBJ PlanetEarth) (result ?MEASURE ?QUANTITY) (instrument ?MEASURE ?BAROMETER) (instance ?BAROMETER BarometricAltimeter)) (elevation ?OBJ ?QUANTITY)) |
MilitaryDevices.kif 1488-1496 | |
| (=> (and (instance ?RUNWAY PavedRunway) (surface ?SURFACE ?RUNWAY)) (or (instance ?SURFACE Asphalt) (instance ?SURFACE Concrete))) |
Transportation.kif 1305-1311 | |
| (=> (and (instance ?RUNWAY Runway) (surface ?SURFACE ?RUNWAY) (instance ?SURFACE Asphalt)) (instance ?RUNWAY PavedRunway)) |
Transportation.kif 1313-1318 | |
| (=> (and (instance ?RUNWAY Runway) (surface ?SURFACE ?RUNWAY) (instance ?SURFACE Concrete)) (instance ?RUNWAY PavedRunway)) |
Transportation.kif 1320-1325 | |
| (=> (and (instance ?ocean Ocean) (surface ?top ?ocean)) (elevation ?top (MeasureFn 0 FootLength))) |
Geography.kif 4539-4543 | |
| (=> (and (instance ?ocean Ocean) (surface ?top ?ocean)) (elevation ?top (MeasureFn 0 Meter))) |
Geography.kif 4533-4537 | |
| (=> (and (instance ?place UndergroundArea) (earthAltitude ?place ?alt1) (surface ?ground PlanetEarth) (part ?area ?ground) (orientation ?place ?area Below) (earthAltitude ?area ?alt2)) (greaterThan ?alt2 ?alt1)) |
Geography.kif 3794-3802 | |
| (=> (surface ?OBJ1 ?OBJ2) (forall (?OBJ3) (=> (superficialPart ?OBJ3 ?OBJ2) (part ?OBJ3 ?OBJ1)))) |
Merge.kif 9132-9137 |
| consequent |
|
|
| (<=> (earthAltitude ?OBJ ?ALT) (and (altitude ?OBJ ?SEA ?ALT) (surface ?SEA PlanetEarth))) |
Geography.kif 2721-2725 | |
| (=> (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 6956-6968 | |
| (=> (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 3730-3738 | |
| (=> (and (instance ?X Argument) (instance ?R Reasoning) (subProposition ?X Archeology) (realization ?R ?X)) (exists (?D ?S ?O ?T) (and (instance ?D Discovering) (instance ?O Object) (patient ?D ?O) (refers ?R ?D) (earlier (WhenFn ?D) (WhenFn ?R)) (age ?O ?T) (greaterThan ?T (MeasureFn 50 YearDuration)) (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 18870-18899 | |
| (=> (instance ?B Bubble) (exists (?S) (and (surface ?S ?B) (attribute ?S Liquid)))) |
Mid-level-ontology.kif 5306-5311 | |
| (=> (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 8508-8517 | |
| (=> (instance ?L Lesion) (exists (?S ?O) (and (surface ?S ?O) (instance ?O Organ) (located ?L ?S)))) |
Mid-level-ontology.kif 9000-9006 | |
| (=> (instance ?OBJ1 VirusCoreEnvelope) (exists (?OBJ2) (and (surface ?OBJ1 ?OBJ2) (instance ?OBJ2 ViralCore)))) |
VirusProteinAndCellPart.kif 621-626 | |
| (=> (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 3803-3814 | |
| (=> (instance ?SKIN Skin) (exists (?SURFACE ?ANIMAL) (and (surface ?SURFACE ?ANIMAL) (part ?SKIN ?ANIMAL) (instance ?ANIMAL Animal) (overlapsSpatially ?SKIN ?SURFACE)))) |
Mid-level-ontology.kif 9421-9428 | |
| (=> (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 4010-4019 | |
| (=> (instance ?X SubwaySystem) (exists (?SURF) (and (surface ?SURF GeographicArea) (orientation ?X ?SURF Below)))) |
Transportation.kif 325-330 | |
| (=> (instance ?place UndergroundArea) (exists (?area ?ground) (and (surface ?ground PlanetEarth) (part ?area ?ground) (orientation ?place ?area Below)))) |
Geography.kif 3786-3792 |
|
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