| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17402-17402 | 子類 ObjectiveNorm and NormativeAttribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1827-1827 | 子類 設備屬性 and ObjectiveNorm |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17407-17407 | 子類 ContestAttribute and ObjectiveNorm |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17426-17426 | 子類 AlethicAttribute and ObjectiveNorm |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17489-17489 | 子類 DeonticAttribute and ObjectiveNorm |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17541-17541 | 子類 概率屬性 and ObjectiveNorm |
|
|