Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

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 30030-30060
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 15400-15407
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13516-13527
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 16905-16909
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 3447-3476
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 31387-31394
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 29730-29739
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 16379-16384
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 7528-7533
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 15431-15440
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 600-608
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 18421-18442
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 9671-9676
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 18401-18406
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 3389-3417
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 3531-3552
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 14624-14638
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 1688-1693
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 13798-13807
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 14789-14798
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 3482-3509
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 8243-8257
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 18896-18901
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 21089-21101
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21036-21043
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 13820-13829
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 15166-15187
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 16981-16986
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 14606-14613
No TPTP formula. May not be expressible in strict first order. Sports.kif 1040-1047
No TPTP formula. May not be expressible in strict first order. Merge.kif 13809-13818
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 24195-24206
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8293-8302
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 24236-24246
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7351-7365
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 15016-15024
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 13547-13558
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 18084-18092
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 21066-21080
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 1772-1786
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 12014-12026
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23260-23267
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 9561-9574
No TPTP formula. May not be expressible in strict first order. Military.kif 895-906 地缘政治区域fit 对于军服务男性 equal 符号串 所描述的类别 instance 的数量
No TPTP formula. May not be expressible in strict first order. Cars.kif 5109-5112 有存在 有点 客体 这样 有点 客体HandToolBoxsubclassmanufacturer 那个 有点 客体 and SortimoCorp


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners