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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - superficialPart
superficialPart

appearance as argument number 1
-------------------------


s__documentation(s__superficialPart__m,s__ChineseLanguage,'"(superficialPart ?OBJ1 ?OBJ2) 的意思是 ?OBJ1 是 ?OBJ2 没有自身的内在部分的一个部分,(或者直观的说,只有和 ?OBJ2 的部分重叠,在外部和 ?OBJ2 的分体补充部分lianxi着)。这个也是一个传递关系,受 MereologicalSumFnMereologicalProductFn 的封闭。"')

chinese_format.kif 2834-2837
s__documentation(s__superficialPart__m,s__EnglishLanguage,'"(superficialPart ?OBJ1 ?OBJ2) means that ?OBJ1 is a part of ?OBJ2 that has no interior parts of its own (or, intuitively, that only overlaps those parts of ?OBJ2 that are externally connected with the mereological complement of ?OBJ2). This too is a transitive relation closed under MereologicalSumFn and MereologicalProductFn."')

Merge.kif 9272-9277
s__domain(s__superficialPart__m,n__1,s__Object)

Merge.kif 9269-9269 The number 1 argument of superficial part is an instance of object
s__domain(s__superficialPart__m,n__2,s__Object)

Merge.kif 9270-9270 The number 2 argument of superficial part is an instance of object
s__instance(s__BinaryPredicate,s__Class)

s__instance(s__superficialPart__m,s__BinaryPredicate)

Merge.kif 9268-9268 superficial part is an instance of binary predicate
s__instance(s__IrreflexiveRelation,s__Class)

s__instance(s__superficialPart__m,s__IrreflexiveRelation)

Merge.kif 9265-9265 superficial part is an instance of irreflexive relation
s__instance(s__PartialValuedRelation,s__Class)

s__instance(s__superficialPart__m,s__PartialValuedRelation)

Merge.kif 9267-9267 superficial part is an instance of partial valued relation
s__instance(s__TransitiveRelation,s__Class)

s__instance(s__superficialPart__m,s__TransitiveRelation)

Merge.kif 9266-9266 superficial part is an instance of transitive relation

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


s__format(s__ChineseLanguage,s__superficialPart__m,'"%1 %n 是 %2 的 superficialPart"')

chinese_format.kif 371-371
s__format(s__EnglishLanguage,s__superficialPart__m,'"%1 is %n a superficial part of %2"')

english_format.kif 372-372
s__subrelation(s__bottom__m,s__superficialPart__m)

Merge.kif 9321-9321 bottom is a subrelation of superficial part
s__subrelation(s__side__m,s__superficialPart__m)

Merge.kif 9351-9351 side is a subrelation of superficial part
s__subrelation(s__surface__m,s__superficialPart__m)

Merge.kif 9290-9290 surface is a subrelation of superficial part
s__subrelation(s__top__m,s__superficialPart__m)

Merge.kif 9336-9336 top is a subrelation of superficial part
s__termFormat(s__ChineseLanguage,s__superficialPart__m,'"肤浅的部分"')

domainEnglishFormat.kif 56092-56092
s__termFormat(s__ChineseLanguage,s__superficialPart__m,'"表面部分"')

chinese_format.kif 372-372
s__termFormat(s__ChineseTraditionalLanguage,s__superficialPart__m,'"膚淺的部分"')

domainEnglishFormat.kif 56091-56091
s__termFormat(s__EnglishLanguage,s__superficialPart__m,'"superficial part"')

domainEnglishFormat.kif 56090-56090

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


( ! [V__COLOR,V__OBJ,V__PART] :
   (((s__instance(V__OBJ,s__Object) &
         s__instance(V__PART,s__Object))
       =>
       (((s__attribute(V__OBJ,s__Monochromatic) &
             s__superficialPart(V__PART,V__OBJ)
           &
           s__attribute(V__PART,V__COLOR)
         &
         s__instance(V__COLOR,s__PrimaryColor))
       =>
       (( ! [V__ELEMENT] :
           ((s__instance(V__ELEMENT,s__Object) =>
               ((s__superficialPart(V__ELEMENT,V__OBJ)
                 =>
                 (s__attribute(V__ELEMENT,V__COLOR)))))))))))
)
)

Merge.kif 16981-16990
( ! [V__A,V__B,V__S] :
   (((s__instance(V__A,s__Object) &
         s__instance(V__B,s__Object) &
         s__instance(V__S,s__Object))
       =>
       (((s__covers(V__A,V__B)
           &
           s__superficialPart(V__S,V__B))
       =>
       (s__meetsSpatially(V__A,V__S)))))
)
)

Mid-level-ontology.kif 28995-28999
( ! [V__O,V__E,V__SP] :
   (((s__instance(V__O,s__Object) &
         s__instance(V__E,s__Object) &
         s__instance(V__SP,s__Object))
       =>
       (((s__physicalEnd(V__E,V__O)
           &
           s__superficialPart(V__SP,V__O))
       =>
       (s__meetsSpatially(V__E,V__SP)))))
)
)

Mid-level-ontology.kif 1229-1233
( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Object))
       =>
       ((s__superficialPart(V__OBJ1,V__OBJ2)
         =>
         ((~(s__interiorPart(V__OBJ1,V__OBJ2))
           &
           ~(( ? [V__OBJ3] :
               ((s__instance(V__OBJ3,s__Object) &
                   s__interiorPart(V__OBJ3,V__OBJ1))))))))))
)
)

Merge.kif 9279-9286
( ! [V__WHOLE,V__PART] :
   (((s__instance(V__WHOLE,s__Object) &
         s__instance(V__PART,s__Object))
       =>
       ((s__superficialPart(V__PART,V__WHOLE)
         =>
         (s__part(V__PART,V__WHOLE)))))
)
)

Merge.kif 9261-9263

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


( ! [V__COLOR,V__OBJ,V__PART] :
   (((s__instance(V__OBJ,s__Object) &
         s__instance(V__PART,s__Object))
       =>
       (((s__attribute(V__OBJ,s__Monochromatic) &
             s__superficialPart(V__PART,V__OBJ)
           &
           s__attribute(V__PART,V__COLOR)
         &
         s__instance(V__COLOR,s__PrimaryColor))
       =>
       (( ! [V__ELEMENT] :
           ((s__instance(V__ELEMENT,s__Object) =>
               ((s__superficialPart(V__ELEMENT,V__OBJ)
                 =>
                 (s__attribute(V__ELEMENT,V__COLOR)))))))))))
)
)

Merge.kif 16981-16990
( ! [V__OBJECT,V__HEIGHT,V__PLACE] :
   (((s__instance(V__OBJECT,s__Object) &
         s__instance(V__HEIGHT,s__LengthMeasure))
       =>
       (((s__elevation(V__OBJECT,V__HEIGHT)
           &
           s__located(V__OBJECT,V__PLACE)
         &
         s__instance(V__PLACE,s__GeographicArea))
       =>
       (s__superficialPart(V__PLACE,s__PlanetEarth)))))
)
)

Geography.kif 1878-1883
No TPTP formula. May not be expressible in strict first order. Merge.kif 12027-12040
( ! [V__OBJ,V__I] :
   ((s__instance(V__OBJ,s__Object) =>
       (((s__instance(V__I,s__Ironing) &
             s__patient(V__I,V__OBJ))
         =>
         (( ? [V__HEAT, V__IRON, V__PART] :
             ((s__instance(V__IRON,s__Object) &
                 s__instance(V__PART,s__Object) &
                 (s__superficialPart(V__PART,V__OBJ)
                 &
                 s__instance(V__HEAT,s__Heating) &
                 s__patient(V__HEAT,V__IRON)
               &
               s__patient(V__I,V__PART)
             &
             s__instrument(V__I,V__IRON)))))))))
)
)

Mid-level-ontology.kif 24439-24449
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24423-24432
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24407-24416
( ! [V__OBJ] :
   ((s__instance(V__OBJ,s__Object) =>
       ((s__attribute(V__OBJ,s__Polychromatic) =>
           (( ? [V__PART1, V__PART2, V__COLOR1, V__COLOR2] :
               ((s__instance(V__PART1,s__Object) &
                   s__instance(V__PART2,s__Object) &
                   (s__superficialPart(V__PART1,V__OBJ)
                   &
                   s__superficialPart(V__PART2,V__OBJ)
                 &
                 s__attribute(V__PART1,V__COLOR1)
               &
               s__attribute(V__PART2,V__COLOR2)
             &
             s__instance(V__COLOR1,s__ColorAttribute) &
             s__instance(V__COLOR2,s__ColorAttribute) &
             ~((V__COLOR1 = V__COLOR2))))))))))
)
)

Merge.kif 17003-17013
( ! [V__OBJ1,V__HOLE] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__HOLE,s__Hole))
       =>
       (((V__OBJ1 = s__HoleSkinFn(V__HOLE))
         =>
         (( ! [V__OBJ2] :
             ((s__instance(V__OBJ2,s__Object) =>
                 (((s__overlapsSpatially(V__OBJ2,V__OBJ1)
                     =>
                     ( ? [V__OBJ3] :
                       ((s__instance(V__OBJ3,s__Object) &
                           (s__superficialPart(V__OBJ3,s__HoleHostFn(V__HOLE))
                         &
                         s__meetsSpatially(V__HOLE,V__OBJ3)
                       &
                       s__overlapsSpatially(V__OBJ2,V__OBJ3))))))
           &
           (( ? [V__OBJ3] :
               ((s__instance(V__OBJ3,s__Object) &
                   (s__superficialPart(V__OBJ3,s__HoleHostFn(V__HOLE))
                 &
                 s__meetsSpatially(V__HOLE,V__OBJ3)
               &
               s__overlapsSpatially(V__OBJ2,V__OBJ3)))))
     =>
     s__overlapsSpatially(V__OBJ2,V__OBJ1)))))))))))
)
)

Merge.kif 9696-9705
( ! [V__COVER] :
   ((s__instance(V__COVER,s__BodyCovering) =>
       (( ? [V__BODY] :
           ((s__superficialPart(V__COVER,V__BODY)
             &
             (s__instance(V__BODY,s__Organism) |
               s__instance(V__BODY,s__BodyPart)))))))
   )
)

Merge.kif 14433-14440
( ! [V__REGION] :
   ((s__instance(V__REGION,s__Region) =>
       (s__superficialPart(s__InnerBoundaryFn(V__REGION)
      ,V__REGION)))
)
)

Geography.kif 802-804
( ! [V__REGION] :
   ((s__instance(V__REGION,s__Region) =>
       (s__superficialPart(s__OuterBoundaryFn(V__REGION)
      ,V__REGION)))
)
)

Geography.kif 814-816
( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Object))
       =>
       ((s__interiorPart(V__OBJ1,V__OBJ2)
         =>
         (( ! [V__PART] :
             ((s__instance(V__PART,s__Object) =>
                 ((s__superficialPart(V__PART,V__OBJ2)
                   =>
                   (~(s__overlapsSpatially(V__OBJ1,V__PART))))))))))))
)
)

Merge.kif 9313-9319
( ! [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 9299-9304


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