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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ViralCore
ViralCore(viral core)

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 568-569
(subclass ViralCore VirusPart) VirusProteinAndCellPart.kif 567-567 Viral core is a subclass of virus part

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


(termFormat ChineseLanguage ViralCore "病毒核心") domainEnglishFormat.kif 61587-61587
(termFormat ChineseTraditionalLanguage ViralCore "病毒核心") domainEnglishFormat.kif 61586-61586
(termFormat EnglishLanguage ViralCore "viral core") domainEnglishFormat.kif 61585-61585

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 600-611
(=>
    (instance ?OBJ1 VirusCoreEnvelope)
    (exists (?OBJ2)
        (and
            (surface ?OBJ1 ?OBJ2)
            (instance ?OBJ2 ViralCore))))		 VirusProteinAndCellPart.kif 620-625


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