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

appearance as argument number 2

(range ViralPartFn VirusPart)	VirusProteinAndCellPart.kif 1159-1159	bildbereich von ViralPartFn ist ein fall von VirusPart {nicht}
(subclass Palisade VirusPart)	VirusProteinAndCellPart.kif 1123-1123	Palisade ist eine teilkategorie von VirusPart
(subclass ViralCore VirusPart)	VirusProteinAndCellPart.kif 1152-1152	ViralCore ist eine teilkategorie von VirusPart
(subclass VirusCoreEnvelope VirusPart)	VirusProteinAndCellPart.kif 1115-1115	VirusCoreEnvelope ist eine teilkategorie von VirusPart
(subclass VirusOuterMembrane VirusPart)	VirusProteinAndCellPart.kif 1119-1119	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 1158-1158

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 1138-1143	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 1104-1109	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 1145-1150

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}