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 9621-9624
(domain surface 1 SelfConnectedObject) Merge.kif 9618-9618 The number 1 argument of surface is an instance of self connected object
(domain surface 2 SelfConnectedObject) Merge.kif 9619-9619 The number 2 argument of surface is an instance of self connected object
(instance surface AsymmetricRelation) Merge.kif 9615-9615 surface is an instance of asymmetric relation
(instance surface BinaryPredicate) Merge.kif 9616-9616 surface is an instance of binary predicate
(subrelation surface superficialPart) Merge.kif 9617-9617 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
(termFormat ChineseLanguage surface "表面") chinese_format.kif 374-374
(termFormat ChineseTraditionalLanguage surface "表面") domainEnglishFormat.kif 56272-56272
(termFormat EnglishLanguage surface "surface") domainEnglishFormat.kif 56271-56271

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 17581-17586
(=>
    (and
        (instance ?ATTRIBUTE TextureAttribute)
        (attribute ?OBJ ?ATTRIBUTE)
        (surface ?SURFACE ?OBJ))
    (attribute ?SURFACE ?ATTRIBUTE))
Merge.kif 17609-17614
(=>
    (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 6842-6862
(=>
    (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 7225-7237
(=>
    (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 4779-4793
(=>
    (and
        (instance ?RUNWAY PavedRunway)
        (surface ?SURFACE ?RUNWAY))
    (or
        (instance ?SURFACE Asphalt)
        (instance ?SURFACE Concrete)))
Transportation.kif 1316-1322
(=>
    (and
        (instance ?RUNWAY Runway)
        (surface ?SURFACE ?RUNWAY)
        (instance ?SURFACE Asphalt))
    (instance ?RUNWAY PavedRunway))
Transportation.kif 1324-1329
(=>
    (and
        (instance ?RUNWAY Runway)
        (surface ?SURFACE ?RUNWAY)
        (instance ?SURFACE Concrete))
    (instance ?RUNWAY PavedRunway))
Transportation.kif 1331-1336
(=>
    (and
        (instance ?ocean Ocean)
        (surface ?top ?ocean))
    (elevation ?top
        (MeasureFn 0.0 FootLength)))
Geography.kif 4746-4751
(=>
    (and
        (instance ?ocean Ocean)
        (surface ?top ?ocean))
    (elevation ?top
        (MeasureFn 0.0 Meter)))
Geography.kif 4739-4744
(=>
    (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 3932-3943
(=>
    (surface ?OBJ1 ?OBJ2)
    (forall (?OBJ3)
        (=>
            (superficialPart ?OBJ3 ?OBJ2)
            (part ?OBJ3 ?OBJ1))))
Merge.kif 9626-9631

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


(<=>
    (earthAltitude ?OBJ ?ALT)
    (and
        (altitude ?OBJ ?SEA ?ALT)
        (surface ?SEA PlanetEarth)))
Geography.kif 2786-2790 An object is a length measure above the ground if and only if the altitude of the object is a 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 7225-7237
(=>
    (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 3153-3161
(=>
    (and
        (instance ?X Argument)
        (instance ?R Reasoning)
        (subProposition ?X Archeology)
        (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 20928-20957
(=>
    (instance ?B Bubble)
    (exists (?S)
        (and
            (surface ?S ?B)
            (attribute ?S Liquid))))
Mid-level-ontology.kif 4963-4968
(=>
    (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 8807-8816
(=>
    (instance ?L Lesion)
    (exists (?S ?O)
        (and
            (surface ?S ?O)
            (instance ?O Organ)
            (located ?L ?S))))
Mid-level-ontology.kif 9349-9355
(=>
    (instance ?OBJ1 VirusCoreEnvelope)
    (exists (?OBJ2)
        (and
            (surface ?OBJ1 ?OBJ2)
            (instance ?OBJ2 ViralCore))))
VirusProteinAndCellPart.kif 692-697
(=>
    (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 3227-3238
(=>
    (instance ?SKIN Skin)
    (exists (?SURFACE ?ANIMAL)
        (and
            (surface ?SURFACE ?ANIMAL)
            (part ?SKIN ?ANIMAL)
            (instance ?ANIMAL Animal)
            (overlapsSpatially ?SKIN ?SURFACE))))
Mid-level-ontology.kif 10857-10864
(=>
    (instance ?W CellWall)
    (exists (?CELL ?SURF)
        (and
            (instance ?CELL Cell)
            (part ?W ?CELL)
            (surface ?SURF ?CELL)
            (part ?SURF ?W))))
VirusProteinAndCellPart.kif 422-429
(=>
    (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 3437-3446
(=>
    (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 3924-3930


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