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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RickettsialAgent

Sigma KEE - RickettsialAgent
RickettsialAgent

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 248-248 biologicalAgentCarrier RickettsialAgent and Artropode
No TPTP formula. May not be expressible in strict first order. WMD.kif 247-247 biologicalAgentCarrier RickettsialAgent and Mamifero
No TPTP formula. May not be expressible in strict first order. WMD.kif 249-250
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4807-4807
No TPTP formula. May not be expressible in strict first order. WMD.kif 246-246 RickettsialAgent e' uma sub-classe de BacterialAgent

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1248-1248 CoxiellaBurnetii e' uma sub-classe de RickettsialAgent
No TPTP formula. May not be expressible in strict first order. WMD.kif 266-266 RickettsiaProwazekii e' uma sub-classe de RickettsialAgent
No TPTP formula. May not be expressible in strict first order. WMD.kif 252-252 RickettsiaRickettsii e' uma sub-classe de RickettsialAgent
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49966-49966
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49965-49965
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49964-49964


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