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 9560-9565
(domain superficialPart 1 Object) Merge.kif 9557-9557 表面部分 的 1 数量 是 客体instance
(domain superficialPart 2 Object) Merge.kif 9558-9558 表面部分 的 2 数量 是 客体instance
(instance superficialPart BinaryPredicate) Merge.kif 9556-9556 表面部分二元谓语instance
(instance superficialPart IrreflexiveRelation) Merge.kif 9553-9553 表面部分非自反关系instance
(instance superficialPart PartialValuedRelation) Merge.kif 9555-9555 表面部分部分值关系instance
(instance superficialPart TransitiveRelation) Merge.kif 9554-9554 表面部分传递关系instance

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 372-372
(subrelation bottom superficialPart) Merge.kif 9609-9609 底部表面部分subrelation
(subrelation side superficialPart) Merge.kif 9639-9639 表面部分subrelation
(subrelation surface superficialPart) Merge.kif 9578-9578 表面表面部分subrelation
(subrelation top superficialPart) Merge.kif 9624-9624 顶部表面部分subrelation
(termFormat ChineseLanguage superficialPart "肤浅的部分") domainEnglishFormat.kif 56092-56092
(termFormat ChineseLanguage superficialPart "表面部分") chinese_format.kif 372-372
(termFormat ChineseTraditionalLanguage superficialPart "膚淺的部分") domainEnglishFormat.kif 56091-56091
(termFormat EnglishLanguage superficialPart "superficial part") domainEnglishFormat.kif 56090-56090

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


(=>
    (and
        (attribute ?OBJ Monochromatic)
        (superficialPart ?PART ?OBJ)
        (attribute ?PART ?COLOR)
        (instance ?COLOR PrimaryColor))
    (forall (?ELEMENT)
        (=>
            (superficialPart ?ELEMENT ?OBJ)
            (attribute ?ELEMENT ?COLOR))))
Merge.kif 17419-17428
(=>
    (and
        (covers ?A ?B)
        (superficialPart ?S ?B))
    (meetsSpatially ?A ?S))
Mid-level-ontology.kif 29140-29144
(=>
    (and
        (physicalEnd ?E ?O)
        (superficialPart ?SP ?O))
    (meetsSpatially ?E ?SP))
Mid-level-ontology.kif 1246-1250
(=>
    (superficialPart ?OBJ1 ?OBJ2)
    (and
        (not
            (interiorPart ?OBJ1 ?OBJ2))
        (not
            (exists (?OBJ3)
                (interiorPart ?OBJ3 ?OBJ1)))))
Merge.kif 9567-9574
(=>
    (superficialPart ?PART ?WHOLE)
    (part ?PART ?WHOLE))
Merge.kif 9549-9551

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


(=>
    (and
        (attribute ?OBJ Monochromatic)
        (superficialPart ?PART ?OBJ)
        (attribute ?PART ?COLOR)
        (instance ?COLOR PrimaryColor))
    (forall (?ELEMENT)
        (=>
            (superficialPart ?ELEMENT ?OBJ)
            (attribute ?ELEMENT ?COLOR))))
Merge.kif 17419-17428
(=>
    (and
        (elevation ?OBJECT ?HEIGHT)
        (located ?OBJECT ?PLACE)
        (instance ?PLACE GeographicArea))
    (superficialPart ?PLACE PlanetEarth))
Geography.kif 1910-1915
(=>
    (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 12378-12391
(=>
    (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 24584-24594
(=>
    (and
        (instance ?P Roughening)
        (patient ?P ?OBJ))
    (exists (?PART)
        (and
            (superficialPart ?PART ?OBJ)
            (holdsDuring
                (EndFn
                    (WhenFn ?P))
                (attribute ?PART Rough)))))
Mid-level-ontology.kif 24568-24577
(=>
    (and
        (instance ?SMOOTH Smoothing)
        (patient ?SMOOTH ?OBJ))
    (exists (?PART)
        (and
            (superficialPart ?PART ?OBJ)
            (holdsDuring
                (EndFn
                    (WhenFn ?SMOOTH))
                (attribute ?PART Smooth)))))
Mid-level-ontology.kif 24552-24561
(=>
    (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 17441-17451
(=>
    (equal ?OBJ1
        (HoleSkinFn ?HOLE))
    (forall (?OBJ2)
        (<=>
            (overlapsSpatially ?OBJ2 ?OBJ1)
            (exists (?OBJ3)
                (and
                    (superficialPart ?OBJ3
                        (HoleHostFn ?HOLE))
                    (meetsSpatially ?HOLE ?OBJ3)
                    (overlapsSpatially ?OBJ2 ?OBJ3))))))
Merge.kif 9992-10001
(=>
    (instance ?COVER BodyCovering)
    (exists (?BODY)
        (and
            (superficialPart ?COVER ?BODY)
            (or
                (instance ?BODY Organism)
                (instance ?BODY BodyPart)))))
Merge.kif 14805-14812
(=>
    (instance ?REGION Region)
    (superficialPart
        (InnerBoundaryFn ?REGION) ?REGION))
Geography.kif 810-812
(=>
    (instance ?REGION Region)
    (superficialPart
        (OuterBoundaryFn ?REGION) ?REGION))
Geography.kif 822-824
(=>
    (interiorPart ?OBJ1 ?OBJ2)
    (forall (?PART)
        (=>
            (superficialPart ?PART ?OBJ2)
            (not
                (overlapsSpatially ?OBJ1 ?PART)))))
Merge.kif 9601-9607
(=>
    (surface ?OBJ1 ?OBJ2)
    (forall (?OBJ3)
        (=>
            (superficialPart ?OBJ3 ?OBJ2)
            (part ?OBJ3 ?OBJ1))))
Merge.kif 9587-9592


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