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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Louse

 Sigma KEE - Louse
Louse(lice)Anoplura, Mallophaga, Menopon, Menopon_gallinae, Menopon_palladum, Pediculidae, Pediculus, Pediculus_capitis, Pediculus_corporis, Pediculus_humanus, Phthiriidae, Phthirius, Phthirius_pubis, Phthirus, bird_louse, biting_louse, body_louse, chicken_louse, common_louse, cootie, crab, crab_louse, family_Pediculidae, family_Phthiriidae, genus_Menopon, genus_Pediculus, genus_Phthirius, genus_Phthirus, head_louse, louse, order_Anoplura, order_Mallophaga, pubic_louse, shaft_louse, sucking_louse

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1978-1983
No TPTP formula. May not be expressible in strict first order. WMD.kif 1977-1977 parasitic lice and bird
No TPTP formula. May not be expressible in strict first order. WMD.kif 1976-1976 parasitic lice and mammal
No TPTP formula. May not be expressible in strict first order. WMD.kif 1973-1973 Lice is a subclass of insect

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 1429-1429 Lice is a biological agent carrier of borrelia
No TPTP formula. May not be expressible in strict first order. WMD.kif 1975-1975
No TPTP formula. May not be expressible in strict first order. WMD.kif 1974-1974


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