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

Formal Language: 



Term 1: Term 2:

(=>
    (and
        (subclass ?CLASS PlantLeaf)
        (equal ?CLASS LeafyGreenVegetable))
    (initialPart ?CLASS Plant))		 Economy.kif 4214-4218
(subclass LeafyGreenVegetable Vegetable) Economy.kif 4210-4210 LeafyGreenVegetable est une sous-classe de Vegetable
(subclass Arugula LeafyGreenVegetable) Food.kif 2121-2121 Arugula est une sous-classe de LeafyGreenVegetable
(subclass Endive LeafyGreenVegetable) Food.kif 2564-2564 Endive est une sous-classe de LeafyGreenVegetable
(subclass Lettuce LeafyGreenVegetable) Food.kif 2619-2619 Lettuce est une sous-classe de LeafyGreenVegetable
(subclass Radicchio LeafyGreenVegetable) Food.kif 3321-3321 Radicchio est une sous-classe de LeafyGreenVegetable
(subclass RomaineLettuce LeafyGreenVegetable) Food.kif 3334-3334 RomaineLettuce est une sous-classe de LeafyGreenVegetable
(subclass Spinach LeafyGreenVegetable) Food.kif 3474-3474 Spinach est une sous-classe de LeafyGreenVegetable


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