Class(classe) |
(domain successorClass 1 Class) | Merge.kif 9013-9013 | Le nombre 1 argument de successorClass est une instance de classe |
(domain successorClass 2 Class) | Merge.kif 9014-9014 | Le nombre 2 argument de successorClass est une instance de classe |
(domain total 1 Class) | UXExperimentalTerms.kif 4531-4531 | Le nombre 1 argument de total est une instance de classe |
(domain totalFacilityTypeInArea 2 Class) | Transportation.kif 1214-1214 | Le nombre 2 argument de totalFacilityTypeInArea est une instance de classe |
(domain totalOrderingOn 2 Class) | Merge.kif 3660-3660 | Le nombre 2 argument de totalOrderingOn est une instance de classe |
(domain trichotomizingOn 2 Class) | Merge.kif 3682-3682 | Le nombre 2 argument de trichotomizingOn est une instance de classe |
(domainSubclass rangeSubclass 2 Class) | Merge.kif 335-335 | Le nombre 2 argument de rangeSubclass est une sous-classe de classe |
(partition SetOrClass Set Class) | Merge.kif 2129-2129 | Ensemble ou classe est compl�tement d�compos� en ensemble + classe |