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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - VirusPart
VirusPart

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


(documentation VirusPart EnglishLanguage "The class of structures which are typically found or may be found in viruses.") VirusProteinAndCellPart.kif 516-517
(subclass VirusPart BodyPart) VirusProteinAndCellPart.kif 515-515 VirusPart体の部分subclass では %n

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


(range ViralPartFn VirusPart) VirusProteinAndCellPart.kif 574-574 ViralPartFnrangeVirusPart のインスタンス では %n
(subclass Palisade VirusPart) VirusProteinAndCellPart.kif 538-538 PalisadeVirusPartsubclass では %n
(subclass ViralCore VirusPart) VirusProteinAndCellPart.kif 567-567 ViralCoreVirusPartsubclass では %n
(subclass VirusCoreEnvelope VirusPart) VirusProteinAndCellPart.kif 530-530 VirusCoreEnvelopeVirusPartsubclass では %n
(subclass VirusOuterMembrane VirusPart) VirusProteinAndCellPart.kif 534-534 VirusOuterMembraneVirusPartsubclass では %n
(termFormat ChineseLanguage VirusPart "病毒部分") domainEnglishFormat.kif 61717-61717 termFormat ChineseLanguage, VirusPart and "病毒部分"
(termFormat ChineseTraditionalLanguage VirusPart "病毒部分") domainEnglishFormat.kif 61716-61716 termFormat ChineseTraditionalLanguage, VirusPart and "病毒部分"
(termFormat EnglishLanguage VirusPart "virus part") domainEnglishFormat.kif 61715-61715 termFormat EnglishLanguage, VirusPart and "virus part"

appearance as argument number 3
-------------------------


(domainSubclass ViralPartFn 2 VirusPart) VirusProteinAndCellPart.kif 573-573 ViralPartFn の数値 2 引数は VirusPartsubclass では %n

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


(=>
    (instance ?OBJ1 VirusPart)
    (exists (?OBJ2)
        (and
            (properPart ?OBJ1 ?OBJ2)
            (instance ?OBJ2 Virus))))
VirusProteinAndCellPart.kif 553-558
(=>
    (instance ?PART VirusPart)
    (exists (?VIRUS)
        (and
            (instance ?VIRUS Virus)
            (part ?PART ?VIRUS))))
VirusProteinAndCellPart.kif 519-524

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


(=>
    (instance ?OBJ1 Virus)
    (exists (?OBJ2)
        (and
            (properPart ?OBJ2 ?OBJ1)
            (instance ?OBJ2 VirusPart))))
VirusProteinAndCellPart.kif 560-565


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