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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - interiorPart
interiorPart

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


(documentation interiorPart ChineseLanguage "(interiorPart ?OBJ1 ?OBJ2)的意思是 ?OBJ1 是 ?OBJ2 的部分,而 ?OBJ1 和 ?OBJ2 的任何 superficialPart 之间并没有重叠的部分。") Merge.kif 9711-9712
(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 9708-9710
(instance interiorPart AsymmetricRelation) Merge.kif 9706-9706
(instance interiorPart TransitiveRelation) Merge.kif 9707-9707
(subrelation interiorPart part) Merge.kif 9705-9705

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 226-226
(termFormat ChineseLanguage interiorPart "内在部分") chinese_format.kif 376-376
(termFormat EnglishLanguage interiorPart "interior part") domainEnglishFormat.kif 5492-5492

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


(=>
    (and
        (instance ?B Bubble)
        (interiorPart ?P ?B))
    (attribute ?P Gas))
Mid-level-ontology.kif 5312-5316
(=>
    (interiorPart ?OBJ1 ?OBJ2)
    (forall (?PART)
        (=>
            (superficialPart ?PART ?OBJ2)
            (not
                (overlapsSpatially ?OBJ1 ?PART)))))
Merge.kif 9714-9720

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


(=>
    (instance ?INSIDE Inside)
    (exists (?OBJECT)
        (forall (?THING)
            (=>
                (located ?THING ?INSIDE)
                (exists (?PART)
                    (and
                        (interiorPart ?PART ?OBJECT)
                        (located ?THING ?PART)))))))
Mid-level-ontology.kif 8816-8825
(=>
    (instance ?MEMBRANE CellMembraneInternal)
    (exists (?CELL)
        (and
            (instance ?CELL Cell)
            (interiorPart ?MEMBRANE ?CELL))))
VirusProteinAndCellPart.kif 363-368
(=>
    (instance ?OBJ1 EukaryoticCell)
    (exists (?OBJ2)
        (and
            (interiorPart ?OBJ2 ?OBJ1)
            (instance ?OBJ2 CellNucleus))))
VirusProteinAndCellPart.kif 329-334
(=>
    (instance ?S Skeleton)
    (exists (?A)
        (and
            (instance ?A Animal)
            (interiorPart ?S ?A))))
Mid-level-ontology.kif 9881-9886
(=>
    (instance ?VIR VacciniaVirion)
    (exists (?ENV)
        (and
            (instance ?ENV VirusCoreEnvelope)
            (interiorPart ?ENV ?VIR))))
VirusProteinAndCellPart.kif 593-598
(=>
    (superficialPart ?OBJ1 ?OBJ2)
    (and
        (not
            (interiorPart ?OBJ1 ?OBJ2))
        (not
            (exists (?OBJ3)
                (interiorPart ?OBJ3 ?OBJ1)))))
Merge.kif 9677-9684


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners