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
-------------------------


s__documentation(s__surface__m,s__ChineseLanguage,'"(surface ?OBJ1 ?OBJ2)的意思是 ?OBJ1 和 ?OBJ2 的 superficialPart 是以最大的程度联系着。注:有些 SelfConnectedObject 有超过一块表面,例如: 一个像网球中空物体,就有内在和外在的表面。"')

chinese_format.kif 2838-2840
s__documentation(s__surface__m,s__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 9251-9254
s__domain(s__surface__m,n__1,s__SelfConnectedObject)

Merge.kif 9248-9248 The number 1 argument of surface is an instance of self connected object
s__domain(s__surface__m,n__2,s__SelfConnectedObject)

Merge.kif 9249-9249 The number 2 argument of surface is an instance of self connected object
s__instance(s__surface__m,s__AsymmetricRelation)

s__instance(s__AsymmetricRelation,s__SetOrClass)

Merge.kif 9245-9245 surface is an instance of asymmetric relation
s__instance(s__BinaryPredicate,s__SetOrClass)

s__instance(s__surface__m,s__BinaryPredicate)

Merge.kif 9246-9246 surface is an instance of binary predicate
s__subrelation(s__surface__m,s__superficialPart__m)

Merge.kif 9247-9247 surface is a subrelation of superficial part

appearance as argument number 2
-------------------------


s__format(s__ChineseLanguage,s__surface__m,'"%1 %n 是 %2 的 surface"')

chinese_format.kif 373-373
s__format(s__EnglishLanguage,s__surface__m,'"%1 is %n a surface of %2"')

english_format.kif 377-377
s__termFormat(s__ChineseLanguage,s__surface__m,'"表面"')

chinese_format.kif 374-374
s__termFormat(s__ChineseTraditionalLanguage,s__surface__m,'"表面"')

domainEnglishFormat.kif 56264-56264
s__termFormat(s__EnglishLanguage,s__surface__m,'"surface"')

domainEnglishFormat.kif 56263-56263

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


( ! [V__OBJ2,V__AIRCRAFT,V__QUANTITY] :
   (((s__instance(V__OBJ2,s__SelfConnectedObject) &
         s__instance(V__QUANTITY,s__AltitudeMeasure))
       =>
       ((((s__altitude(V__AIRCRAFT,V__OBJ2,V__QUANTITY)
             &
             s__surface(V__OBJ2,s__PlanetEarth) &
             s__instance(V__AIRCRAFT,s__Aircraft))
           =>
           s__absoluteHeight(V__AIRCRAFT,V__QUANTITY))
       &
       (s__absoluteHeight(V__AIRCRAFT,V__QUANTITY)
       =>
       (s__altitude(V__AIRCRAFT,V__OBJ2,V__QUANTITY)
       &
       s__surface(V__OBJ2,s__PlanetEarth) &
       s__instance(V__AIRCRAFT,s__Aircraft))))))
)
)

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
( ! [V__O,V__P1,V__P2,V__S,V__PL,V__L] :
   (((s__instance(V__O,s__SelfConnectedObject) &
         s__instance(V__P1,s__Object) &
         s__instance(V__P2,s__Object) &
         s__instance(V__S,s__SelfConnectedObject) &
         s__instance(V__PL,s__Object) &
         s__instance(V__L,s__Object))
       =>
       (((s__attribute(V__O,s__Concave) &
             s__surface(V__O,V__S)
           &
           s__part(V__P1,V__S)
         &
         s__part(V__P2,V__S)
       &
       (V__L = s__LineFn(V__P1,V__P2))
     &
     ~((V__P1 = V__P2))
     &
     s__part(V__PL,V__L))
=>
(s__orientation(V__PL,V__O,s__Outside)))))
)
)

ComputingBrands.kif 2652-2663
( ! [V__O,V__P1,V__P2,V__S,V__PL,V__L] :
   (((s__instance(V__O,s__SelfConnectedObject) &
         s__instance(V__P1,s__Object) &
         s__instance(V__P2,s__Object) &
         s__instance(V__S,s__SelfConnectedObject) &
         s__instance(V__PL,s__Object) &
         s__instance(V__L,s__Object))
       =>
       (((s__attribute(V__O,s__Convex) &
             s__surface(V__O,V__S)
           &
           s__part(V__P1,V__S)
         &
         s__part(V__P2,V__S)
       &
       (V__L = s__LineFn(V__P1,V__P2))
     &
     ~((V__P1 = V__P2))
     &
     s__part(V__PL,V__L))
=>
(s__orientation(V__PL,V__O,s__Inside)))))
)
)

ComputingBrands.kif 2624-2635
( ! [V__SURFACE,V__OBJ,V__ATTRIBUTE] :
   (((s__instance(V__SURFACE,s__SelfConnectedObject) &
         s__instance(V__OBJ,s__SelfConnectedObject))
       =>
       (((s__instance(V__ATTRIBUTE,s__ShapeAttribute) &
             s__attribute(V__OBJ,V__ATTRIBUTE)
           &
           s__surface(V__SURFACE,V__OBJ))
       =>
       (s__attribute(V__SURFACE,V__ATTRIBUTE)))))
)
)

Merge.kif 16912-16917
( ! [V__SURFACE,V__OBJ,V__ATTRIBUTE] :
   (((s__instance(V__SURFACE,s__SelfConnectedObject) &
         s__instance(V__OBJ,s__SelfConnectedObject))
       =>
       (((s__instance(V__ATTRIBUTE,s__TextureAttribute) &
             s__attribute(V__OBJ,V__ATTRIBUTE)
           &
           s__surface(V__SURFACE,V__OBJ))
       =>
       (s__attribute(V__SURFACE,V__ATTRIBUTE)))))
)
)

Merge.kif 16940-16945
( ! [V__MBR,V__C,V__S,V__X,V__Sub] :
   (((s__instance(V__MBR,s__Object) &
         s__instance(V__X,s__Integer))
       =>
       (((s__instance(V__C,s__Crystal) &
             s__attribute(V__C,s__MonoCrystalline) &
             s__instance(V__Sub,s__Substance) &
             s__attribute(V__Sub,s__Solid) &
             s__attribute(V__Sub,s__PolyCrystalline) &
             s__instance(V__S,s__Substance) &
             s__surface(V__S,V__Sub)
           &
           ~(s__part(V__C,V__S)))
       =>
       (( ? [V__CLNT] :
           ((s__instance(V__CLNT,s__Collection) &
               s__memberCount(V__CLNT,V__X)
             &
             s__greaterThanOrEqualTo(V__X,n__4)
           &
           (s__member(V__MBR,V__CLNT)
           =>
           ((s__part(V__MBR,V__Sub)
             &
             s__meetsSpatially(V__C,V__MBR)))))))))))
)
)

Geography.kif 6672-6692
No TPTP formula. May not be expressible in strict first order. Geography.kif 7055-7067
( ! [V__BAROMETER,V__OBJ,V__MEASURE,V__QUANTITY] :
   (((s__instance(V__OBJ,s__SelfConnectedObject) &
         s__instance(V__QUANTITY,s__LengthMeasure))
       =>
       (((s__instance(V__MEASURE,s__Measuring) &
             s__patient(V__MEASURE,V__OBJ)
           &
           s__surface(V__OBJ,s__PlanetEarth) &
           s__result(V__MEASURE,V__QUANTITY)
         &
         s__instrument(V__MEASURE,V__BAROMETER)
       &
       s__instance(V__BAROMETER,s__BarometricAltimeter))
     =>
     (s__elevation(V__OBJ,V__QUANTITY)))))
)
)

MilitaryDevices.kif 1488-1496
( ! [V__SURFACE,V__RUNWAY] :
   ((s__instance(V__SURFACE,s__SelfConnectedObject) =>
       (((s__instance(V__RUNWAY,s__PavedRunway) &
             s__surface(V__SURFACE,V__RUNWAY))
         =>
         ((s__instance(V__SURFACE,s__Asphalt) |
             s__instance(V__SURFACE,s__Concrete))))))
   )
)

Transportation.kif 1316-1322
( ! [V__SURFACE,V__RUNWAY] :
   (((s__instance(V__RUNWAY,s__Runway) &
         s__surface(V__SURFACE,V__RUNWAY)
       &
       s__instance(V__SURFACE,s__Asphalt))
     =>
     (s__instance(V__RUNWAY,s__PavedRunway)))
   )
)

Transportation.kif 1324-1329
( ! [V__SURFACE,V__RUNWAY] :
   (((s__instance(V__RUNWAY,s__Runway) &
         s__surface(V__SURFACE,V__RUNWAY)
       &
       s__instance(V__SURFACE,s__Concrete))
     =>
     (s__instance(V__RUNWAY,s__PavedRunway)))
   )
)

Transportation.kif 1331-1336
( ! [V__ocean,V__top] :
   ((s__instance(V__top,s__SelfConnectedObject) =>
       (((s__instance(V__ocean,s__Ocean) &
             s__surface(V__top,V__ocean))
         =>
         (s__elevation(V__top,s__MeasureFn(n__0,s__FootLength))))))
)
)

Geography.kif 4624-4628
( ! [V__ocean,V__top] :
   ((s__instance(V__top,s__SelfConnectedObject) =>
       (((s__instance(V__ocean,s__Ocean) &
             s__surface(V__top,V__ocean))
         =>
         (s__elevation(V__top,s__MeasureFn(n__0,s__Meter))))))
)
)

Geography.kif 4618-4622
( ! [V__ground,V__alt1,V__place,V__U,V__area,V__alt2] :
   (((s__instance(V__ground,s__SelfConnectedObject) &
         s__instance(V__alt1,s__RealNumber) &
         s__instance(V__area,s__Object) &
         s__instance(V__alt2,s__RealNumber))
       =>
       (((s__instance(V__place,s__UndergroundArea) &
             s__instance(V__U,s__UnitOfLength) &
             s__earthAltitude(V__place,s__MeasureFn(V__alt1,V__U))
         &
         s__surface(V__ground,s__PlanetEarth) &
         s__part(V__area,V__ground)
       &
       s__orientation(V__place,V__area,s__Below) &
       s__earthAltitude(V__area,s__MeasureFn(V__alt2,V__U)))
=>
(s__greaterThan(V__alt2,V__alt1)))))
)
)

Geography.kif 3837-3848
( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__SelfConnectedObject) &
         s__instance(V__OBJ2,s__SelfConnectedObject))
       =>
       ((s__surface(V__OBJ1,V__OBJ2)
         =>
         (( ! [V__OBJ3] :
             ((s__instance(V__OBJ3,s__Object) =>
                 ((s__superficialPart(V__OBJ3,V__OBJ2)
                   =>
                   (s__part(V__OBJ3,V__OBJ1)))))))))))
)
)

Merge.kif 9256-9261

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


( ! [V__OBJ,V__ALT,V__SEA] :
   (((s__instance(V__OBJ,s__Object) &
         s__instance(V__ALT,s__LengthMeasure) &
         s__instance(V__SEA,s__SelfConnectedObject))
       =>
       (((s__earthAltitude(V__OBJ,V__ALT)
           =>
           (s__altitude(V__OBJ,V__SEA,V__ALT)
           &
           s__surface(V__SEA,s__PlanetEarth)))
       &
       ((s__altitude(V__OBJ,V__SEA,V__ALT)
         &
         s__surface(V__SEA,s__PlanetEarth))
       =>
       s__earthAltitude(V__OBJ,V__ALT)))))
)
)

Geography.kif 2743-2747 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
No TPTP formula. May not be expressible in strict first order. Geography.kif 7055-7067
( ! [V__ABSOLUTEMETER,V__OBJ,V__MEASURE,V__QUANTITY] :
   (((s__instance(V__OBJ,s__Physical) &
         s__instance(V__QUANTITY,s__LengthMeasure))
       =>
       (((s__instance(V__MEASURE,s__Measuring) &
             s__patient(V__MEASURE,V__OBJ)
           &
           s__result(V__MEASURE,V__QUANTITY)
         &
         s__instrument(V__MEASURE,V__ABSOLUTEMETER)
       &
       s__instance(V__ABSOLUTEMETER,s__AbsoluteAltimeter))
     =>
     (( ? [V__OBJ2] :
         ((s__instance(V__OBJ2,s__SelfConnectedObject) &
             (s__altitude(V__OBJ,V__OBJ2,V__QUANTITY)
             &
             s__surface(V__OBJ2,s__PlanetEarth)))))))))
)
)

MilitaryDevices.kif 1441-1451
( ! [V__SURFACE,V__PAINT,V__STUFF] :
   (((s__instance(V__SURFACE,s__SelfConnectedObject) &
         s__instance(V__STUFF,s__Object))
       =>
       (((s__instance(V__PAINT,s__Painting) &
             s__patient(V__PAINT,V__SURFACE)
           &
           s__resource(V__PAINT,V__STUFF))
       =>
       (( ? [V__OBJ] :
           ((s__instance(V__OBJ,s__SelfConnectedObject) &
               (s__surface(V__SURFACE,V__OBJ)
               &
               s__instance(V__STUFF,s__Paint)))))))))
)
)

Mid-level-ontology.kif 3120-3128
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19233-19262
( ! [V__B] :
   ((s__instance(V__B,s__Bubble) =>
       (( ? [V__S] :
           ((s__instance(V__S,s__SelfConnectedObject) &
               (s__surface(V__S,V__B)
               &
               s__attribute(V__S,s__Liquid)))))))
   )
)

Mid-level-ontology.kif 4699-4704
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8117-8126
( ! [V__L] :
   ((s__instance(V__L,s__Lesion) =>
       (( ? [V__S, V__O] :
           ((s__instance(V__S,s__SelfConnectedObject) &
               (s__surface(V__S,V__O)
               &
               s__instance(V__O,s__Organ) &
               s__located(V__L,V__S)))))))
)
)

Mid-level-ontology.kif 8591-8597
( ! [V__OBJ1] :
   ((s__instance(V__OBJ1,s__VirusCoreEnvelope) =>
       (( ? [V__OBJ2] :
           ((s__surface(V__OBJ1,V__OBJ2)
             &
             s__instance(V__OBJ2,s__ViralCore))))))
   )
)

VirusProteinAndCellPart.kif 623-628
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3195-3206
( ! [V__SKIN] :
   ((s__instance(V__SKIN,s__Skin) =>
       (( ? [V__SURFACE, V__ANIMAL] :
           ((s__instance(V__SURFACE,s__SelfConnectedObject) &
               (s__surface(V__SURFACE,V__ANIMAL)
               &
               s__part(V__SKIN,V__ANIMAL)
             &
             s__instance(V__ANIMAL,s__Animal) &
             s__overlapsSpatially(V__SKIN,V__SURFACE)))))))
)
)

Mid-level-ontology.kif 9702-9709
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3405-3414
( ! [V__X] :
   ((s__instance(V__X,s__SubwaySystem) =>
       (( ? [V__SURF] :
           ((s__instance(V__SURF,s__SelfConnectedObject) &
               (s__surface(V__SURF,s__GeographicArea) &
                 s__orientation(V__X,V__SURF,s__Below)))))))
     )
   )

Transportation.kif 328-333
( ! [V__place] :
   ((s__instance(V__place,s__UndergroundArea) =>
       (( ? [V__area, V__ground] :
           ((s__instance(V__area,s__Object) &
               s__instance(V__ground,s__SelfConnectedObject) &
               (s__surface(V__ground,s__PlanetEarth) &
                 s__part(V__area,V__ground)
               &
               s__orientation(V__place,V__area,s__Below)))))))
   )
)

Geography.kif 3829-3835


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