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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - VirusPart
VirusPart(病毒部分)

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


No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1101-1102
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1100-1100 子類 病毒部分 and BodyPart

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


No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1159-1159 範圍 病毒部分 and 病毒部分
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1123-1123 子類 柵欄 and 病毒部分
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1152-1152 子類 病毒核心 and 病毒部分
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1115-1115 子類 病毒核心信封 and 病毒部分
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1119-1119 子類 病毒外膜 and 病毒部分
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61772-61772
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61771-61771
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61770-61770

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


No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1158-1158 域子類 病毒部分, 2 and 病毒部分

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


No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1138-1143
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1104-1109