|
| (domain successorClass 1 Class) | Merge.kif 9013-9013 | successorClass の数値 1 引数は クラス の instance では %n |
| (domain successorClass 2 Class) | Merge.kif 9014-9014 | successorClass の数値 2 引数は クラス の instance では %n |
| (domain total 1 Class) | UXExperimentalTerms.kif 4531-4531 | total の数値 1 引数は クラス の instance では %n |
| (domain totalFacilityTypeInArea 2 Class) | Transportation.kif 1214-1214 | totalFacilityTypeInArea の数値 2 引数は クラス の instance では %n |
| (domain totalOrderingOn 2 Class) | Merge.kif 3660-3660 | totalOrderingOn の数値 2 引数は クラス の instance では %n |
| (domain trichotomizingOn 2 Class) | Merge.kif 3682-3682 | trichotomizingOn の数値 2 引数は クラス の instance では %n |
| (domainSubclass rangeSubclass 2 Class) | Merge.kif 335-335 | rangeSubclass の数値 2 引数は クラス のsubclass では %n |
| (partition SetOrClass Set Class) | Merge.kif 2129-2129 | 同じセットまたはクラス は セット + クラス に exhaustively partitioned %n |
|
|
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