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

Formal Language: 



Term 1: Term 2:

(=>
    (and
        (instance ?SKI SnowSki)
        (material ?MAT ?SKI))
    (or
        (subclass ?MAT Metal)
        (subclass ?MAT Wood)
        (subclass ?MAT Plastic)))
Sports.kif 1041-1048
(subclass Plastic Hydrocarbon) Mid-level-ontology.kif 9194-9194 Plastic ist eine teilkategorie von Hydrocarbon
(subclass SyntheticWicker Plastic) Mid-level-ontology.kif 4601-4601 SyntheticWicker ist eine teilkategorie von Plastic
(subclass Polypropylene Plastic) Mid-level-ontology.kif 9201-9201 Polypropylene ist eine teilkategorie von Plastic
(subclass Polystyrene Plastic) Mid-level-ontology.kif 9208-9208 Polystyrene ist eine teilkategorie von Plastic


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