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. Catalog.kif 136-145
No TPTP formula. May not be expressible in strict first order. Economy.kif 4051-4054
No TPTP formula. May not be expressible in strict first order. Merge.kif 2878-2883
No TPTP formula. May not be expressible in strict first order. WMD.kif 950-954
No TPTP formula. May not be expressible in strict first order. WMD.kif 2019-2024
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. Dining.kif 204-208
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7332-7338
No TPTP formula. May not be expressible in strict first order. Hotel.kif 374-396
No TPTP formula. May not be expressible in strict first order. Geography.kif 6088-6096
No TPTP formula. May not be expressible in strict first order. WMD.kif 1279-1281
No TPTP formula. May not be expressible in strict first order. Economy.kif 4093-4096
No TPTP formula. May not be expressible in strict first order. Cars.kif 1674-1681
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3552-3557
No TPTP formula. May not be expressible in strict first order. WMD.kif 1384-1387
No TPTP formula. May not be expressible in strict first order. Economy.kif 2288-2297
No TPTP formula. May not be expressible in strict first order. Economy.kif 2134-2141
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16344-16348
No TPTP formula. May not be expressible in strict first order. Merge.kif 14895-14911
No TPTP formula. May not be expressible in strict first order. Hotel.kif 276-287
No TPTP formula. May not be expressible in strict first order. Food.kif 237-243
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1703-1725
No TPTP formula. May not be expressible in strict first order. Economy.kif 3995-3998
No TPTP formula. May not be expressible in strict first order. Economy.kif 1638-1642
No TPTP formula. May not be expressible in strict first order. Dining.kif 997-1012
No TPTP formula. May not be expressible in strict first order. Media.kif 1849-1853
No TPTP formula. May not be expressible in strict first order. Economy.kif 4100-4103
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. Food.kif 804-810
No TPTP formula. May not be expressible in strict first order. Geography.kif 2283-2293
No TPTP formula. May not be expressible in strict first order. Catalog.kif 36-41
No TPTP formula. May not be expressible in strict first order. Economy.kif 2604-2611
No TPTP formula. May not be expressible in strict first order. Government.kif 2328-2335
No TPTP formula. May not be expressible in strict first order. Merge.kif 15437-15439
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17793-17814
No TPTP formula. May not be expressible in strict first order. Economy.kif 2123-2132
No TPTP formula. May not be expressible in strict first order. Merge.kif 242-248
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7846-7860
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 219-225
No TPTP formula. May not be expressible in strict first order. Cars.kif 3533-3555
No TPTP formula. May not be expressible in strict first order. Merge.kif 3829-3835
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. Media.kif 1892-1896
No TPTP formula. May not be expressible in strict first order. Economy.kif 3880-3883
No TPTP formula. May not be expressible in strict first order. Economy.kif 3918-3921
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26058-26061
No TPTP formula. May not be expressible in strict first order. Catalog.kif 332-347
No TPTP formula. May not be expressible in strict first order. WMD.kif 969-973
No TPTP formula. May not be expressible in strict first order. Catalog.kif 367-382
No TPTP formula. May not be expressible in strict first order. Merge.kif 1005-1010
No TPTP formula. May not be expressible in strict first order. Merge.kif 158-165
No TPTP formula. May not be expressible in strict first order. Economy.kif 3873-3876
No TPTP formula. May not be expressible in strict first order. Media.kif 1886-1890
No TPTP formula. May not be expressible in strict first order. Economy.kif 3951-3954
No TPTP formula. May not be expressible in strict first order. Geography.kif 1269-1273
No TPTP formula. May not be expressible in strict first order. Economy.kif 3845-3848
No TPTP formula. May not be expressible in strict first order. WMD.kif 956-960
No TPTP formula. May not be expressible in strict first order. Economy.kif 4110-4113
No TPTP formula. May not be expressible in strict first order. Catalog.kif 97-106
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13013-13024
No TPTP formula. May not be expressible in strict first order. WMD.kif 313-315
No TPTP formula. May not be expressible in strict first order. Merge.kif 1720-1728
No TPTP formula. May not be expressible in strict first order. engineering.kif 853-858
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 14070-14077
No TPTP formula. May not be expressible in strict first order. Hotel.kif 289-308
No TPTP formula. May not be expressible in strict first order. Economy.kif 2224-2231
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2624-2629
No TPTP formula. May not be expressible in strict first order. Hotel.kif 502-518
No TPTP formula. May not be expressible in strict first order. Dining.kif 215-219
No TPTP formula. May not be expressible in strict first order. Merge.kif 16104-16109
No TPTP formula. May not be expressible in strict first order. Economy.kif 4072-4075
No TPTP formula. May not be expressible in strict first order. Economy.kif 1991-2000
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. Cars.kif 1688-1693
No TPTP formula. May not be expressible in strict first order. Economy.kif 2299-2306
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16420-16425
No TPTP formula. May not be expressible in strict first order. Economy.kif 4079-4082
No TPTP formula. May not be expressible in strict first order. Economy.kif 4131-4134
No TPTP formula. May not be expressible in strict first order. Economy.kif 4065-4068
No TPTP formula. May not be expressible in strict first order. Government.kif 1689-1695
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14088-14102
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. Transportation.kif 1572-1580
No TPTP formula. May not be expressible in strict first order. Geography.kif 1005-1010
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8759-8761
No TPTP formula. May not be expressible in strict first order. Merge.kif 337-341
No TPTP formula. May not be expressible in strict first order. Merge.kif 12613-12617
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14478-14488
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1164-1179
No TPTP formula. May not be expressible in strict first order. Geography.kif 6098-6106
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29138-29147
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. Media.kif 2877-2883
No TPTP formula. May not be expressible in strict first order. Hotel.kif 790-811
No TPTP formula. May not be expressible in strict first order. Catalog.kif 64-75
No TPTP formula. May not be expressible in strict first order. Economy.kif 4000-4003
No TPTP formula. May not be expressible in strict first order. Economy.kif 2593-2602
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17778-17787
No TPTP formula. May not be expressible in strict first order. Catalog.kif 87-92
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7011-7025
No TPTP formula. May not be expressible in strict first order. Economy.kif 2178-2185
No TPTP formula. May not be expressible in strict first order. WMD.kif 401-404
No TPTP formula. May not be expressible in strict first order. Merge.kif 3320-3324
No TPTP formula. May not be expressible in strict first order. Languages.kif 14705-14709
No TPTP formula. May not be expressible in strict first order. Merge.kif 13552-13561
No TPTP formula. May not be expressible in strict first order. Economy.kif 3944-3947
No TPTP formula. May not be expressible in strict first order. Economy.kif 3911-3914
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 122-130
No TPTP formula. May not be expressible in strict first order. Economy.kif 4030-4033
No TPTP formula. May not be expressible in strict first order. Hotel.kif 310-325
No TPTP formula. May not be expressible in strict first order. Merge.kif 13574-13583
No TPTP formula. May not be expressible in strict first order. Merge.kif 15125-15132
No TPTP formula. May not be expressible in strict first order. Media.kif 1898-1902
No TPTP formula. May not be expressible in strict first order. Catalog.kif 349-365
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2294-2299
No TPTP formula. May not be expressible in strict first order. WMD.kif 1306-1308
No TPTP formula. May not be expressible in strict first order. Merge.kif 198-203
No TPTP formula. May not be expressible in strict first order. Hotel.kif 351-365
No TPTP formula. May not be expressible in strict first order. Government.kif 2321-2326
No TPTP formula. May not be expressible in strict first order. Geography.kif 6619-6624
No TPTP formula. May not be expressible in strict first order. Geography.kif 6609-6611
No TPTP formula. May not be expressible in strict first order. Government.kif 617-623
No TPTP formula. May not be expressible in strict first order. Food.kif 256-265
No TPTP formula. May not be expressible in strict first order. Merge.kif 96-102
No TPTP formula. May not be expressible in strict first order. Merge.kif 5991-5993
No TPTP formula. May not be expressible in strict first order. Economy.kif 3988-3991
No TPTP formula. May not be expressible in strict first order. Economy.kif 4179-4182
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12982-12993
No TPTP formula. May not be expressible in strict first order. Economy.kif 4086-4089
No TPTP formula. May not be expressible in strict first order. Economy.kif 2167-2176
No TPTP formula. May not be expressible in strict first order. Merge.kif 135-139
No TPTP formula. May not be expressible in strict first order. Economy.kif 4016-4019
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29428-29458
No TPTP formula. May not be expressible in strict first order. Economy.kif 3937-3940
No TPTP formula. May not be expressible in strict first order. Economy.kif 3866-3869
No TPTP formula. May not be expressible in strict first order. Economy.kif 2213-2222
No TPTP formula. May not be expressible in strict first order. Merge.kif 141-145
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2699-2708
No TPTP formula. May not be expressible in strict first order. WMD.kif 1372-1375
No TPTP formula. May not be expressible in strict first order. Cars.kif 3448-3478
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2027-2032
No TPTP formula. May not be expressible in strict first order. Economy.kif 3930-3933
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7204-7209
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22703-22710
No TPTP formula. May not be expressible in strict first order. Economy.kif 3852-3855
No TPTP formula. May not be expressible in strict first order. engineering.kif 824-829
No TPTP formula. May not be expressible in strict first order. Media.kif 1910-1914
No TPTP formula. May not be expressible in strict first order. Economy.kif 4172-4175
No TPTP formula. May not be expressible in strict first order. Economy.kif 1678-1682
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29795-29798
No TPTP formula. May not be expressible in strict first order. Hotel.kif 398-418
No TPTP formula. May not be expressible in strict first order. Economy.kif 4653-4656
No TPTP formula. May not be expressible in strict first order. Merge.kif 349-355
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20373-20380
No TPTP formula. May not be expressible in strict first order. Merge.kif 322-328
No TPTP formula. May not be expressible in strict first order. Economy.kif 4157-4160
No TPTP formula. May not be expressible in strict first order. Cars.kif 3485-3511
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 871-878
No TPTP formula. May not be expressible in strict first order. Merge.kif 15156-15165
No TPTP formula. May not be expressible in strict first order. Media.kif 3191-3193
No TPTP formula. May not be expressible in strict first order. Cars.kif 3389-3418
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14253-14262
No TPTP formula. May not be expressible in strict first order. Economy.kif 4009-4012
No TPTP formula. May not be expressible in strict first order. Economy.kif 4117-4120
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17772-17776
No TPTP formula. May not be expressible in strict first order. Media.kif 1904-1908
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12079-12085
No TPTP formula. May not be expressible in strict first order. Hotel.kif 334-349
No TPTP formula. May not be expressible in strict first order. Merge.kif 1183-1191
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. Economy.kif 4124-4127
No TPTP formula. May not be expressible in strict first order. Economy.kif 3977-3980
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9239-9244
No TPTP formula. May not be expressible in strict first order. Hotel.kif 484-500
No TPTP formula. May not be expressible in strict first order. Merge.kif 811-813
No TPTP formula. May not be expressible in strict first order. Merge.kif 2933-2938
No TPTP formula. May not be expressible in strict first order. Economy.kif 4023-4026
No TPTP formula. May not be expressible in strict first order. Merge.kif 13563-13572
No TPTP formula. May not be expressible in strict first order. Economy.kif 2002-2009
No TPTP formula. May not be expressible in strict first order. Catalog.kif 129-134
No TPTP formula. May not be expressible in strict first order. WMD.kif 1362-1365
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30774-30781
No TPTP formula. May not be expressible in strict first order. Geography.kif 990-994
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 88-90
No TPTP formula. May not be expressible in strict first order. Economy.kif 3904-3907
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. Dining.kif 225-229
No TPTP formula. May not be expressible in strict first order. Economy.kif 3859-3862
No TPTP formula. May not be expressible in strict first order. WMD.kif 2009-2012
No TPTP formula. May not be expressible in strict first order. Geography.kif 996-1003
No TPTP formula. May not be expressible in strict first order. Geography.kif 2274-2281
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 29-31
No TPTP formula. May not be expressible in strict first order. Economy.kif 4058-4061
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 59-61
No TPTP formula. May not be expressible in strict first order. Cars.kif 5112-5115 There exists an agent such that the agent is a subclass of tool box and the maker of Sortimo Corporation is the agent


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