Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - interiorPart
interiorPart

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


(subrelation interiorPart part) Merge.kif 9917-9917 interior part is a subrelation of part
(domain interiorPart 1 Object) Merge.kif 9918-9918 The number 1 argument of interior part is an instance of object
(domain interiorPart 2 Object) Merge.kif 9919-9919 The number 2 argument of interior part is an instance of object
(instance interiorPart AsymmetricRelation) Merge.kif 9920-9920 interior part is an instance of asymmetric relation
(instance interiorPart TransitiveRelation) Merge.kif 9921-9921 interior part is an instance of transitive relation
(documentation interiorPart EnglishLanguage "(interiorPart ?OBJ1 ?OBJ2) means that ?OBJ1 is part ?OBJ2 and there is no overlap between ?OBJ1 and any superficialPart ?OBJ2.") Merge.kif 9922-9924 interior part is an instance of transitive relation

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


(termFormat EnglishLanguage interiorPart "interior part") domainEnglishFormat.kif 30453-30453
(termFormat ChineseTraditionalLanguage interiorPart "內飾部分") domainEnglishFormat.kif 30454-30454
(termFormat ChineseLanguage interiorPart "内饰部分") domainEnglishFormat.kif 30455-30455
(format EnglishLanguage interiorPart "%1 is %n a interior part of %2") english_format.kif 376-376

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


(=>
    (interiorPart ?OBJ1 ?OBJ2)
    (forall (?PART)
        (=>
            (superficialPart ?PART ?OBJ2)
            (not
                (overlapsSpatially ?OBJ1 ?PART)))))		 Merge.kif 9926-9932 If X is a interior part of Y, then For all Object Z: if Z is a superficial part of Y, then X and Z doesn't overlapsSpatially
(=>
    (and
        (instance ?B Bubble)
        (interiorPart ?P ?B))
    (attribute ?P Gas))		 Mid-level-ontology.kif 6105-6109 If X is an instance of bubble and Y is a interior part of X, then gas is an attribute of Y

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


(=>
    (superficialPart ?OBJ1 ?OBJ2)
    (and
        (not
            (interiorPart ?OBJ1 ?OBJ2))
        (not
            (exists (?OBJ3)
                (interiorPart ?OBJ3 ?OBJ1)))))		 Merge.kif 9890-9897 If X is a superficial part of Y, then X is not a interior part of Y and there doesn't exist Z such that Z is a interior part of X
(=>
    (orientation ?THING ?O Inside)
    (and
        (interiorPart ?PART ?O)
        (located ?THING ?PART)))		 Mid-level-ontology.kif 10472-10476 If X is inside the to Y, then Z is a interior part of Y and X is located at Z
(=>
    (instance ?OBJ1 EukaryoticCell)
    (exists (?OBJ2)
        (and
            (interiorPart ?OBJ2 ?OBJ1)
            (instance ?OBJ2 CellNucleus))))		 Mid-level-ontology.kif 12361-12366 If X is an instance of eukaryotic cell, then there exists Y such that Y is a interior part of X and Y is an instance of cell nucleus
(=>
    (instance ?S Skeleton)
    (exists (?A)
        (and
            (instance ?A Animal)
            (interiorPart ?S ?A))))		 Mid-level-ontology.kif 13162-13167 If X is an instance of skeleton, then there exists Y such that Y is an instance of animal and X is a interior part of Y
(=>
    (instance ?MEMBRANE CellMembraneInternal)
    (exists (?CELL)
        (and
            (instance ?CELL Cell)
            (interiorPart ?MEMBRANE ?CELL))))		 VirusProteinAndCellPart.kif 468-473 If X is an instance of internal cell membrane, then there exists Y such that Y is an instance of cell and X is a interior part of Y
(=>
    (instance ?VIR VacciniaVirion)
    (exists (?ENV)
        (and
            (instance ?ENV VirusCoreEnvelope)
            (interiorPart ?ENV ?VIR))))		 VirusProteinAndCellPart.kif 1164-1169 If X is an instance of vaccinia virion, then there exists Y such that Y is an instance of virus core envelope and Y is a interior part of X


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners