TreeView Knowledge Base Browser

appearance as argument number 1

(documentation VirusPart EnglishLanguage "The class of structures which are typically found or may be found in viruses.")	VirusProteinAndCellPart.kif 1100-1101
(subclass VirusPart BodyPart)	VirusProteinAndCellPart.kif 1099-1099	VirusPart ist eine teilkategorie von BodyPart

appearance as argument number 2

(range ViralPartFn VirusPart)	VirusProteinAndCellPart.kif 1158-1158	bildbereich von ViralPartFn ist ein fall von VirusPart {nicht}
(subclass Palisade VirusPart)	VirusProteinAndCellPart.kif 1122-1122	Palisade ist eine teilkategorie von VirusPart
(subclass ViralCore VirusPart)	VirusProteinAndCellPart.kif 1151-1151	ViralCore ist eine teilkategorie von VirusPart
(subclass VirusCoreEnvelope VirusPart)	VirusProteinAndCellPart.kif 1114-1114	VirusCoreEnvelope ist eine teilkategorie von VirusPart
(subclass VirusOuterMembrane VirusPart)	VirusProteinAndCellPart.kif 1118-1118	VirusOuterMembrane ist eine teilkategorie von VirusPart
(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 1157-1157

Die Zahl 2 Argument von ViralPartFn ist eine teilkategorie von VirusPart %n{nicht}

antecedent

(=> (instance ?OBJ1 VirusPart) (exists (?OBJ2) (and (properPart ?OBJ1 ?OBJ2) (instance ?OBJ2 Virus))))	VirusProteinAndCellPart.kif 1137-1142	Wenn Object ist ein fall von VirusPart %n{nicht}, dann es gibt Object um Object ist ein korrektes teil von Object %n{nicht} und Object ist ein fall von Virus %n{nicht}
(=> (instance ?PART VirusPart) (exists (?VIRUS) (and (instance ?VIRUS Virus) (part ?PART ?VIRUS))))	VirusProteinAndCellPart.kif 1103-1108	Wenn Object ist ein fall von VirusPart %n{nicht}, dann es gibt Object um Object ist ein fall von Virus %n{nicht} und Object ist ein teil von Object %n{nicht}

consequent

(=>
    (instance ?OBJ1 Virus)
    (exists (?OBJ2)
        (and
            (properPart ?OBJ2 ?OBJ1)
            (instance ?OBJ2 VirusPart))))

VirusProteinAndCellPart.kif 1144-1149

Wenn Object ist ein fall von Virus %n{nicht},
dann es gibt ** Object um ** ** Object ist ein korrektes teil von ** Object %n{nicht} und ** ** Object ist ein fall von VirusPart %n{nicht}