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

Formal Language: 



KB Term:  Term intersection
English Word: 

  interiorPart

Sigma KEE - interiorPart
interiorPart

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


(documentation interiorPart ChineseLanguage "(interiorPart ?OBJ1 ?OBJ2)的意思是 ?OBJ1 是 ?OBJ2 的部分,而 ?OBJ1 和 ?OBJ2 的任何 superficialPart 之间并没有重叠的部分。") chinese_format.kif 2841-2842
(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 9597-9599
(instance interiorPart AsymmetricRelation) Merge.kif 9595-9595 interior part is an instance of asymmetric relation
(instance interiorPart TransitiveRelation) Merge.kif 9596-9596 interior part is an instance of transitive relation
(subrelation interiorPart part) Merge.kif 9594-9594 interior part is a subrelation of part

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


(format ChineseLanguage interiorPart "%1 %n 是 %2 的 interiorPart") chinese_format.kif 375-375
(format EnglishLanguage interiorPart "%1 is %n a interior part of %2") english_format.kif 376-376
(termFormat ChineseLanguage interiorPart "内在部分") chinese_format.kif 376-376
(termFormat ChineseLanguage interiorPart "内饰部分") domainEnglishFormat.kif 30438-30438
(termFormat ChineseTraditionalLanguage interiorPart "內飾部分") domainEnglishFormat.kif 30437-30437
(termFormat EnglishLanguage interiorPart "interior part") domainEnglishFormat.kif 30436-30436

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


(=>
    (and
        (instance ?B Bubble)
        (interiorPart ?P ?B))
    (attribute ?P Gas))
Mid-level-ontology.kif 4732-4736
(=>
    (interiorPart ?OBJ1 ?OBJ2)
    (forall (?PART)
        (=>
            (superficialPart ?PART ?OBJ2)
            (not
                (overlapsSpatially ?OBJ1 ?PART)))))
Merge.kif 9601-9607

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


(=>
    (instance ?INSIDE Inside)
    (exists (?OBJECT)
        (forall (?THING)
            (=>
                (located ?THING ?INSIDE)
                (exists (?PART)
                    (and
                        (interiorPart ?PART ?OBJECT)
                        (located ?THING ?PART)))))))
Mid-level-ontology.kif 8697-8706
(=>
    (instance ?MEMBRANE CellMembraneInternal)
    (exists (?CELL)
        (and
            (instance ?CELL Cell)
            (interiorPart ?MEMBRANE ?CELL))))
VirusProteinAndCellPart.kif 435-440
(=>
    (instance ?OBJ1 EukaryoticCell)
    (exists (?OBJ2)
        (and
            (interiorPart ?OBJ2 ?OBJ1)
            (instance ?OBJ2 CellNucleus))))
VirusProteinAndCellPart.kif 332-337
(=>
    (instance ?S Skeleton)
    (exists (?A)
        (and
            (instance ?A Animal)
            (interiorPart ?S ?A))))
Mid-level-ontology.kif 11143-11148
(=>
    (instance ?VIR VacciniaVirion)
    (exists (?ENV)
        (and
            (instance ?ENV VirusCoreEnvelope)
            (interiorPart ?ENV ?VIR))))
VirusProteinAndCellPart.kif 665-670
(=>
    (superficialPart ?OBJ1 ?OBJ2)
    (and
        (not
            (interiorPart ?OBJ1 ?OBJ2))
        (not
            (exists (?OBJ3)
                (interiorPart ?OBJ3 ?OBJ1)))))
Merge.kif 9567-9574


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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