inList |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1973-1975 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3109-3111 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 605-607 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3106-3106 | O argumento numero 1 de inList e' uma instancia de Entidade |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3107-3107 | O argumento numero 2 de inList e' uma instancia de Lista |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3104-3104 | inList e' uma instancia de Predicado Binario |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3105-3105 | inList e' uma instancia de Relacao Parcial |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 131-131 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 132-132 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 87-87 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 147-147 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1914-1914 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 39-39 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 103-103 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 157-157 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 186-186 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 106-106 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 86-86 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 298-298 | |
No TPTP formula. May not be expressible in strict first order. | Music.kif 332-332 | albumTrack e' uma sub-relacao de inList |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30193-30193 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 132-132 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30192-30192 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30191-30191 | |
No TPTP formula. May not be expressible in strict first order. | terms-de.txt 47-47 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 299-299 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3286-3290 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2005-2017 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1998-2003 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 503-507 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 497-501 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7582-7587 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1975-1980 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1966-1973 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2491-2498 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2483-2489 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1929-1933 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1716-1720 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1784-1788 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1750-1754 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1819-1823 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2677-2682 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1769-1775 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1860-1864 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16921-16929 |
|
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 694-710 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 771-781 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3113-3116 |
|
consequent |