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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ViralPartFn

 Sigma KEE - ViralPartFn
ViralPartFn

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


No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1159-1160
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1156-1156 Le nombre 1 argument de ViralPartFn est une instance de virus
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1157-1157 Le nombre 2 argument de ViralPartFn est une sous-classe de VirusPart
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1155-1155 ViralPartFn est une instance de fonction binaire
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1158-1158 Le domaine de ViralPartFn est une instance de VirusPart

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2599-2599
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2598-2598
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2597-2597
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61718-61718
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61717-61717
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61716-61716

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1164-1164 ViralPartFn virus and VirusPart est une instance de VirusPart
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1162-1162 ViralPartFn virus and VirusPart est une partie de virus


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