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

Formal Language: 



KB Term:  Term intersection
English Word: 

  VirusPart

 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 VirusPart est une sous-classe de partie du corps

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


No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1159-1159 Le domaine de ViralPartFn est une instance de VirusPart
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1123-1123 Palisade est une sous-classe de VirusPart
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1152-1152 ViralCore est une sous-classe de VirusPart
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1115-1115 VirusCoreEnvelope est une sous-classe de VirusPart
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1119-1119 VirusOuterMembrane est une sous-classe de VirusPart
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 Le nombre 2 argument de ViralPartFn est une sous-classe de VirusPart

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

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


No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1145-1150


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