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