| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2159-2159 | 子類 Relation and Abstract |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2176-2176 | 子類 SingleValuedRelation and Relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2194-2194 | 子類 TotalValuedRelation and Relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2223-2223 | 子類 PartialValuedRelation and Relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2232-2232 | 子類 BinaryRelation and Relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2558-2558 | 子類 可繼承的關係 and Relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2564-2564 | 子類 ProbabilityRelation and Relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2656-2656 | 子類 SpatialRelation and Relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2663-2663 | 子類 TemporalRelation and Relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2671-2671 | 子類 有意圖的關係 and Relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2854-2854 | 子類 TernaryRelation and Relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2861-2861 | 子類 QuaternaryRelation and Relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2868-2868 | 子類 QuintaryRelation and Relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3339-3339 | 子類 Predicate and Relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3522-3522 | 子類 VariableArityRelation and Relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3533-3533 | 子類 RelationExtendedToQuantities and Relation |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 965-965 | 子類 基於PPP的經濟估值 and Relation |
|
|