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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Tick

 Sigma KEE - Tick
Tick(tick)Ixodidae, argasid, family_Ixodidae, hard_tick, ixodid, soft_tick, tick

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1989-1998
No TPTP formula. May not be expressible in strict first order. WMD.kif 1988-1988 parasitic tick and bird
No TPTP formula. May not be expressible in strict first order. WMD.kif 1987-1987 parasitic tick and mammal
No TPTP formula. May not be expressible in strict first order. WMD.kif 1985-1985 Tick is a subclass of arachnid

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 1428-1428 Tick is a biological agent carrier of borrelia
No TPTP formula. May not be expressible in strict first order. WMD.kif 2024-2024 Tick is a biological agent carrier of tick borne encephalitis virus
No TPTP formula. May not be expressible in strict first order. WMD.kif 1986-1986


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