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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ViralCore

Sigma KEE - ViralCore
ViralCore

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


(documentation ViralCore EnglishLanguage "The class of viral cores. The ViralCore of a virus is the virus less its envelope.") VirusProteinAndCellPart.kif 1153-1154
(subclass ViralCore VirusPart) VirusProteinAndCellPart.kif 1152-1152

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


(termFormat ChineseLanguage ViralCore "病毒核心") domainEnglishFormat.kif 61700-61700
(termFormat ChineseTraditionalLanguage ViralCore "病毒核心") domainEnglishFormat.kif 61699-61699
(termFormat EnglishLanguage ViralCore "viral core") domainEnglishFormat.kif 61698-61698

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


(=>
    (instance ?OBJ1 EnvelopedVirus)
    (exists (?OBJ2)
        (and
            (properPart ?OBJ2 ?OBJ1)
            (instance ?OBJ2 ViralCore)
            (not
                (exists (?OBJ3)
                    (and
                        (instance ?OBJ3 ViralCore)
                        (properPart ?OBJ3 ?OBJ1)
                        (not
                            (equal ?OBJ3 ?OBJ2))))))))
VirusProteinAndCellPart.kif 1185-1196
(=>
    (instance ?OBJ1 VirusCoreEnvelope)
    (exists (?OBJ2)
        (and
            (surface ?OBJ1 ?OBJ2)
            (instance ?OBJ2 ViralCore))))
VirusProteinAndCellPart.kif 1205-1210


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