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


(documentation superficialPart ChineseLanguage "(superficialPart ?OBJ1 ?OBJ2) 的意思是 ?OBJ1 是 ?OBJ2 没有自身的内在部分的一个部分,(或者直观的说,只有和 ?OBJ2 的部分重叠,在外部和 ?OBJ2 的分体补充部分lianxi着)。这个也是一个传递关系,受 MereologicalSumFnMereologicalProductFn 的封闭。") chinese_format.kif 2834-2837
(documentation superficialPart 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 9074-9079
(domain superficialPart 1 Object) Merge.kif 9071-9071 The number 1 argument of superficial part is an instance of object
(domain superficialPart 2 Object) Merge.kif 9072-9072 The number 2 argument of superficial part is an instance of object
(instance superficialPart IrreflexiveRelation) Merge.kif 9068-9068 superficial part is an instance of irreflexive relation
(instance superficialPart PartialValuedRelation) Merge.kif 9070-9070 superficial part is an instance of partial valued relation
(instance superficialPart TransitiveRelation) Merge.kif 9069-9069 superficial part is an instance of transitive relation

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


(format ChineseLanguage superficialPart "%1 %n 是 %2 的 superficialPart") chinese_format.kif 371-371
(format EnglishLanguage superficialPart "%1 is %n a superficial part of %2") english_format.kif 375-375
(subrelation bottom superficialPart) Merge.kif 9122-9122 bottom is a subrelation of superficial part
(subrelation side superficialPart) Merge.kif 9152-9152 side is a subrelation of superficial part
(subrelation surface superficialPart) Merge.kif 9091-9091 surface is a subrelation of superficial part
(subrelation top superficialPart) Merge.kif 9137-9137 top is a subrelation of superficial part
(termFormat ChineseLanguage superficialPart "肤浅的部分") domainEnglishFormat.kif 56027-56027
(termFormat ChineseLanguage superficialPart "表面部分") chinese_format.kif 372-372
(termFormat ChineseTraditionalLanguage superficialPart "膚淺的部分") domainEnglishFormat.kif 56026-56026
(termFormat EnglishLanguage superficialPart "superficial part") domainEnglishFormat.kif 56025-56025

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


(=>
    (and
        (attribute ?OBJ Monochromatic)
        (superficialPart ?PART ?OBJ)
        (attribute ?PART ?COLOR)
        (instance ?COLOR PrimaryColor))
    (forall (?ELEMENT)
        (=>
            (superficialPart ?ELEMENT ?OBJ)
            (attribute ?ELEMENT ?COLOR))))
Merge.kif 16464-16473
(=>
    (and
        (covers ?A ?B)
        (superficialPart ?S ?B))
    (meetsSpatially ?A ?S))
Mid-level-ontology.kif 27960-27964
(=>
    (and
        (physicalEnd ?E ?O)
        (superficialPart ?SP ?O))
    (meetsSpatially ?E ?SP))
Mid-level-ontology.kif 1680-1684
(=>
    (superficialPart ?OBJ1 ?OBJ2)
    (and
        (not
            (interiorPart ?OBJ1 ?OBJ2))
        (not
            (exists (?OBJ3)
                (interiorPart ?OBJ3 ?OBJ1)))))
Merge.kif 9081-9088
(=>
    (superficialPart ?PART ?WHOLE)
    (part ?PART ?WHOLE))
Merge.kif 9064-9066

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


(=>
    (and
        (attribute ?OBJ Monochromatic)
        (superficialPart ?PART ?OBJ)
        (attribute ?PART ?COLOR)
        (instance ?COLOR PrimaryColor))
    (forall (?ELEMENT)
        (=>
            (superficialPart ?ELEMENT ?OBJ)
            (attribute ?ELEMENT ?COLOR))))
Merge.kif 16464-16473
(=>
    (and
        (elevation ?OBJECT ?HEIGHT)
        (located ?OBJECT ?PLACE)
        (instance ?PLACE GeographicArea))
    (superficialPart ?PLACE PlanetEarth))
Geography.kif 1860-1865
(=>
    (and
        (instance ?ALT SurfaceChange)
        (patient ?ALT ?OBJ))
    (exists (?PART ?PROPERTY)
        (and
            (superficialPart ?PART ?OBJ)
            (or
                (and
                    (holdsDuring
                        (BeginFn
                            (WhenFn ?ALT))
                        (attribute ?PART ?PROPERTY))
                    (holdsDuring
                        (EndFn
                            (WhenFn ?ALT))
                        (not
                            (attribute ?PART ?PROPERTY))))
                (and
                    (holdsDuring
                        (BeginFn
                            (WhenFn ?ALT))
                        (not
                            (attribute ?PART ?PROPERTY)))
                    (holdsDuring
                        (EndFn
                            (WhenFn ?ALT))
                        (attribute ?PART ?PROPERTY)))))))
Merge.kif 11689-11702
(=>
    (and
        (instance ?I Ironing)
        (patient ?I ?OBJ))
    (exists (?HEAT ?IRON ?PART)
        (and
            (superficialPart ?PART ?OBJ)
            (instance ?HEAT Heating)
            (patient ?HEAT ?IRON)
            (patient ?I ?PART)
            (instrument ?I ?IRON))))
Mid-level-ontology.kif 23180-23190
(=>
    (and
        (instance ?P Roughening)
        (patient ?P ?OBJ))
    (exists (?PART)
        (and
            (superficialPart ?PART ?OBJ)
            (holdsDuring
                (EndFn
                    (WhenFn ?P))
                (attribute ?PART Rough)))))
Mid-level-ontology.kif 23164-23173
(=>
    (and
        (instance ?SMOOTH Smoothing)
        (patient ?SMOOTH ?OBJ))
    (exists (?PART)
        (and
            (superficialPart ?PART ?OBJ)
            (holdsDuring
                (EndFn
                    (WhenFn ?SMOOTH))
                (attribute ?PART Smooth)))))
Mid-level-ontology.kif 23148-23157
(=>
    (attribute ?OBJ Polychromatic)
    (exists (?PART1 ?PART2 ?COLOR1 ?COLOR2)
        (and
            (superficialPart ?PART1 ?OBJ)
            (superficialPart ?PART2 ?OBJ)
            (attribute ?PART1 ?COLOR1)
            (attribute ?PART2 ?COLOR2)
            (instance ?COLOR1 ColorAttribute)
            (instance ?COLOR2 ColorAttribute)
            (not
                (equal ?COLOR1 ?COLOR2)))))
Merge.kif 16486-16496
(=>
    (equal ?OBJ1
        (HoleSkinFn ?HOLE))
    (forall (?OBJ2)
        (<=>
            (overlapsSpatially ?OBJ2 ?OBJ1)
            (exists (?OBJ3)
                (and
                    (superficialPart ?OBJ3
                        (HoleHostFn ?HOLE))
                    (meetsSpatially ?HOLE ?OBJ3)
                    (overlapsSpatially ?OBJ2 ?OBJ3))))))
Merge.kif 9497-9506
(=>
    (instance ?COVER BodyCovering)
    (exists (?BODY)
        (and
            (superficialPart ?COVER ?BODY)
            (or
                (instance ?BODY Organism)
                (instance ?BODY BodyPart)))))
Merge.kif 14003-14010
(=>
    (instance ?REGION Region)
    (superficialPart
        (InnerBoundaryFn ?REGION) ?REGION))
Geography.kif 802-804
(=>
    (instance ?REGION Region)
    (superficialPart
        (OuterBoundaryFn ?REGION) ?REGION))
Geography.kif 814-816
(=>
    (interiorPart ?OBJ1 ?OBJ2)
    (forall (?PART)
        (=>
            (superficialPart ?PART ?OBJ2)
            (not
                (overlapsSpatially ?OBJ1 ?PART)))))
Merge.kif 9114-9120
(=>
    (surface ?OBJ1 ?OBJ2)
    (forall (?OBJ3)
        (=>
            (superficialPart ?OBJ3 ?OBJ2)
            (part ?OBJ3 ?OBJ1))))
Merge.kif 9100-9105


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