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 5378-5383
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. Economy.kif 4732-4735
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. Mid-level-ontology.kif 30030-30060
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. Economy.kif 4107-4110
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. Economy.kif 5306-5311
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. Economy.kif 5284-5291
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. Economy.kif 4825-4829
No TPTP formula. May not be expressible in strict first order. Food.kif 2427-2429
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. Economy.kif 5267-5276
No TPTP formula. May not be expressible in strict first order. Geography.kif 6921-6923
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. Food.kif 2672-2674
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. Economy.kif 4715-4721
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. Mid-level-ontology.kif 18401-18406
No TPTP formula. May not be expressible in strict first order. Food.kif 3397-3399
No TPTP formula. May not be expressible in strict first order. Food.kif 2584-2586
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. Food.kif 3360-3362
No TPTP formula. May not be expressible in strict first order. Economy.kif 4066-4069
No TPTP formula. May not be expressible in strict first order. Economy.kif 4076-4079
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. Economy.kif 5041-5046
No TPTP formula. May not be expressible in strict first order. Food.kif 2396-2398
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 4096-4099
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. Food.kif 2403-2405
No TPTP formula. May not be expressible in strict first order. Food.kif 3483-3485
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. Food.kif 2696-2698
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. Economy.kif 5461-5466
No TPTP formula. May not be expressible in strict first order. Food.kif 3489-3491
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. Merge.kif 1780-1788
No TPTP formula. May not be expressible in strict first order. Food.kif 2733-2735
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. Mid-level-ontology.kif 14624-14638
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 5051-5056
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 5296-5301
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. WMD.kif 1371-1374
No TPTP formula. May not be expressible in strict first order. Food.kif 2210-2212
No TPTP formula. May not be expressible in strict first order. WMD.kif 2019-2022
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. WMD.kif 1393-1396
No TPTP formula. May not be expressible in strict first order. Food.kif 2170-2172
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. Media.kif 195-200
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. Economy.kif 5398-5403
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. Economy.kif 4265-4269
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. Food.kif 2184-2186
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. Food.kif 2421-2423
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. Merge.kif 98-104
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. WMD.kif 1381-1384
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. Food.kif 2906-2914
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 5338-5343
No TPTP formula. May not be expressible in strict first order. Food.kif 2529-2531
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. Economy.kif 4086-4089


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