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. Hotel.kif 780-801
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. Merge.kif 3123-3128
No TPTP formula. May not be expressible in strict first order. WMD.kif 903-907
No TPTP formula. May not be expressible in strict first order. WMD.kif 1829-1834
No TPTP formula. May not be expressible in strict first order. Economy.kif 2586-2595
No TPTP formula. May not be expressible in strict first order. Merge.kif 150-154
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. Hotel.kif 394-411
No TPTP formula. May not be expressible in strict first order. Geography.kif 5773-5781
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7012-7026
No TPTP formula. May not be expressible in strict first order. WMD.kif 1189-1191
No TPTP formula. May not be expressible in strict first order. Geography.kif 1348-1353
No TPTP formula. May not be expressible in strict first order. Economy.kif 2171-2178
No TPTP formula. May not be expressible in strict first order. Languages.kif 14683-14687
No TPTP formula. May not be expressible in strict first order. Merge.kif 3459-3463
No TPTP formula. May not be expressible in strict first order. Merge.kif 13650-13659
No TPTP formula. May not be expressible in strict first order. Cars.kif 1710-1717
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4131-4136
No TPTP formula. May not be expressible in strict first order. Economy.kif 2281-2290
No TPTP formula. May not be expressible in strict first order. Economy.kif 2127-2134
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14200-14204
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2605-2614
No TPTP formula. May not be expressible in strict first order. Hotel.kif 350-363
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 251-259
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 223-234
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. Hotel.kif 495-510
No TPTP formula. May not be expressible in strict first order. Geography.kif 1340-1346
No TPTP formula. May not be expressible in strict first order. Merge.kif 13672-13681
No TPTP formula. May not be expressible in strict first order. Merge.kif 15367-15374
No TPTP formula. May not be expressible in strict first order. Media.kif 1902-1906
No TPTP formula. May not be expressible in strict first order. Catalog.kif 339-355
No TPTP formula. May not be expressible in strict first order. Geography.kif 1481-1487
No TPTP formula. May not be expressible in strict first order. Food.kif 304-310
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1704-1726
No TPTP formula. May not be expressible in strict first order. Robot.kif 54-78
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2221-2226
No TPTP formula. May not be expressible in strict first order. Economy.kif 1631-1635
No TPTP formula. May not be expressible in strict first order. WMD.kif 1216-1218
No TPTP formula. May not be expressible in strict first order. Dining.kif 217-222
No TPTP formula. May not be expressible in strict first order. WMD.kif 718-723
No TPTP formula. May not be expressible in strict first order. Media.kif 1853-1857
No TPTP formula. May not be expressible in strict first order. Merge.kif 219-224
No TPTP formula. May not be expressible in strict first order. Government.kif 2271-2276
No TPTP formula. May not be expressible in strict first order. Geography.kif 6254-6259
No TPTP formula. May not be expressible in strict first order. Geography.kif 6244-6246
No TPTP formula. May not be expressible in strict first order. Government.kif 613-619
No TPTP formula. May not be expressible in strict first order. Merge.kif 104-110
No TPTP formula. May not be expressible in strict first order. Merge.kif 6184-6186
No TPTP formula. May not be expressible in strict first order. Cars.kif 1808-1822
No TPTP formula. May not be expressible in strict first order. Food.kif 864-870
No TPTP formula. May not be expressible in strict first order. Geography.kif 2215-2223
No TPTP formula. May not be expressible in strict first order. Dining.kif 205-210
No TPTP formula. May not be expressible in strict first order. Dining.kif 229-234
No TPTP formula. May not be expressible in strict first order. Cars.kif 3493-3519
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. Geography.kif 1511-1516
No TPTP formula. May not be expressible in strict first order. Merge.kif 1063-1068
No TPTP formula. May not be expressible in strict first order. Economy.kif 2597-2604
No TPTP formula. May not be expressible in strict first order. Government.kif 2278-2285
No TPTP formula. May not be expressible in strict first order. Economy.kif 2160-2169
No TPTP formula. May not be expressible in strict first order. Merge.kif 15707-15709
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15674-15695
No TPTP formula. May not be expressible in strict first order. Economy.kif 2116-2125
No TPTP formula. May not be expressible in strict first order. Catalog.kif 357-372
No TPTP formula. May not be expressible in strict first order. Merge.kif 273-279
No TPTP formula. May not be expressible in strict first order. Geography.kif 1373-1379
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. Economy.kif 2206-2215
No TPTP formula. May not be expressible in strict first order. Merge.kif 247-253
No TPTP formula. May not be expressible in strict first order. Merge.kif 156-160
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 73-77
No TPTP formula. May not be expressible in strict first order. Merge.kif 4012-4018
No TPTP formula. May not be expressible in strict first order. Media.kif 1896-1900
No TPTP formula. May not be expressible in strict first order. Catalog.kif 278-293
No TPTP formula. May not be expressible in strict first order. Cars.kif 3457-3487
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27749-27778
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1956-1961
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7232-7237
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20772-20779
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24380-24383
No TPTP formula. May not be expressible in strict first order. Catalog.kif 322-337
No TPTP formula. May not be expressible in strict first order. Merge.kif 1824-1832
No TPTP formula. May not be expressible in strict first order. engineering.kif 830-835
No TPTP formula. May not be expressible in strict first order. WMD.kif 922-926
No TPTP formula. May not be expressible in strict first order. Media.kif 1914-1918
No TPTP formula. May not be expressible in strict first order. Hotel.kif 310-324
No TPTP formula. May not be expressible in strict first order. Merge.kif 852-854 A set or class is an instance of class if and only if the set or class is a subclass of entity
No TPTP formula. May not be expressible in strict first order. Geography.kif 1518-1524
No TPTP formula. May not be expressible in strict first order. Robot.kif 27-45
No TPTP formula. May not be expressible in strict first order. Economy.kif 1671-1675
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28092-28095
No TPTP formula. May not be expressible in strict first order. Merge.kif 174-181
No TPTP formula. May not be expressible in strict first order. Merge.kif 387-393
No TPTP formula. May not be expressible in strict first order. Media.kif 1890-1894
No TPTP formula. May not be expressible in strict first order. Cars.kif 3540-3562
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18296-18303
No TPTP formula. May not be expressible in strict first order. Merge.kif 358-364
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 15401-15410
No TPTP formula. May not be expressible in strict first order. Geography.kif 1242-1246
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1136-1148
No TPTP formula. May not be expressible in strict first order. WMD.kif 909-913
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. Robot.kif 86-95
No TPTP formula. May not be expressible in strict first order. Media.kif 3118-3120
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. Cars.kif 3398-3427
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12273-12282
No TPTP formula. May not be expressible in strict first order. engineering.kif 859-864
No TPTP formula. May not be expressible in strict first order. WMD.kif 783-787
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 2217-2224
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12090-12097
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2530-2535
No TPTP formula. May not be expressible in strict first order. Media.kif 1908-1912
No TPTP formula. May not be expressible in strict first order. Hotel.kif 333-348
No TPTP formula. May not be expressible in strict first order. Merge.kif 1250-1258
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. Geography.kif 1474-1479
No TPTP formula. May not be expressible in strict first order. Merge.kif 16476-16481
No TPTP formula. May not be expressible in strict first order. Economy.kif 1984-1993
No TPTP formula. May not be expressible in strict first order. Cars.kif 1724-1729
No TPTP formula. May not be expressible in strict first order. Economy.kif 2292-2299
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14276-14281
No TPTP formula. May not be expressible in strict first order. Dining.kif 1001-1013
No TPTP formula. May not be expressible in strict first order. Merge.kif 1813-1822
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1626-1631
No TPTP formula. May not be expressible in strict first order. Dining.kif 181-186
No TPTP formula. May not be expressible in strict first order. Hotel.kif 477-493
No TPTP formula. May not be expressible in strict first order. Government.kif 1652-1658
No TPTP formula. May not be expressible in strict first order. Merge.kif 3180-3185
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12108-12122
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. Merge.kif 13661-13670
No TPTP formula. May not be expressible in strict first order. Economy.kif 1995-2002
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. Geography.kif 969-973
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1515-1523
No TPTP formula. May not be expressible in strict first order. Geography.kif 984-989
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8869-8871
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 1388-1395
No TPTP formula. May not be expressible in strict first order. Merge.kif 375-379
No TPTP formula. May not be expressible in strict first order. Merge.kif 12639-12643
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12455-12465
No TPTP formula. May not be expressible in strict first order. Geography.kif 1381-1386
No TPTP formula. May not be expressible in strict first order. Hotel.kif 372-392
No TPTP formula. May not be expressible in strict first order. Geography.kif 1264-1270
No TPTP formula. May not be expressible in strict first order. Geography.kif 975-982
No TPTP formula. May not be expressible in strict first order. Geography.kif 5782-5790
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 194-205
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27466-27475
No TPTP formula. May not be expressible in strict first order. Geography.kif 2206-2213
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2523-2528
No TPTP formula. May not be expressible in strict first order. Media.kif 2859-2865
No TPTP formula. May not be expressible in strict first order. Catalog.kif 262-276
No TPTP formula. May not be expressible in strict first order. Cars.kif 5121-5124 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners