Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(subclass Insect Arthropod) Merge.kif 14537-14537 Insect is a subclass of arthropod
(subclass Louse Insect) WMD.kif 1973-1973 Lice is a subclass of insect
(subclass AntInsect Insect) Mid-level-ontology.kif 12581-12581 Ant insect is a subclass of insect
(subclass Bee Insect) Mid-level-ontology.kif 12588-12588 Bee is a subclass of insect
(subclass Caterpillar Insect) Mid-level-ontology.kif 12595-12595 Caterpillar is a subclass of insect
(subclass FlyInsect Insect) Mid-level-ontology.kif 12626-12626 Fly insect is a subclass of insect
(subclass Grasshopper Insect) Mid-level-ontology.kif 12629-12629 Grasshopper is a subclass of insect
(subclass Moth Insect) Mid-level-ontology.kif 12633-12633 Moth is a subclass of insect
(subclass Mosquito Insect) Mid-level-ontology.kif 12636-12636 Mosquito is a subclass of insect
(subclass QueenInsect Insect) Mid-level-ontology.kif 12642-12642 Queen insect is a subclass of insect
(subclass WorkerInsect Insect) Mid-level-ontology.kif 12667-12667 Worker insect is a subclass of insect
(subclass Butterfly Insect) Food.kif 2400-2400 Butterfly is a subclass of insect


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