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 1101-1102
(subclass VirusPart BodyPart) VirusProteinAndCellPart.kif 1100-1100

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


(range ViralPartFn VirusPart) VirusProteinAndCellPart.kif 1159-1159
(subclass Palisade VirusPart) VirusProteinAndCellPart.kif 1123-1123
(subclass ViralCore VirusPart) VirusProteinAndCellPart.kif 1152-1152
(subclass VirusCoreEnvelope VirusPart) VirusProteinAndCellPart.kif 1115-1115
(subclass VirusOuterMembrane VirusPart) VirusProteinAndCellPart.kif 1119-1119
(termFormat ChineseLanguage VirusPart "病毒部分") domainEnglishFormat.kif 61772-61772
(termFormat ChineseTraditionalLanguage VirusPart "病毒部分") domainEnglishFormat.kif 61771-61771
(termFormat EnglishLanguage VirusPart "virus part") domainEnglishFormat.kif 61770-61770

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


(domainSubclass ViralPartFn 2 VirusPart) VirusProteinAndCellPart.kif 1158-1158

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


(=>
    (instance ?OBJ1 VirusPart)
    (exists (?OBJ2)
        (and
            (properPart ?OBJ1 ?OBJ2)
            (instance ?OBJ2 Virus))))
VirusProteinAndCellPart.kif 1138-1143
(=>
    (instance ?PART VirusPart)
    (exists (?VIRUS)
        (and
            (instance ?VIRUS Virus)
            (part ?PART ?VIRUS))))
VirusProteinAndCellPart.kif 1104-1109

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


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


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