No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24495-24497 |
stringConcatenation Sequencia Simbolica, Sequencia Simbolica and Sequencia Simbolica Sequencia Simbolica e' igual a StringConcatenateFn Sequencia Simbolica and Sequencia Simbolica |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24465-24467 |
stringLength Numero Inteiro nao-negativo and Sequencia Simbolica Numero Inteiro nao-negativo e' igual a StringLengthFn Sequencia Simbolica |
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 31383-31390 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17947-17958 |
|
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 29495-29507 |
|
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 19442-19452 |
|
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 25736-25749 |
|
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 24235-24245 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 828-835 |
|
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 |