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

Formal Language: 



Term 1: Term 2:

(subclass Insect Arthropod) Merge.kif 14537-14537 Insecte est une sous-classe de arthropode
(subclass Louse Insect) WMD.kif 1973-1973 Louse est une sous-classe de insecte
(subclass AntInsect Insect) Mid-level-ontology.kif 12581-12581 AntInsect est une sous-classe de insecte
(subclass Bee Insect) Mid-level-ontology.kif 12588-12588 Bee est une sous-classe de insecte
(subclass Caterpillar Insect) Mid-level-ontology.kif 12595-12595 Caterpillar est une sous-classe de insecte
(subclass FlyInsect Insect) Mid-level-ontology.kif 12626-12626 FlyInsect est une sous-classe de insecte
(subclass Grasshopper Insect) Mid-level-ontology.kif 12629-12629 Grasshopper est une sous-classe de insecte
(subclass Moth Insect) Mid-level-ontology.kif 12633-12633 Moth est une sous-classe de insecte
(subclass Mosquito Insect) Mid-level-ontology.kif 12636-12636 Mosquito est une sous-classe de insecte
(subclass QueenInsect Insect) Mid-level-ontology.kif 12642-12642 QueenInsect est une sous-classe de insecte
(subclass WorkerInsect Insect) Mid-level-ontology.kif 12667-12667 WorkerInsect est une sous-classe de insecte
(subclass Butterfly Insect) Food.kif 2400-2400 Butterfly est une sous-classe de insecte


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