| (subclass ObjectiveNorm NormativeAttribute) | Merge.kif 17380-17380 | 客観的規範 は 規範的属性 の subclass では %n |
| (subclass DeviceAttribute ObjectiveNorm) | Mid-level-ontology.kif 1827-1827 | DeviceAttribute は 客観的規範 の subclass では %n |
| (subclass ContestAttribute ObjectiveNorm) | Merge.kif 17385-17385 | コンテスト属性 は 客観的規範 の subclass では %n |
| (subclass AlethicAttribute ObjectiveNorm) | Merge.kif 17404-17404 | 真理属性 は 客観的規範 の subclass では %n |
| (subclass DeonticAttribute ObjectiveNorm) | Merge.kif 17467-17467 | 義務的な属性 は 客観的規範 の subclass では %n |
| (subclass ProbabilityAttribute ObjectiveNorm) | Merge.kif 17519-17519 | ProbabilityAttribute は 客観的規範 の subclass では %n |
|
|