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

Formal Language: 



Term 1: Term 2:

(=>
    (secretesToxin ?FROG Batrachotoxin)
    (subclass ?FROG Amphibian))		 WMD.kif 313-315
(subclass Amphibian ColdBloodedVertebrate) Merge.kif 14556-14556 Amphibian ist eine teilkategorie von ColdBloodedVertebrate
(subclass Toad Amphibian) Mid-level-ontology.kif 12493-12493 Toad ist eine teilkategorie von Amphibian


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