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 9833-9835
(documentation interiorPart JapaneseLanguage "(interiorPart ?OBJ1 ?OBJ2) とは、?OBJ1が ?OBJ2の部分であり、?OBJ1 と superficialPart ?OBJ2 の間に重複がないことを意味する。") japanese_format.kif 1585-1586
(domain interiorPart 1 Object) Merge.kif 9829-9829
(domain interiorPart 2 Object) Merge.kif 9830-9830
(instance interiorPart AsymmetricRelation) Merge.kif 9831-9831
(instance interiorPart TransitiveRelation) Merge.kif 9832-9832
(subrelation interiorPart part) Merge.kif 9828-9828

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
(format FrenchLanguage interiorPart "%1 est %n une partie interieur de %2") french_format.kif 216-216
(format ItalianLanguage interiorPart "%1 è %n una parte interiore di %2") relations-it.txt 152-152
(format JapaneseLanguage interiorPart "%1 は %2 の interior 部分では %n") japanese_format.kif 2022-2022
(format PortugueseLanguage interiorPart "%1 e' %n uma parte interior de %2") portuguese_format.kif 168-168
(format cz interiorPart "%1 %p{je} %n{nen�} a interior part of %2") relations-cz.txt 223-223
(format de interiorPart "%1 ist ein innenteil von %2 %n{nicht}") relations-de.txt 501-501
(format hi interiorPart "%1 %2 kaa aantarika bhaaga %n hai") relations-hindi.txt 191-191
(format ro interiorPart "%1 %n{nu} este o parte interior%t{interioarã} a lui %2") relations-ro.kif 236-236
(format sv interiorPart "%1 är %n{inte} en inre del av %2") relations-sv.txt 233-233
(format tg interiorPart "%1 %n ay saloob ng %2") relations-tg.txt 307-307
(termFormat ChineseLanguage interiorPart "内在部分") chinese_format.kif 376-376
(termFormat ChineseLanguage interiorPart "内饰部分") domainEnglishFormat.kif 30462-30462
(termFormat ChineseTraditionalLanguage interiorPart "內飾部分") domainEnglishFormat.kif 30461-30461
(termFormat EnglishLanguage interiorPart "interior part") domainEnglishFormat.kif 30460-30460
(termFormat de interiorPart "innenteil") terms-de.txt 156-156
(termFormat tg interiorPart "bahagi saloob") relations-tg.txt 308-308

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


(=>
    (and
        (instance ?B Bubble)
        (interiorPart ?P ?B))
    (attribute ?P Gas))		 Mid-level-ontology.kif 5947-5951
(=>
    (interiorPart ?OBJ1 ?OBJ2)
    (forall (?PART)
        (=>
            (superficialPart ?PART ?OBJ2)
            (not
                (overlapsSpatially ?OBJ1 ?PART)))))		 Merge.kif 9837-9843

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


(=>
    (instance ?INSIDE Inside)
    (exists (?OBJECT)
        (forall (?THING)
            (=>
                (located ?THING ?INSIDE)
                (exists (?PART)
                    (and
                        (interiorPart ?PART ?OBJECT)
                        (located ?THING ?PART)))))))		 Mid-level-ontology.kif 10300-10309
(=>
    (instance ?MEMBRANE CellMembraneInternal)
    (exists (?CELL)
        (and
            (instance ?CELL Cell)
            (interiorPart ?MEMBRANE ?CELL))))		 VirusProteinAndCellPart.kif 490-495
(=>
    (instance ?OBJ1 EukaryoticCell)
    (exists (?OBJ2)
        (and
            (interiorPart ?OBJ2 ?OBJ1)
            (instance ?OBJ2 CellNucleus))))		 VirusProteinAndCellPart.kif 388-393
(=>
    (instance ?S Skeleton)
    (exists (?A)
        (and
            (instance ?A Animal)
            (interiorPart ?S ?A))))		 Mid-level-ontology.kif 12993-12998
(=>
    (instance ?VIR VacciniaVirion)
    (exists (?ENV)
        (and
            (instance ?ENV VirusCoreEnvelope)
            (interiorPart ?ENV ?VIR))))		 VirusProteinAndCellPart.kif 1186-1191
(=>
    (superficialPart ?OBJ1 ?OBJ2)
    (and
        (not
            (interiorPart ?OBJ1 ?OBJ2))
        (not
            (exists (?OBJ3)
                (interiorPart ?OBJ3 ?OBJ1)))))		 Merge.kif 9801-9808


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