Sigma KEE - Class

(domain successorClass 1 Class)	Merge.kif 9013-9013	Die Zahl 1 Argument von successorClass ist ein fall von Class %n{nicht}
(domain successorClass 2 Class)	Merge.kif 9014-9014	Die Zahl 2 Argument von successorClass ist ein fall von Class %n{nicht}
(domain total 1 Class)	UXExperimentalTerms.kif 4531-4531	Die Zahl 1 Argument von total ist ein fall von Class %n{nicht}
(domain totalFacilityTypeInArea 2 Class)	Transportation.kif 1214-1214	Die Zahl 2 Argument von totalFacilityTypeInArea ist ein fall von Class %n{nicht}
(domain totalOrderingOn 2 Class)	Merge.kif 3660-3660	Die Zahl 2 Argument von gesamteinrichtung ist ein fall von Class %n{nicht}
(domain trichotomizingOn 2 Class)	Merge.kif 3682-3682	Die Zahl 2 Argument von trichotomizierungAuf ist ein fall von Class %n{nicht}
(domainSubclass rangeSubclass 2 Class)	Merge.kif 335-335	Die Zahl 2 Argument von rangeSubclass ist eine teilkategorie von Class %n{nicht}
(partition SetOrClass Set Class)	Merge.kif 2129-2129	SetOrClass wird vollstaendig in Set und Class verteilt