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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RickettsialAgent

 Sigma KEE - RickettsialAgent
RickettsialAgent(rickettsial agent)
Rickettsiaceae, Rickettsiales, family_Rickettsiaceae, genus_Rickettsia, order_Rickettsiales, rickettsia

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 248-248 Arthropod is a biological agent carrier of rickettsial agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 247-247 Mammal is a biological agent carrier of rickettsial agent
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 Rickettsial agent is a subclass of bacterial agent

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1248-1248 Coxiella burnetii is a subclass of rickettsial agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 266-266 Rickettsia prowazekii is a subclass of rickettsial agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 252-252 Rickettsia rickettsii is a subclass of rickettsial agent
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49964-49964
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49963-49963
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49962-49962


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