Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - meetsSpatially
meetsSpatially

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 9710-9710 meets spatially and overlap spatially are disjoint
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2828-2829 meets spatially and overlap spatially are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 9712-9714 meets spatially and overlap spatially are disjoint
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1570-1572 meets spatially and overlap spatially are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 9704-9704 The number 1 argument of meets spatially is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 9705-9705 The number 2 argument of meets spatially is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 9709-9709 meets spatially is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 9707-9707 meets spatially is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 9708-9708 meets spatially is an instance of symmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 9706-9706 meets spatially is internally related to connected

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 365-365
No TPTP formula. May not be expressible in strict first order. english_format.kif 368-368
No TPTP formula. May not be expressible in strict first order. french_format.kif 211-211
No TPTP formula. May not be expressible in strict first order. relations-it.txt 179-179
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2018-2018
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 163-163
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 218-218
No TPTP formula. May not be expressible in strict first order. relations-de.txt 486-486
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 217-217
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 231-231
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 228-228
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 354-354
No TPTP formula. May not be expressible in strict first order. Merge.kif 11644-11644 grasps is a subrelation of meets spatially
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 366-366 grasps is a subrelation of meets spatially
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36926-36926 grasps is a subrelation of meets spatially
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36925-36925 grasps is a subrelation of meets spatially
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36924-36924 grasps is a subrelation of meets spatially
No TPTP formula. May not be expressible in strict first order. terms-de.txt 151-151 grasps is a subrelation of meets spatially
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 355-355 grasps is a subrelation of meets spatially

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7168-7181
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1873-1895
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1897-1919
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5953-5962
No TPTP formula. May not be expressible in strict first order. Weather.kif 737-747
No TPTP formula. May not be expressible in strict first order. Geography.kif 5504-5509
No TPTP formula. May not be expressible in strict first order. Geography.kif 5497-5502
No TPTP formula. May not be expressible in strict first order. Merge.kif 14361-14367
No TPTP formula. May not be expressible in strict first order. Geography.kif 1206-1213
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1793-1815
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1743-1764
No TPTP formula. May not be expressible in strict first order. Merge.kif 18089-18114
No TPTP formula. May not be expressible in strict first order. Geography.kif 856-858
No TPTP formula. May not be expressible in strict first order. Transportation.kif 864-866
No TPTP formula. May not be expressible in strict first order. Geography.kif 6433-6435

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4521-4538
No TPTP formula. May not be expressible in strict first order. Merge.kif 16061-16065
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1873-1895
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1897-1919
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1834-1842
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1849-1856
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23661-23668
No TPTP formula. May not be expressible in strict first order. Cars.kif 1748-1768
No TPTP formula. May not be expressible in strict first order. Geography.kif 7446-7466
No TPTP formula. May not be expressible in strict first order. Merge.kif 10077-10085
No TPTP formula. May not be expressible in strict first order. Cars.kif 4348-4360
No TPTP formula. May not be expressible in strict first order. Geography.kif 6093-6107
No TPTP formula. May not be expressible in strict first order. Cars.kif 902-915
No TPTP formula. May not be expressible in strict first order. Geography.kif 7801-7813
No TPTP formula. May not be expressible in strict first order. Geography.kif 4223-4231
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19721-19755
No TPTP formula. May not be expressible in strict first order. Geography.kif 6422-6431
No TPTP formula. May not be expressible in strict first order. Weather.kif 2336-2357
No TPTP formula. May not be expressible in strict first order. Weather.kif 771-778
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1506-1510
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1497-1504
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6009-6017
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6057-6065
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6072-6080
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6087-6095

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 866-866 Alabama meets mississippi
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 882-882 Alaska meets arctic ocean
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 880-880 Alaska meets canada
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 881-881 Alaska meets pacific ocean
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 885-885 Arizona meets california
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 886-886 Arizona meets mexico
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 884-884 Arizona meets Nevada
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 892-892 Arkansas meets louisiana
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 890-890 Arkansas meets Oklahoma
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 891-891 Arkansas meets texas
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 136-136 Bassas da india meets indian ocean
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 138-138 Bouvet island meets south atlantic ocean
No TPTP formula. May not be expressible in strict first order. Geography.kif 422-422 British Columbia meets alaska
No TPTP formula. May not be expressible in strict first order. Geography.kif 418-418 British Columbia meets Idaho
No TPTP formula. May not be expressible in strict first order. Geography.kif 420-420 British Columbia meets Montana
No TPTP formula. May not be expressible in strict first order. Geography.kif 412-412 British Columbia meets pacific ocean
No TPTP formula. May not be expressible in strict first order. Geography.kif 414-414 British Columbia meets Rocky Mountains
No TPTP formula. May not be expressible in strict first order. Geography.kif 416-416 British Columbia meets washington
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 904-904 California meets mexico
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 905-905 California meets new mexico
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 906-906 California meets Oregon
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 903-903 California meets pacific ocean
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 907-907 California meets washington
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 410-410 Canada meets united states
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 910-910 Colorado meets Arizona

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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