Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - surface
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 9716-9719
(documentation surface JapaneseLanguage "(surface ?OBJ1 ?OBJ2) とは、?OBJ1 が ?OBJ2 の 最大接続 superficialPart であることを意味する。　注：一部の SelfConnectedObjects には複数 の表面がある。例：テニスボールのような中空の物体は、内側と外側の両方の面を持っている。") japanese_format.kif 1582-1584
(domain surface 1 SelfConnectedObject) Merge.kif 9713-9713 The number 1 argument of surface is an instance of self connected object
(domain surface 2 SelfConnectedObject) Merge.kif 9714-9714 The number 2 argument of surface is an instance of self connected object
(instance surface AsymmetricRelation) Merge.kif 9710-9710 surface is an instance of asymmetric relation
(instance surface BinaryPredicate) Merge.kif 9711-9711 surface is an instance of binary predicate
(subrelation surface superficialPart) Merge.kif 9712-9712 surface is a subrelation of superficial part

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 56321-56321
(termFormat EnglishLanguage surface "surface") domainEnglishFormat.kif 56320-56320

antecedent
-------------------------


(<=>
    (and
        (altitude ?AIRCRAFT ?OBJ2 ?QUANTITY)
        (surface ?OBJ2 PlanetEarth)
        (instance ?AIRCRAFT Aircraft))
    (absoluteHeight ?AIRCRAFT ?QUANTITY))		 MilitaryDevices.kif 1462-1467 The altitude of an aircraft is a self connected object and the self connected object is a surface of planet earth and the aircraft is an instance of aircraft if and only if an altitude measure is the absolute height of the aircraft
(=>
    (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 2693-2704
(=>
    (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 2665-2676
(=>
    (and
        (instance ?ATTRIBUTE ShapeAttribute)
        (attribute ?OBJ ?ATTRIBUTE)
        (surface ?SURFACE ?OBJ))
    (attribute ?SURFACE ?ATTRIBUTE))		 Merge.kif 17815-17820
(=>
    (and
        (instance ?ATTRIBUTE TextureAttribute)
        (attribute ?OBJ ?ATTRIBUTE)
        (surface ?SURFACE ?OBJ))
    (attribute ?SURFACE ?ATTRIBUTE))		 Merge.kif 17843-17848
(=>
    (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 ?X ?MBR)
        (and
            (instance ?CLNT Collection)
            (memberCount ?CLNT ?X)
            (greaterThanOrEqualTo ?X 4)
            (=>
                (member ?MBR ?CLNT)
                (and
                    (part ?MBR ?SUB)
                    (meetsSpatially ?C ?MBR))))))		 Geography.kif 7142-7162
(=>
    (and
        (instance ?G ExternalGear)
        (instance ?H HoleRegion)
        (equal ?G
            (HoleHostFn ?H))
        (instance ?T GearTooth)
        (part ?T ?G)
        (surface ?ST ?T))
    (not
        (part ?ST ?G)))		 engineering.kif 776-786
(=>
    (and
        (instance ?G Gear)
        (superficialPart ?SG ?G)
        (instance ?T GearTooth)
        (part ?T ?G)
        (surface ?ST ?T))
    (part ?ST ?SG))		 engineering.kif 823-830
(=>
    (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)
        (surface ?OBJ PlanetEarth)
        (result ?MEASURE ?QUANTITY)
        (instrument ?MEASURE ?BAROMETER)
        (instance ?BAROMETER BarometricAltimeter))
    (elevation ?OBJ ?QUANTITY))		 MilitaryDevices.kif 1488-1496
(=>
    (and
        (instance ?O Object)
        (attribute ?O ConvexRoundShape)
        (surface ?TO ?O)
        (instance ?TO TwoDimensionalObject))
    (forall (?P)
        (and
            (part ?P ?O)
            (attribute ?P GeometricPoint)
            (pointOfFigure ?P ?O)
            (meetsSpatially ?P ?O)
            (meetsSpatially ?P ?TO)
            (exists (?T)
                (tangent ?T ?TO)))))		 Mid-level-ontology.kif 4814-4828
(=>
    (and
        (instance ?RUNWAY PavedRunway)
        (surface ?SURFACE ?RUNWAY))
    (or
        (instance ?SURFACE Asphalt)
        (instance ?SURFACE Concrete)))		 Transportation.kif 1388-1394
(=>
    (and
        (instance ?RUNWAY Runway)
        (surface ?SURFACE ?RUNWAY)
        (instance ?SURFACE Asphalt))
    (instance ?RUNWAY PavedRunway))		 Transportation.kif 1396-1401
(=>
    (and
        (instance ?RUNWAY Runway)
        (surface ?SURFACE ?RUNWAY)
        (instance ?SURFACE Concrete))
    (instance ?RUNWAY PavedRunway))		 Transportation.kif 1403-1408
(=>
    (and
        (instance ?T GearTooth)
        (instance ?G InternalGear)
        (part ?T ?G)
        (surface ?S ?T))
    (exists (?H)
        (and
            (instance ?H HoleRegion)
            (equal ?G
                (HoleHostFn ?H))
            (part ?S ?G))))		 engineering.kif 804-815
(=>
    (and
        (instance ?ocean Ocean)
        (surface ?top ?ocean))
    (elevation ?top
        (MeasureFn 0.0 FootLength)))		 Geography.kif 4837-4842
(=>
    (and
        (instance ?ocean Ocean)
        (surface ?top ?ocean))
    (elevation ?top
        (MeasureFn 0.0 Meter)))		 Geography.kif 4830-4835
(=>
    (and
        (instance ?place UndergroundArea)
        (instance ?U UnitOfLength)
        (earthAltitude ?place
            (MeasureFn ?alt1 ?U))
        (surface ?ground PlanetEarth)
        (part ?area ?ground)
        (orientation ?place ?area Below)
        (earthAltitude ?area
            (MeasureFn ?alt2 ?U)))
    (greaterThan ?alt2 ?alt1))		 Geography.kif 3999-4010
(=>
    (surface ?OBJ1 ?OBJ2)
    (forall (?OBJ3)
        (=>
            (superficialPart ?OBJ3 ?OBJ2)
            (part ?OBJ3 ?OBJ1))))		 Merge.kif 9721-9726

consequent
-------------------------


(<=>
    (earthAltitude ?OBJ ?ALT)
    (exists (?SEA)
        (and
            (altitude ?OBJ ?SEA ?ALT)
            (surface ?SEA PlanetEarth))))		 Geography.kif 2781-2786 An object is a length measure above the ground if and only if there exists a self connected object such that the altitude of the object is the self connected object and the self connected object is a surface of planet earth
(=>
    (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 3181-3189
(=>
    (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 21405-21435
(=>
    (instance ?B Bubble)
    (exists (?S)
        (and
            (surface ?S ?B)
            (attribute ?S Liquid))))		 Mid-level-ontology.kif 4997-5002
(=>
    (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 9066-9075
(=>
    (instance ?L Lesion)
    (exists (?S ?O)
        (and
            (surface ?S ?O)
            (instance ?O Organ)
            (located ?L ?S))))		 Mid-level-ontology.kif 9614-9620
(=>
    (instance ?OBJ1 VirusCoreEnvelope)
    (exists (?OBJ2)
        (and
            (surface ?OBJ1 ?OBJ2)
            (instance ?OBJ2 ViralCore))))		 VirusProteinAndCellPart.kif 1206-1211
(=>
    (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 3255-3266
(=>
    (instance ?SKIN Skin)
    (exists (?SURFACE ?ANIMAL)
        (and
            (surface ?SURFACE ?ANIMAL)
            (part ?SKIN ?ANIMAL)
            (instance ?ANIMAL Animal)
            (overlapsSpatially ?SKIN ?SURFACE))))		 Mid-level-ontology.kif 11209-11216
(=>
    (instance ?W CellWall)
    (exists (?CELL ?SURF)
        (and
            (instance ?CELL Cell)
            (part ?W ?CELL)
            (surface ?SURF ?CELL)
            (part ?SURF ?W))))		 VirusProteinAndCellPart.kif 472-479
(=>
    (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 3465-3474
(=>
    (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


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