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

Formal Language: 



Term 1: Term 2:

(subclass Relation Abstract) Merge.kif 2159-2159 Relation ist eine teilkategorie von Abstract
(subclass SingleValuedRelation Relation) Merge.kif 2176-2176 SingleValuedRelation ist eine teilkategorie von Relation
(subclass TotalValuedRelation Relation) Merge.kif 2194-2194 TotalValuedRelation ist eine teilkategorie von Relation
(subclass PartialValuedRelation Relation) Merge.kif 2223-2223 PartialValuedRelation ist eine teilkategorie von Relation
(subclass BinaryRelation Relation) Merge.kif 2232-2232 BinaryRelation ist eine teilkategorie von Relation
(subclass InheritableRelation Relation) Merge.kif 2558-2558 InheritableRelation ist eine teilkategorie von Relation
(subclass ProbabilityRelation Relation) Merge.kif 2564-2564 ProbabilityRelation ist eine teilkategorie von Relation
(subclass SpatialRelation Relation) Merge.kif 2656-2656 SpatialRelation ist eine teilkategorie von Relation
(subclass TemporalRelation Relation) Merge.kif 2663-2663 TemporalRelation ist eine teilkategorie von Relation
(subclass IntentionalRelation Relation) Merge.kif 2671-2671 IntentionalRelation ist eine teilkategorie von Relation
(subclass TernaryRelation Relation) Merge.kif 2854-2854 TernaryRelation ist eine teilkategorie von Relation
(subclass QuaternaryRelation Relation) Merge.kif 2861-2861 QuaternaryRelation ist eine teilkategorie von Relation
(subclass QuintaryRelation Relation) Merge.kif 2868-2868 QuintaryRelation ist eine teilkategorie von Relation
(subclass Predicate Relation) Merge.kif 3339-3339 Predicate ist eine teilkategorie von Relation
(subclass VariableArityRelation Relation) Merge.kif 3522-3522 VariableArityRelation ist eine teilkategorie von Relation
(subclass RelationExtendedToQuantities Relation) Merge.kif 3533-3533 RelationExtendedToQuantities ist eine teilkategorie von Relation
(subclass PPPBasedEconomicValuation Relation) Economy.kif 965-965 PPPBasedEconomicValuation ist eine teilkategorie von Relation


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