|
| (domain maritimeHazard 2 Object) | Geography.kif 5892-5892 | maritimeHazard の数値 2 引数は オブジェクト の instance では %n |
| (domain mediumAltitudeWindSpeed 1 Object) | Weather.kif 239-239 | mediumAltitudeWindSpeed の数値 1 引数は オブジェクト の instance では %n |
| (domain mediumAltitudeWindVelocity 1 Object) | Weather.kif 228-228 | mediumAltitudeWindVelocity の数値 1 引数は オブジェクト の instance では %n |
| (domain meetsSpatially 1 Object) | Merge.kif 9590-9590 | meetsSpatially の数値 1 引数は オブジェクト の instance では %n |
| (domain meetsSpatially 2 Object) | Merge.kif 9591-9591 | meetsSpatially の数値 2 引数は オブジェクト の instance では %n |
| (domain moves 2 Object) | Merge.kif 11002-11002 | moves の数値 2 引数は オブジェクト の instance では %n |
| (domain objectGeographicCoordinates 1 Object) | Geography.kif 324-324 | objectGeographicCoordinates の数値 1 引数は オブジェクト の instance では %n |
| (domain objectTransferred 2 Object) | Merge.kif 11355-11355 | objectTransferred の数値 2 引数は オブジェクト の instance では %n |
| (domain observedAtTimeInPlace 1 Object) | Justice.kif 31-31 | observedAtTimeInPlace の数値 1 引数は オブジェクト の instance では %n |
| (domain observedAtTimeInPlace 4 Object) | Justice.kif 34-34 | observedAtTimeInPlace の数値 4 引数は オブジェクト の instance では %n |
| (domain older 1 Object) | Mid-level-ontology.kif 402-402 | older の数値 1 引数は オブジェクト の instance では %n |
| (domain older 2 Object) | Mid-level-ontology.kif 403-403 | older の数値 2 引数は オブジェクト の instance では %n |
| (domain operator 1 Object) | Mid-level-ontology.kif 22765-22765 | operator の数値 1 引数は オブジェクト の instance では %n |
| (domain orbits 1 Object) | Geography.kif 3373-3373 | orbits の数値 1 引数は オブジェクト の instance では %n |
| (domain orientation 1 Object) | Merge.kif 16934-16934 | orientation の数値 1 引数は オブジェクト の instance では %n |
| (domain orientation 2 Object) | Merge.kif 16935-16935 | orientation の数値 2 引数は オブジェクト の instance では %n |
| (domain origin 2 Object) | Merge.kif 2483-2483 | origin の数値 2 引数は オブジェクト の instance では %n |
| (domain overlapsPartially 1 Object) | Merge.kif 9643-9643 | overlapsPartially の数値 1 引数は オブジェクト の instance では %n |
| (domain overlapsPartially 2 Object) | Merge.kif 9644-9644 | overlapsPartially の数値 2 引数は オブジェクト の instance では %n |
| (domain part 1 Object) | Merge.kif 917-917 | part の数値 1 引数は オブジェクト の instance では %n |
| (domain part 2 Object) | Merge.kif 918-918 | part の数値 2 引数は オブジェクト の instance では %n |
| (domain partiallyFills 1 Object) | Merge.kif 9999-9999 | partiallyFills の数値 1 引数は オブジェクト の instance では %n |
| (domain partlyLocated 2 Object) | Merge.kif 4046-4046 | partlyLocated の数値 2 引数は オブジェクト の instance では %n |
| (domain path 2 Object) | Merge.kif 11098-11098 | path の数値 2 引数は オブジェクト の instance では %n |
| (domain phMeasure 1 Object) | Mid-level-ontology.kif 9864-9864 | phMeasure の数値 1 引数は オブジェクト の instance では %n |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
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