No TPTP formula. May not be expressible in strict first order. | Economy.kif 3840-3845 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30018-30048 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4945-4950 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 129-137 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1053-1058 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2288-2295 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15422-15429 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13515-13526 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4715-4721 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16904-16908 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1627-1631 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3455-3484 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2032-2042 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3904-3909 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1263-1267 |
|
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 98-107 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4025-4038 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 30-34 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5258-5265 |
|
No TPTP formula. May not be expressible in strict first order. | engineering.kif 826-831 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 364-378 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 324-330 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5316-5321 | |
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. | Economy.kif 5431-5436 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3934-3939 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5326-5333 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 244-250 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5368-5373 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 93-97 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29718-29727 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5051-5056 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2692-2701 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2019-2024 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1231-1239 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2617-2622 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 983-987 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5348-5353 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2630-2643 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2112-2121 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 940-949 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5398-5403 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 294-313 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4265-4269 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16401-16406 | |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 957-961 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2331-2338 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1572-1580 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6201-6209 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7527-7532 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5338-5343 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15453-15462 |
|
No TPTP formula. May not be expressible in strict first order. | WMD.kif 2029-2034 | |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 189-201 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 3377-3383 |
|
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 599-607 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6393-6404 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5267-5276 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2174-2184 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18420-18441 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1667-1671 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 351-357 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9670-9675 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4214-4218 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 281-292 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18400-18405 |
|
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 337-352 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4732-4740 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2324-2329 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1692-1698 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 1912-1916 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3397-3425 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4223-4227 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3539-3560 |
|
No TPTP formula. May not be expressible in strict first order. | WMD.kif 976-980 |
|
No TPTP formula. May not be expressible in strict first order. | WMD.kif 789-793 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14623-14637 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 998-1003 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1186-1201 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 1633-1639 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2583-2592 |
|
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 354-370 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 137-141 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6425-6434 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 62-66 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4532-4543 |
|
No TPTP formula. May not be expressible in strict first order. | Dining.kif 208-212 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2277-2286 |
|
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1044-1059 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1694-1699 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5032-5036 |
|
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 88-93 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13820-13829 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2287-2292 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 200-205 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 98-104 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2906-2914 |
|
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1322-1326 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4481-4492 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14788-14797 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4277-4281 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4239-4243 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6191-6199 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5451-5456 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3490-3517 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5388-5393 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8242-8256 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5306-5311 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1980-1989 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5284-5291 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18895-18900 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3993-3998 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4825-4829 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4467-4480 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 698-715 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21088-21100 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21035-21042 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1906-1910 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4365-4372 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 989-996 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3910-3916 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3963-3968 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2610-2615 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13842-13851 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 619-625 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2202-2211 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 504-520 |
|
No TPTP formula. May not be expressible in strict first order. | WMD.kif 963-967 | |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 730-740 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5461-5466 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1780-1788 | |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 219-223 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3984-4004 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 339-343 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15188-15209 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3948-3953 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5296-5301 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3005-3010 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2280-2290 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 396-417 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 195-200 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 221-227 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5421-5426 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1894-1898 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2213-2220 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16980-16985 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4166-4172 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5441-5446 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3738-3742 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6931-6936 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 2876-2882 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4629-4634 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14605-14612 |
|
No TPTP formula. May not be expressible in strict first order. | Sports.kif 1041-1048 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13831-13840 |
|
No TPTP formula. May not be expressible in strict first order. | Dining.kif 229-233 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5378-5383 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2123-2130 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2594-2601 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5409-5416 |
|
No TPTP formula. May not be expressible in strict first order. | Dining.kif 178-182 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5358-5363 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 35-43 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 811-832 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3392-3396 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1496-1518 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24194-24205 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8292-8301 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5235-5244 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 419-438 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1991-1998 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 48-56 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2271-2278 |
|
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 372-387 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 1888-1892 |
|
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. | Mid-level-ontology.kif 7350-7364 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 1900-1904 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2193-2203 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5041-5046 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15015-15023 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1909-1915 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3872-3877 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 299-306 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13546-13557 |
|
No TPTP formula. May not be expressible in strict first order. | engineering.kif 855-860 |
|
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 139-150 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 317-332 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18083-18091 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1478-1491 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21065-21079 |
|
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 64-76 |
|
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 51-62 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 346-361 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1683-1688 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3600-3605 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 522-538 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1778-1792 |
|
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 130-137 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 160-167 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4839-4843 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 1928-1937 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2167-2174 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4614-4619 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2156-2165 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 143-147 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12036-12048 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23259-23266 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4693-4699 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5485-5493 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9560-9573 |
|
No TPTP formula. May not be expressible in strict first order. | Military.kif 895-906 | FitForMilitaryServiceMaleFn Area Geopolitica e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 5117-5120 | Objeto Objeto e' uma sub-classe de HandToolBox manufacturer Objeto and SortimoCorp |