between |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2119-2121 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4157-4160 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 772-774 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4153-4153 | O argumento numero 1 de between e' uma instancia de Objeto |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4154-4154 | O argumento numero 2 de between e' uma instancia de Objeto |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4155-4155 | O argumento numero 3 de between e' uma instancia de Objeto |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4151-4151 | between e' uma instancia de Relacao Espacial |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4152-4152 | between e' uma instancia de Predicado Ternario |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 65-65 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 65-65 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 58-58 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 37-37 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1881-1881 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 10-10 | |
No TPTP formula. May not be expressible in strict first order. | relations-cb.txt 71-71 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 131-131 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 71-71 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 55-55 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 77-77 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 57-57 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 90-90 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 66-66 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 10900-10900 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 10899-10899 | |
No TPTP formula. May not be expressible in strict first order. | terms-de.txt 18-18 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 91-91 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1410-1429 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1388-1406 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4162-4164 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9578-9580 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17075-17080 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5823-5837 |
|
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 224-237 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 895-917 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 853-875 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1206-1212 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11116-11126 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15212-15233 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15179-15191 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15167-15177 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15151-15160 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4162-4164 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4179-4181 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9574-9576 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 799-810 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9108-9114 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15649-15664 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3221-3231 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 1584-1597 |
|
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 233-233 | SaintHelena esta' entre SouthAmerica e WesternAfrica |