(subclass Abstract Entity) | Merge.kif 1669-1669 | Astratto è una sottoclasse di Entit� |
(subclass ProcessTask Abstract) | QoSontology.kif 1942-1942 | ProcessTask è una sottoclasse di Astratto |
(subclass Quantity Abstract) | Merge.kif 1694-1694 | Quantit� è una sottoclasse di Astratto |
(subclass Attribute Abstract) | Merge.kif 1700-1700 | Attributo è una sottoclasse di Astratto |
(subclass SetOrClass Abstract) | Merge.kif 2128-2128 | InsiemeOClasse è una sottoclasse di Astratto |
(subclass Relation Abstract) | Merge.kif 2159-2159 | Relazione è una sottoclasse di Astratto |
(subclass List Abstract) | Merge.kif 2876-2876 | Lista è una sottoclasse di Astratto |
(subclass Proposition Abstract) | Merge.kif 3556-3556 | Proposizione è una sottoclasse di Astratto |