equal |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24496-24498 | 符号串 和 另一个 符号串 的 concatenation 是 第三 符号串 若且唯若 那个 第三 符号串 equal 那个 符号串 和 那个 另外 符号串 的 concatenation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24466-24468 | 符号串 是 非负整数 characters long 若且唯若 那个 非负整数 equal 那个 符号串 的 length |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5421-5425 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7596-7611 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31387-31394 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17948-17959 |
|
No TPTP formula. May not be expressible in strict first order. | emotion.kif 374-387 |
|
No TPTP formula. May not be expressible in strict first order. | emotion.kif 349-363 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29507-29519 | |
No TPTP formula. May not be expressible in strict first order. | Music.kif 426-436 | |
No TPTP formula. May not be expressible in strict first order. | Music.kif 444-449 | |
No TPTP formula. May not be expressible in strict first order. | Music.kif 457-470 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1977-1985 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2881-2897 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2917-2933 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2854-2870 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2008-2029 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2031-2052 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19443-19453 | |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1207-1224 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25748-25761 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1003-1014 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24236-24246 | |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 829-836 |
|
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 32-46 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |