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

Formal Language: 



KB Term:  Term intersection
English Word: 

  VirusPart

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 588-589
(subclass VirusPart BodyPart) VirusProteinAndCellPart.kif 587-587 subclass VirusPart and BodyPart

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


(range ViralPartFn VirusPart) VirusProteinAndCellPart.kif 646-646 range ViralPartFn and VirusPart
(subclass Palisade VirusPart) VirusProteinAndCellPart.kif 610-610 subclass Palisade and VirusPart
(subclass ViralCore VirusPart) VirusProteinAndCellPart.kif 639-639 subclass ViralCore and VirusPart
(subclass VirusCoreEnvelope VirusPart) VirusProteinAndCellPart.kif 602-602 subclass VirusCoreEnvelope and VirusPart
(subclass VirusOuterMembrane VirusPart) VirusProteinAndCellPart.kif 606-606 subclass VirusOuterMembrane and VirusPart
(termFormat ChineseLanguage VirusPart "病毒部分") domainEnglishFormat.kif 61739-61739
(termFormat ChineseTraditionalLanguage VirusPart "病毒部分") domainEnglishFormat.kif 61738-61738
(termFormat EnglishLanguage VirusPart "virus part") domainEnglishFormat.kif 61737-61737

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


(domainSubclass ViralPartFn 2 VirusPart) VirusProteinAndCellPart.kif 645-645 domainSubclass ViralPartFn, 2 and VirusPart

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


(=>
    (instance ?OBJ1 VirusPart)
    (exists (?OBJ2)
        (and
            (properPart ?OBJ1 ?OBJ2)
            (instance ?OBJ2 Virus))))
VirusProteinAndCellPart.kif 625-630
(=>
    (instance ?PART VirusPart)
    (exists (?VIRUS)
        (and
            (instance ?VIRUS Virus)
            (part ?PART ?VIRUS))))
VirusProteinAndCellPart.kif 591-596

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


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


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