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 2671-2671 |
子類 有意圖的關係 and Relation |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 965-965 |
子類 基於PPP的經濟估值 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 3339-3339 |
子類 Predicate 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 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 3533-3533 |
子類 RelationExtendedToQuantities and Relation |
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 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 2854-2854 |
子類 TernaryRelation 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 3522-3522 |
子類 VariableArityRelation and Relation |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 888-888 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 978-978 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 564-564 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 94-94 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 97-97 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2249-2249 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 516-516 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 99-99 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |