| BinaryRelation | |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1831-1832 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2229-2231 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 451-452 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2227-2227 | 子類 BinaryRelation and 可繼承的關係 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2226-2226 | 子類 BinaryRelation and Relation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2154-2155 | 不相交分解 Relation, BinaryRelation, TernaryRelation, QuaternaryRelation, QuintaryRelation and VariableArityRelation |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 251-251 | 例 催化劑 and BinaryRelation |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 726-726 | 例 deviceOS and BinaryRelation |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1127-1127 | 例 硬件類型 and BinaryRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18037-18037 | 例 physicalEnd and BinaryRelation |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4419-4419 | 例 recoveryKey and BinaryRelation |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3862-3862 | 例 softwareVersion and BinaryRelation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30693-30693 | 例 suffers and BinaryRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2286-2286 | 子類 AntisymmetricRelation and BinaryRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3474-3474 | 子類 BinaryPredicate and BinaryRelation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17828-17828 | 子類 經濟關係 and BinaryRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2343-2343 | 子類 IntransitiveRelation and BinaryRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2243-2243 | 子類 IrreflexiveRelation and BinaryRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2233-2233 | 子類 ReflexiveRelation and BinaryRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2254-2254 | 子類 SymmetricRelation and BinaryRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2327-2327 | 子類 TransitiveRelation and BinaryRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2304-2304 | 子類 TrichotomizingRelation and BinaryRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3354-3354 | 子類 UnaryFunction and BinaryRelation |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 892-892 | 子類 UnaryFunction and BinaryRelation |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 986-986 | 子類 UnaryFunction and BinaryRelation |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 568-568 | 子類 UnaryFunction and BinaryRelation |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 98-98 | 子類 UnaryFunction and BinaryRelation |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 101-101 | 子類 UnaryFunction and BinaryRelation |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2253-2253 | 子類 UnaryFunction and BinaryRelation |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3700-3700 | 域 等價關係, 1 and BinaryRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 111-111 | 域 逆, 1 and BinaryRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 112-112 | 域 逆, 2 and BinaryRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3637-3637 | 域 部分訂購在, 1 and BinaryRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3598-3598 | 域 反思在, 1 and BinaryRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3654-3654 | 域 總訂貨量, 1 and BinaryRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3676-3676 | 域 trichotomizing, 1 and BinaryRelation |
|
|
|